Sciweavers

1778 search results - page 270 / 356
» The Theory of Probabilistic Databases
Sort
View
130
Voted
COSIT
1999
Springer
172views GIS» more  COSIT 1999»
15 years 8 months ago
Atomicity vs. Infinite Divisibility of Space
In qualitative spatial reasoning, the last ten years have brought a lot of results on theories of spatial properties and relations taking regions of space as primitive entities. In...
Claudio Masolo, Laure Vieu
130
Voted
KR
1998
Springer
15 years 8 months ago
Explanatory Diagnosis: Conjecturing Actions to Explain Observations
Our concern in this paper is with conjecturing diagnoses to explain what happened to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We charac...
Sheila A. McIlraith
143
Voted
BIRTHDAY
1997
Springer
15 years 8 months ago
Expressive Power of Unary Counters
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...
Michael Benedikt, H. Jerome Keisler
ATAL
2007
Springer
15 years 8 months ago
Negotiation by abduction and relaxation
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
Chiaki Sakama, Katsumi Inoue
139
Voted
COMPSYSTECH
2007
15 years 8 months ago
A refinement model with information granulation focused on difficult to distinguish cases
: The paper proposes a different approach to data modeling. Analogous to the rejection method, where the misclassifications are removed and manually evaluated, we focus here on dif...
Plamena Andreeva, Plamen Andreev, Maya Dimitrova, ...