Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Datalog LITE: a deductive query language with linear time model checking
ACM Transactions on Computational Logic (TOCL)
Linear time datalog and branching time logic
Logic-based artificial intelligence
Generalized Quantifiers in Logic Programs
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Complexity of propositional nested circumscription and nested abnormality theories
ACM Transactions on Computational Logic (TOCL)
Logic programming with infinite sets
Annals of Mathematics and Artificial Intelligence
Monadic datalog over finite structures with bounded treewidth
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Design and implementation of aggregate functions in the dlv system*
Theory and Practice of Logic Programming
Achieving compositionality of the stable model semantics for smodels programs1
Theory and Practice of Logic Programming
Modular Equivalence for Normal Logic Programs
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Modular Nonmonotonic Logic Programming Revisited
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A Module-Based Framework for Multi-language Constraint Modeling
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research
Modularity aspects of disjunctive stable models
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Modularity in SMODELS programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Modular answer set programming
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Combining nonmonotonic knowledge bases with external sources
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Monadic datalog over finite structures of bounded treewidth
ACM Transactions on Computational Logic (TOCL)
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
Logic programming, knowledge representation, and nonmonotonic reasoning
A semantic account for modularity in multi-language modelling of search problems
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Preferential reasoning on a web of trust
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
External sources of computation for answer set solvers
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Effective integration of declarative rules with external evaluations for semantic-web reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Macros, macro calls and use of ensembles in modular answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Model representation via contexts and implicit generalizations
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Answer set modules for logical agents
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
First-Order encodings for modular nonmonotonic datalog programs
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Annotating answer-set programs in lana*
Theory and Practice of Logic Programming
Hi-index | 0.00 |