Sciweavers

2766 search results - page 306 / 554
» Hybridizing a Logical Framework
Sort
View
ER
2004
Springer
103views Database» more  ER 2004»
16 years 2 days ago
Modeling Default Induction with Conceptual Structures
Our goal is to model the way people induce knowledge from rare and sparse data. This paper describes a theoretical framework for inducing knowledge from these incomplete data descr...
Julien Velcin, Jean-Gabriel Ganascia
INLG
2004
Springer
16 years 1 days ago
Overgenerating Referring Expressions Involving Relations and Booleans
Abstract. We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and neg...
Sebastian Varges
WLP
2004
Springer
16 years 17 hour ago
Deductive and Inductive Reasoning on Spatio-Temporal Data
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
Mirco Nanni, Alessandra Raffaetà, Chiara Re...
IRI
2003
IEEE
15 years 12 months ago
An Architectural Pattern For Adaptable Middleware Infrastructure
- Middleware technologies change so rapidly that designers must adapt existing software architectures to incorporate new emerging ones. This paper proposes tectural pattern and gui...
Arturo Sanchez, Jason Mitchell
SIGIR
1999
ACM
15 years 11 months ago
Using a Belief Revision Operator for Document Ranking in Extended Boolean Models
This paper claims that Belief Revision can be seen as a theoretical framework for document ranking in Extended Boolean Models. For a model of Information Retrieval based on propos...
David E. Losada, Alvaro Barreiro