Semantical considerations on nonmonotonic logic
Artificial Intelligence
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
A rational reconstruction of nonmonotonic truth maintenance systems (research note)
Artificial Intelligence
Logic programs with classical negation
Logic programming
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Experimental results on the crossover point in random 3-SAT
Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
Iterative belief revision in extended logic programming
Theoretical Computer Science
Fast planning through planning graph analysis
Artificial Intelligence
Circumscribing DATALOG: expressive power and complexity
Theoretical Computer Science
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
WFS + Branch and Bound = Stable Models
IEEE Transactions on Knowledge and Data Engineering
Computation of Stable Models and Its Integration with Logical Query Processing
IEEE Transactions on Knowledge and Data Engineering
Towards Programming in Default Logic
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
ACLP: Flexible Solutions to Complex Problems
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract)
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Encoding Planning Problems in Nonmonotonic Logic Programs
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Towards efficient default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Verifying security protocols as planning in logic programming
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
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
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Answer set programming and plan generation
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Abduction in logic programming: a new definition and an abductive procedure based on rewriting
Artificial Intelligence
Compiling Problem Specifications into SAT
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates
Proceedings of the 17th International Conference on Logic Programming
A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Experiments in Parallel Execution of Answer Set Programs
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
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
Non-monotonic Reasoning on Beowulf Platforms
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Planning Attacks to Security Protocols: Case Studies in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Testing the Equivalence of Logic Programs under Stable Model Semantics
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
Answer Set Planning (Abstract)
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Extending the Stable Model Semantics with More Expressive Rules
LPNMR '99 Proceedings of the 5th 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
Diagnosing Physical Systems in A-Prolog
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Bounded LTL Model Checking with Stable Models
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Stable Model Semantics of Weight Constraint Rules
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Transformations of Logic Programs Related to Causality and Planning
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Bounded Reachability Checking with Process Semantics
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Planning under Incomplete Knowledge
CL '00 Proceedings of the First International Conference on Computational Logic
Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Propositional Satisfiability in Answer-Set Programming
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
ASSAT: computing answer sets of a logic program by SAT solvers
Eighteenth national conference on Artificial intelligence
How to fake an RSA signature by encoding modular root finding as a SAT problem
Discrete Applied Mathematics - The renesse issue on satisfiability
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
Diagnostic reasoning with A-Prolog
Theory and Practice of Logic Programming
Bounded LTL model checking with stable models
Theory and Practice of Logic Programming
Computing stable models: worst-case performance estimates
Theory and Practice of Logic Programming
Computing large and small stable models
Theory and Practice of Logic Programming
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Heuristic planning: a declarative approach based on strategies for action selection
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
ASSAT: computing answer sets of a logic program by SAT solvers
Artificial Intelligence - Special issue on nonmonotonic reasoning
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Induction from answer sets in nonmonotonic logic programs
ACM Transactions on Computational Logic (TOCL)
Compiling problem specification into SAT
Artificial Intelligence - Special volume on reformulation
Justification and debugging of answer set programs in ASP
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Logic programming with infinite sets
Annals of Mathematics and Artificial Intelligence
Normal forms for answer sets programming
Theory and Practice of Logic Programming
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)
Predicate-calculus-based logics for modeling and solving search problems
ACM Transactions on Computational Logic (TOCL)
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
Issues in parallel execution of non-monotonic reasoning systems
Parallel Computing
Computing minimal models, stable models and answer sets
Theory and Practice of Logic Programming
Domain-dependent knowledge in answer set planning
ACM Transactions on Computational Logic (TOCL)
Answer Set Programming Based on Propositional Satisfiability
Journal of Automated Reasoning
Experimenting with prototype system DLVK via different approach
Knowledge-Based Systems
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Recycling computed answers in rewrite systems for abduction
ACM Transactions on Computational Logic (TOCL)
Quartet-Based Phylogeny Reconstruction with Answer Set Programming
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Artificial Intelligence
Theory and Practice of Logic Programming
Exploiting functional dependencies in declarative problem specifications
Artificial Intelligence
A logic of nonmonotone inductive definitions
ACM Transactions on Computational Logic (TOCL)
Complexity results for answer set programming with bounded predicate arities and implications
Annals of Mathematics and Artificial Intelligence
USING A THEOREM PROVER FOR REASONING ON CONSTRAINT PROBLEMS
Applied Artificial Intelligence
On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Strongly Equivalent Temporal Logic Programs
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Quo Vadis Answer Set Programming?
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Answer Set Programming without Unstratified Negation
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Here's the Beef: Answer Set Programming !
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Lparse Programs Revisited: Semantics and Representation of Aggregates
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Relativized Hyperequivalence of Logic Programs for Modular Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Automata and Answer Set Programming
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
On finitely recursive programs1
Theory and Practice of Logic Programming
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming
Extended asp tableaux and rule redundancy in normal logic programs1
Theory and Practice of Logic Programming
Achieving compositionality of the stable model semantics for smodels programs1
Theory and Practice of Logic Programming
My work with Victor Marek: a mathematician looks at answer set programming
Annals of Mathematics and Artificial Intelligence
On the relation among answer set solvers
Annals of Mathematics and Artificial Intelligence
Integrating answer set programming and constraint logic programming
Annals of Mathematics and Artificial Intelligence
Consistency properties and set based logic programming
Annals of Mathematics and Artificial Intelligence
Stable models and difference logic
Annals of Mathematics and Artificial Intelligence
Evaluating ASP and commercial solvers on the CSPLib
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
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 Equivalence in General
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Transforming controlled natural language biomedical queries into answer set programs
BioNLP '09 Proceedings of the Workshop on Current Trends in Biomedical Natural Language Processing
SAT-based answer set programming
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
On odd and even cycles in normal logic programs
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Adding time and intervals to procedural and hierarchical control specifications
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Fast SAT-based answer set solver
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Answer Set Programming with Constraints Using Lazy Grounding
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Manifold Answer-Set Programs for Meta-reasoning
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
A First Order Forward Chaining Approach for Answer Set Computing
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Max-ASP: Maximum Satisfiability of Answer Set Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Input Language of ASP Grounder Gringo
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
A framework for representing and solving NP search problems
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
The modal logic S4F, the default logic, and the logic here-and-there
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Credulous resolution for answer set programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Loop formulas for logic programs with arbitrary constraint atoms
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
What is answer set programming?
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Generalizing Boolean satisfiability I: background and survey of existing work
Journal of Artificial Intelligence Research
Discovering classes of strongly equivalent logic programs
Journal of Artificial Intelligence Research
Answer sets for logic programs with arbitrary abstract constraint atoms
Journal of Artificial Intelligence Research
Complexity results for checking equivalence of stratified logic programs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
From answer set logic programming to circumscription via logic of GK
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
Theory and Practice of Logic Programming
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Modularity aspects of disjunctive stable models
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
Graph theoretical characterization and computation of answer sets
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Abduction in logic programming: a new definition and an abductive procedure based on rewriting
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Discovering classes of strongly equivalent logic programs
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Compiling problem specifications into SAT
Artificial Intelligence - Special volume on reformulation
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
Symmetric splitting in the general theory of stable models
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Answer-set programming with bounded treewidth
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Circumscriptive event calculus as answer set programming
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Computer Languages, Systems and Structures
Verifying Software Requirements Based on Answer Set Programming
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Logic programs with abstract constraint atoms: The role of computations
Artificial Intelligence
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Relativized hyperequivalence of logic programs for modular programming
Theory and Practice of Logic Programming
The first answer set programming system competition
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
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
Answer set programming for the semantic web
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Logic programming for knowledge representation
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Extended ASP tableaux and rule redundancy in normal logic programs
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Logic programs with abstract constraint atoms: the role of computations
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Model-based knowledge representation and reasoning via answer set programming
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A translational approach to constraint answer set solving
Theory and Practice of Logic Programming
Loop formulas for description logic programs
Theory and Practice of Logic Programming
Logic programming for finding models in the logics of knowledge and its applications: A case study
Theory and Practice of Logic Programming
Testing and debugging techniques for answer set solver development
Theory and Practice of Logic Programming
Dialectical Proofs for Constrained Argumentation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Automatic and efficient simulation of operation contracts
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
A dynamic-programming based ASP-solver
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Extending Removed Sets Revision to partially preordered belief bases
International Journal of Approximate Reasoning
Grounding FO and FO(ID) with bounds
Journal of Artificial Intelligence Research
Stable models and circumscription
Artificial Intelligence
From answer set logic programming to circumscription via logic of GK
Artificial Intelligence
Answer set programming, the solving paradigm for knowledge representation and reasoning
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
A possibilistic intuitionistic logic
MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I
Planning for multiagent using ASP-prolog
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
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)
A logical characterisation of ordered disjunction
AI Communications - Answer Set Programming
Guarded resolution for answer set programming
Theory and Practice of Logic Programming
Reasoning support for risk prediction and prevention in independent living
Theory and Practice of Logic Programming
Thirteen definitions of a stable model
Fields of logic and computation
Manifold answer-set programs and their applications
Logic programming, knowledge representation, and nonmonotonic reasoning
Compact translations of non-disjunctive answer set programs to propositional clauses
Logic programming, knowledge representation, and nonmonotonic reasoning
Effectively reasoning about infinite sets in answer set programming
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
Logic programming, knowledge representation, and nonmonotonic reasoning
Combining answer set programming and prolog: the ASP-PROLOG system
Logic programming, knowledge representation, and nonmonotonic reasoning
Towards computing revised models for FO theories
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Loop formulas for splitable temporal logic programs
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Strong equivalence of logic programs with abstract constraint atoms
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
Weight constraint programs with evaluable functions
Annals of Mathematics and Artificial Intelligence
Answer set programming at a glance
Communications of the ACM
Business rules for creating process flexibility: mapping RIF rules and BDI rules
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
On the relation between answer set and sat procedures (or, between cmodels and smodels)
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Reducing inductive definitions to propositional satisfiability
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Automated reasoning support for first-order ontologies
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Lookahead in smodels compared to local consistencies in CSP
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Evaluating search strategies and heuristics for efficient answer set programming
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Preferences in answer set programming
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
The loop formula based semantics of description logic programs
Theoretical Computer Science
Answer set programming: a declarative approach to solving search problems
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Constructing camin-sokal phylogenies via answer set programming
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Ordered completion for first-order logic programs on finite structures
Artificial Intelligence
Detecting and breaking symmetries by reasoning on problem specifications
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
A possibilistic inconsistency handling in answer set programming
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Xsb: Extending prolog with tabled logic programming
Theory and Practice of Logic Programming - Prolog Systems
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
Aggregated Fuzzy Answer Set Programming
Annals of Mathematics and Artificial Intelligence
Reasoning and planning with cooperative actions for multiagents using answer set programming
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Datalog programs and their stable models
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Equivalence between extended datalog programs -- a brief survey
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Flexible security deployment in smart spaces
GPC'11 Proceedings of the 6th international conference on Grid and Pervasive Computing
Weighted-Sequence problem: ASP vs CASP and declarative vs problem-oriented solving
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Toward consistency checking of natural language temporal requirements
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
NP-SPEC: an executable specification language for solving all problems in NP
Computer Languages
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Backdoors to tractable answer-set programming
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Translation-based constraint answer set solving
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
The Multivariate Algorithmic Revolution and Beyond
Automata-Based computation of temporal equilibrium models
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Correct Reasoning
Applications of action languages in cognitive robotics
Correct Reasoning
Connecting first-order ASP and the logic FO(ID) through reducts
Correct Reasoning
The good, the bad, and the odd: cycles in answer-set programs
ESSLLI'10 Proceedings of the 2010 international conference on New Directions in Logic, Language and Computation
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Stable Models for Stubborn Sets
Fundamenta Informaticae
Journal of Artificial Intelligence Research
Meta programming with answer sets for smart spaces
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Evaluating tree-decomposition based algorithms for answer set programming
LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization
D-flat: Declarative problem solving using tree decompositions and answer-set programming
Theory and Practice of Logic Programming
Relational theories with null values and non-herbrand stable models
Theory and Practice of Logic Programming
Conflict-driven asp solving with external sources
Theory and Practice of Logic Programming
Tableau Calculi for Logic Programs under Answer Set Semantics
ACM Transactions on Computational Logic (TOCL)
Constraint Propagation for First-Order Logic and Inductive Definitions
ACM Transactions on Computational Logic (TOCL)
Action language BC: preliminary report
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Strong equivalence of qualitative optimization problems
Journal of Artificial Intelligence Research
Hi-index | 0.02 |
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic programming based knowledge representation techniques to constraint programming and because implementation methods for the stable model semantics for ground (variable‐free) programs have advanced significantly in recent years. For a program with variables these methods need a grounding procedure for generating a variable‐free program. As a practical approach to handling the grounding problem a subclass of logic programs, domain restricted programs, is proposed. This subclass enables efficient grounding procedures and serves as a basis for integrating built‐in predicates and functions often needed in applications. It is shown that the novel paradigm embeds classical logical satisfiability and standard (finite domain) constraint satisfaction problems but seems to provide a more expressive framework from a knowledge representation point of view. The first steps towards a programming methodology for the new paradigm are taken by presenting solutions to standard constraint satisfaction problems, combinatorial graph problems and planning problems. An efficient implementation of the paradigm based on domain restricted programs has been developed. This is an extension of a previous implementation of the stable model semantics, the Smodels system, and is publicly available. It contains, e.g., built‐in integer arithmetic integrated to stable model computation. The implementation is described briefly and some test results illustrating the current level of performance are reported.