Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
Autonomous Agents and Multi-Agent Systems
An incremental algorithm for generating all minimal models
Artificial Intelligence
Stable models and difference logic
Annals of Mathematics and Artificial Intelligence
A hierarchy of tractable subsets for computing stable models
Journal of Artificial Intelligence Research
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Constructive tightly grounded autoepistemic reasoning
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
An incremental algorithm for generating all minimal models
Artificial Intelligence
A Kripkean semantics for dynamic logic programming
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Thirteen definitions of a stable model
Fields of logic and computation
Structure-based algorithms for computing preferred arguments of defeasible knowledge bases
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Hi-index | 0.00 |