Reasoning with Infinite Stable Models II: Disjunctive Programs
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Answer Set Programming by Ant Colony Optimization
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Preferred Answer Sets for Ordered Logic Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Strong equivalence made easy: nested expressions and weight constraints
Theory and Practice of Logic Programming
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Preferred answer sets for ordered logic programs
Theory and Practice of Logic Programming
Why are there so many loop formulas?
ACM Transactions on Computational Logic (TOCL)
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
Theory and Practice of Logic Programming
Reasoning with infinite stable models
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Head-elementary-set-free logic programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Annals of Mathematics and Artificial Intelligence
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Logic programs with propositional connectives and aggregates
ACM Transactions on Computational Logic (TOCL)
Logic programming, knowledge representation, and nonmonotonic reasoning
On modular translations and strong equivalence
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Answer sets for propositional theories
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
Approximating the Stable Model Semantics is Hard
Fundamenta Informaticae
Hi-index | 0.00 |