Building a knowledge base: an example
Annals of Mathematics and Artificial Intelligence
A three-valued characterization for strong equivalence of logic programs
Eighteenth national conference on Artificial intelligence
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Comparison of semantics of disjunctive logic programs based on model-equivalent reduction
Journal of Computer Science and Technology
A default interpretation of defeasible network
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
Stable models and circumscription
Artificial Intelligence
Loop-separable programs and their first-order definability
Artificial Intelligence
First-order expressibility and boundedness of disjunctive logic programs
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |