264 search results - page 10 / 53 » Negative Reasoning Using Inheritance |
CSL
2007
Springer
14 years 1 months ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
CEC
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper, we present a model for simulating the evolution of development together with a method for the analysis of emergence of negative feedback inside the regulatory networ...
AIME
2007
Springer
14 years 1 months ago
2007
Springer
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...
CI
2006
13 years 7 months ago
2006
Most research on learning to identify sentiment ignores "neutral" examples, learning only from examples of significant (positive or negative) polarity. We show that it i...
IJCAI
1989
13 years 8 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...