Logic programs with stable model semantics as a constraint programming paradigm
From MaRDI portal
Publication:1978008
Recommendations
- scientific article; zbMATH DE number 1368933
- A note on the stable model semantics for logic programs
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
- The Stable Models of a Predicate Logic Program
- Expressiveness of logic programs under the general stable model semantics
- The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
- On stable-like semantics for logic programs
- scientific article; zbMATH DE number 1114052
- Stable models and their computation for logic programming with inheritance and true negation
- scientific article; zbMATH DE number 2084772
Cited in
(only showing first 100 items - show all)- Evaluating ASP and commercial solvers on the CSPLib
- My work with Victor Marek: a mathematician looks at answer set programming
- On the relation among answer set solvers
- Integrating answer set programming and constraint logic programming
- Consistency properties and set based logic programming
- Stable models and difference logic
- Inductive situation calculus
- Exploiting functional dependencies in declarative problem specifications
- Set based logic programming
- A note on the stable model semantics for logic programs
- How to fake an RSA signature by encoding modular root finding as a SAT problem
- Logic programming and knowledge representation---The A-Prolog perspective
- Answer set programming and plan generation
- Extending and implementing the stable model semantics
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting
- Three-valued semantics for hybrid MKNF knowledge bases revisited
- Causal effect identification in acyclic directed mixed graphs and gated models
- A constraint optimization approach to causal discovery from subsampled time series data
- A progression semantics for first-order logic programs
- What is answer set programming to propositional satisfiability
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
- Conflict-driven answer set solving: from theory to practice
- Autoepistemic answer set programming
- Model reconciliation in logic programs
- Answers set programs for non-transferable utility games: expressiveness, complexity and applications
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
- Determining inference semantics for disjunctive logic programs
- Equilibrium graphs
- The dramatic true story of the frame default
- Methods for solving reasoning problems in abstract argumentation -- a survey
- Backdoors to tractable answer set programming
- Infinitary equilibrium logic and strongly equivalent logic programs
- Complexity results for answer set programming with bounded predicate arities and implications
- FLP answer set semantics without circular justifications for general logic programs
- Automated reformulation of specifications by safe delay of constraints
- Compiling problem specifications into SAT
- Syntactic ASP forgetting with forks
- Arguing correctness of ASP programs with aggregates
- Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination
- Semantics for conditional literals via the SM operator
- scientific article; zbMATH DE number 1696768 (Why is no real title available?)
- Temporal here and there
- Relating weight constraint and aggregate programs: semantics and representation
- On abstract modular inference systems and solvers
- A modeling layer for constraint-programming libraries
- XSB: extending Prolog with tabled logic programming
- To Vladimir Lifschitz on His 65th Birthday
- Causal Logic Programming
- Applications of action languages in cognitive robotics
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- Answer set programming and planning with knowledge and world-altering actions in multiple agent domains
- Connecting first-order ASP and the logic FO(ID) through reducts
- Backdoors to satisfaction
- Representing first-order causal theories by logic programs
- Anytime computation of cautious consequences in answer set programming
- Improving the normalization of weight rules in answer set programs
- Transition systems for model generators -- a unifying approach
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
- Stable Models for Temporal Theories
- Performance tuning in answer set programming
- Diagnostic reasoning for robotics using action languages
- The Design of the Sixth Answer Set Programming Competition
- Strongly Equivalent Temporal Logic Programs
- On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
- A translational approach to constraint answer set solving
- Loop formulas for description logic programs
- Logic programming for finding models in the logics of knowledge and its applications: a case study
- Testing and debugging techniques for answer set solver development
- Thirteen Definitions of a Stable Model
- Automata and Answer Set Programming
- Justifications for logic programs under answer set semantics
- On finitely recursive programs
- Answer Set Programming: A Primer
- Some (in)translatability results for normal logic programs and propositional theories
- Relativized hyperequivalence of logic programs for modular programming
- Ordered completion for first-order logic programs on finite structures
- scientific article; zbMATH DE number 1980915 (Why is no real title available?)
- scientific article; zbMATH DE number 2080548 (Why is no real title available?)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- Argumentation-based semantics for logic programs with first-order formulae
- Temporal equilibrium logic: a survey
- On the relation between SPARQL1.1 and Answer Set Programming
- Temporal equilibrium logic with past operators
- Achievements in answer set programming
- Generating explanations for biomedical queries
- Fuzzy answer set computation via satisfiability modulo theories
- A denotational semantics for equilibrium logic
- An infinitary encoding of temporal equilibrium logic
- A model building framework for answer set programming with external computations
- Disjunctive answer set solvers via templates
- Anytime answer set optimization via unsatisfiable core shrinking
- Stable-unstable semantics: Beyond NP with normal logic programs
- Justifications for programs with disjunctive and causal-choice rules
- Temporal logic programs with variables
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- Preface
- Constraint answer set solver EZCSP and why integration schemas matter
- CASP solutions for planning in hybrid domains
- Solving distributed constraint optimization problems using logic programming
This page was built for publication: Logic programs with stable model semantics as a constraint programming paradigm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978008)
