ACM Computing Surveys (CSUR)
Constraints on extensions on a default theory
Journal of Computer Science and Technology
Representation theory for default logic
Annals of Mathematics and Artificial Intelligence
A tutorial on default reasoning
The Knowledge Engineering Review
On the complexity of extension checking in default logic
Information Processing Letters
Extending Semantic Web Service Description by Service Assumption
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Redundancy in logic III: Non-monotonic reasoning
Artificial Intelligence
How Can Agents Know What to Assume When?
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
A Default Logic Patch for Default Logic
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
About agents that reason by case (preliminary report)
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
On the complexity of extension checking in default logic
Information Processing Letters
The representation of e-contracts as default theories
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Handling contradictions in default theories
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Assumption-based reasoning in dynamic normative agent systems
Web Intelligence and Agent Systems
A fault-tolerant default logic
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Possible Worlds Semantics For Default Logics
Fundamenta Informaticae
Hi-index | 0.00 |