Revisiting quantification in autoepistemic logic
ACM Transactions on Computational Logic (TOCL)
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Similarity preservation in default logic
Annals of Mathematics and Artificial Intelligence
Open Default Theories over Closed Domains
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Default theories over monadic languages
Theoretical Computer Science - Logic, language, information and computation
First-Order Ground Non-Monotonic Modal Logic
Fundamenta Informaticae
Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning
Journal of Logic, Language and Information
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
Autoepistemic description logics
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Default Theories Over Monadic Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Anaphora resolution as equality by default
DAARC'07 Proceedings of the 6th discourse anaphora and anaphor resolution conference on Anaphora: analysis, algorithms and applications
Assumption-based reasoning in dynamic normative agent systems
Web Intelligence and Agent Systems
First-Order Ground Non-Monotonic Modal Logic
Fundamenta Informaticae
First-order Non-monotonic Modal Logics
Fundamenta Informaticae
Hi-index | 0.00 |