Understanding Natural Language
Understanding Natural Language
Micro-Planner Reference Manual
Micro-Planner Reference Manual
The FRL Manual
Some aspects of symbolic integration via predicate logic programming
ACM SIGSAM Bulletin
Artificial Intelligence Review
The Frame Problem: An AI Fairy Tale
Minds and Machines
In Memoriam: RAYMOND REITER June 12, 1939 – September 16, 2002
Theory and Practice of Logic Programming
A selected descriptor-indexed bibliography to the literature on belief revision
ACM SIGART Bulletin
Using assumptions in service composition context
Proceedings of the 2006 international workshop on Service-oriented software engineering
Extending Semantic Web Service Description by Service Assumption
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Alternative Logics: a book review: SIGACT news logic column 18
ACM SIGACT News
The interaction with incomplete knowledge bases: a formal treatment
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Distinctions and confusions: a catalogue raisonne
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
A glimpse of truth maintenance
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
An introduction to nonmonotonic logic
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Toward efficient default reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
From systems to logic in the early development of nonmonotonic reasoning
Artificial Intelligence
Dually structured concepts in the semantic web: answer set programming approach
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Hi-index | 0.00 |
This paper surveys a number of kinds of default reasoning in Artificial Intelligence, specifically, default assignments to variables, the closed world assumption, the frame default for causal worlds, exceptions as defaults, and negation in Artificial Intelligence programming languages. Some of these defaults provide clear representational and computaional advantanges over their corresponding first order theories. Finally, the paper discusses various difficulties associated with default theories.