1588 search results - page 113 / 318 » On the Logic of Constitutive Rules |
176
click to vote
IJCAI
2007
15 years 7 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
164
click to vote
AAAI
1990
15 years 7 months ago
1990
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
166
click to vote
RULEML
2010
Springer
15 years 4 months ago
2010
Springer
We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach...
152
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
161
click to vote
WSC
1997
15 years 7 months ago
1997
A simulation environment of the coordinated operation of multiple Autonomous Underwater Vehicles (AUVs) is presented. The primary application of this simulation environment is the...