981 search results - page 133 / 197 » Negation in Spatial Reasoning |
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Conditional logics capture default entailment in a modal framework in which non-monotonic implication is a first-class citizen, and in particular can be negated and nested. There i...
105
Voted
COGSCI
2008
15 years 25 days ago
2008
A central question in online human sentence comprehension is: how are linguistic relations established between different parts of a sentence? Previous work has shown that this dep...
121
Voted
DKE
2010
15 years 25 days ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
98
Voted
IJFCS
2006
15 years 22 days ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
125
Voted
TKDE
2008
15 years 19 days ago
2008
UCS is a supervised learning classifier system that was introduced in 2003 for classification in data mining tasks. The representation of a rule in UCS as a univariate classificati...