Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Preferred answer sets for ordered logic programs
Theory and Practice of Logic Programming
Unfolding partiality and disjunctions in stable model semantics
ACM Transactions on Computational Logic (TOCL)
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Exploiting agents in e-learning and skills management context
AI Communications
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
Layered Models Top-Down Querying of Normal Logic Programs
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research
Defeasibility in answer set programs via argumentation theories
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Stable model implementation of layer supported models by program transformation
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Hi-index | 0.00 |