Extending constraint logic programming with open functions
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Getting to the airport: the oldest planning problem in AI
Logic-based artificial intelligence
Logic-based artificial intelligence
Answer set programming and plan generation
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
On the equivalence and range of applicability of graph-based representations of logic programs
Information Processing Letters
Fages' Theorem for Programs with Nested Expressions
Proceedings of the 17th International Conference on Logic Programming
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
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
Answer Set Planning under Action Costs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Logic Programming Language for Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Reasoning about Actions in Prioritized Default Theory
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
System Description: The DLVK Planning System
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
Optimizing the Computation of Heuristics for Answer Set Programming Systems
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Planning under Incomplete Knowledge
CL '00 Proceedings of the First International Conference on Computational Logic
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
Theory and Practice of Logic Programming
Bounded LTL model checking with stable models
Theory and Practice of Logic Programming
Heuristic planning: a declarative approach based on strategies for action selection
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming
On the existence of stable models of non-stratified logic programs
Theory and Practice of Logic Programming
Unfolding partiality and disjunctions in stable model semantics
ACM Transactions on Computational Logic (TOCL)
A backjumping technique for disjunctive logic programming
AI Communications
Domain-dependent knowledge in answer set planning
ACM Transactions on Computational Logic (TOCL)
Experimenting with prototype system DLVK via different approach
Knowledge-Based Systems
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Qualitative Uncertainty Orderings Revised
Electronic Notes in Theoretical Computer Science (ENTCS)
Theory and Practice of Logic Programming
Comparative uncertainty: Theory and automation
Mathematical Structures in Computer Science
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
Probabilistic Planning in Hybrid Probabilistic Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
A Logical Framework to Reinforcement Learning Using Hybrid Probabilistic Logic Programs
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Answer Set Programming without Unstratified Negation
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Computable Functions in ASP: Theory and Implementation
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming
On the relation among answer set solvers
Annals of Mathematics and Artificial Intelligence
Stable models and difference logic
Annals of Mathematics and Artificial Intelligence
Journal of Experimental & Theoretical Artificial Intelligence
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Computing Stable Models via Reductions to Difference Logic
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
The Second Answer Set Programming Competition
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Answer set planning under action costs
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
Heuristics for hard ASP programs
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
Verifying Software Requirements Based on Answer Set Programming
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
A parallel ASP instantiator based on DLV
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Experimenting with look-back heuristics for hard ASP programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Logic programming approaches for representing and solving constraint satisfaction problems
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
A Kripkean semantics for dynamic logic programming
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Updating action domain descriptions
Artificial Intelligence
A translational approach to constraint answer set solving
Theory and Practice of Logic Programming
A 25-year perspective on logic programming
Enhancing a smart space with answer set programming
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Logic programs with propositional connectives and aggregates
ACM Transactions on Computational Logic (TOCL)
Compact translations of non-disjunctive answer set programs to propositional clauses
Logic programming, knowledge representation, and nonmonotonic reasoning
Perspectives on logic-based approaches for reasoning about actions and change
Logic programming, knowledge representation, and nonmonotonic reasoning
ASPIDE: integrated development environment for answer set programming
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
The third answer set programming competition: preliminary report of the system competition track
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Distributed deadlock handling for resource allocation in smart spaces
NEW2AN'11/ruSMART'11 Proceedings of the 11th international conference and 4th international conference on Smart spaces and next generation wired/wireless networking
Planning experiments in the DALI logic programming language
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Solving hard ASP programs efficiently
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Nested epistemic logic programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Answer set programming: a declarative approach to solving search problems
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Design and Implementation of AT: a real-time action description language
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Solving alternating boolean equation systems in answer set programming
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Finitely recursive programs: Decidability and bottom-up computation
AI Communications
Integrating model checking and inductive logic programming
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Gearing up for effective ASP planning
Correct Reasoning
Conflict, consistency and truth-dependencies in graph representations of answer set logic programs
GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
The multi-engine ASP solver ME-ASP
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Meta programming with answer sets for smart spaces
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Answer set programming: language, applications and development tools
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
TutorialPlan: automated tutorial generation from CAD drawings
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Interactive relational reinforcement learning of concept semantics
Machine Learning
Nested Weight Constraints in ASP
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |