Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Nonmonotonic reasoning in LDL++
Logic-based artificial intelligence
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
A New Formulation of Tabled Resolution with Delay
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Construction and Optimization of a Parallel Engine for Answer Set Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
On the Expressibility of Stable Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Improving ASP Instantiators by Join-Ordering Methods
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Coherent Well-founded Annotated Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Problem of Computing the Well-Founded Semantics
CL '00 Proceedings of the First International Conference on Computational Logic
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Improving search in a hypothetical reasoning system
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
On the expressibility of stable logic programming
Theory and Practice of Logic Programming
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
On the problem of computing the well-founded semantics
Theory and Practice of Logic Programming
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Optimization of bound disjunctive queries with constraints
Theory and Practice of Logic Programming
A multi-agent system for mobile environments
Intelligent information processing II
ACM Transactions on Computational Logic (TOCL)
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
A scalable approach to attack graph generation
Proceedings of the 13th ACM conference on Computer and communications security
Two case studies of semantics execution in Maude: CCS and LOTOS
Formal Methods in System Design
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Logic Programming Representation of the Compound Term Composition Algebra
Fundamenta Informaticae
MulVAL: a logic-based network security analyzer
SSYM'05 Proceedings of the 14th conference on USENIX Security Symposium - Volume 14
Probabilistic description logic programs
International Journal of Approximate Reasoning
A logic of nonmonotone inductive definitions
ACM Transactions on Computational Logic (TOCL)
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
Syntactic Propositional Belief Bases Fusion with Removed Sets
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Logic Programming Approach to Scientific Workflow Provenance Querying
Provenance and Annotation of Data and Processes
Removed Sets Fusion: Performing Off The Shelf
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Extended RDF as a semantic foundation of rule markup languages
Journal of Artificial Intelligence Research
Experimenting with heuristics for answer set programming
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Anomalies in ontologies with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Decidability under the well-founded semantics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Querying and repairing inconsistent databases under three-valued semantics
ICLP'07 Proceedings of the 23rd international conference on Logic programming
An optimised semantic web query language implementation in prolog
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Compact lists for tabled evaluation
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Probabilistic description logic programs
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On the implementation of gnu prolog
Theory and Practice of Logic Programming - Prolog Systems
A rule based knowledge transaction model for mobile environments
Information Sciences: an International Journal
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Logic Programming Representation of the Compound Term Composition Algebra
Fundamenta Informaticae
Querying KEGG pathways in logic
International Journal of Data Mining and Bioinformatics
| Hi-index | 0.00 |