Stable models and an alternative logic programming paradigm
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Integrating answer set programming and constraint logic programming
- Consistency properties and set based logic programming
- Stable models and difference logic
- Inductive situation calculus
- Set based logic programming
- Stabilizing mobile philosophers
- A note on the stable model semantics for logic programs
- Logic programs, well-orderings, and forward chaining
- Disjunctive \(LP+\) integrity constraints = stable model semantics.
- 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
- A progression semantics for first-order logic programs
- What is answer set programming to propositional satisfiability
- Conflict-driven answer set solving: from theory to practice
- On the equivalence and range of applicability of graph-based representations of logic programs.
- Logic programs, iterated function systems, and recurrent radial basis function networks
- Logic programs with stable model semantics as a constraint programming paradigm
- Fixed point semantics for stream reasoning
- 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
- Multi-context systems in dynamic environments
- A multiparametric view on answer set programming
- 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
- Inferring phylogenetic trees using answer set programming
- A characterization of answer sets for logic programs
- Representing abstract dialectical frameworks with binary decision diagrams
- Arguing correctness of ASP programs with aggregates
- IASCAR: incremental answer set counting by anytime refinement
- Semantics for conditional literals via the SM operator
- QMaxSATpb: a certified MaxSAT solver
- Temporal here and there
- On abstract modular inference systems and solvers
- Querying incomplete information in RDF with SPARQL
- Here and there among logics for logic programming
- Causal Logic Programming
- Applications of action languages in cognitive robotics
- The intelligent grounder of DLV
- 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
- Improving the normalization of weight rules in answer set programs
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
- On the existence of stable models of non-stratified logic programs
- Performance tuning in answer set programming
- Diagnostic reasoning for robotics using action languages
- The Design of the Sixth Answer Set Programming Competition
- scientific article; zbMATH DE number 4137744 (Why is no real title available?)
- Integrating Inductive Definitions in SAT
- SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
- Thirteen Definitions of a Stable Model
- Automata and Answer Set Programming
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
- Answer Set Programming: A Primer
- Computing Stable Models via Reductions to Difference Logic
- Ordered completion for first-order logic programs on finite structures
- The family of stable models
- The Stable Models of a Predicate Logic Program
- Mixed integer programming methods for computing nonmonotonic deductive databases
- R-stable models for logic programs
- Stable model checking for disjunctive logic programs
- 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
- Achievements in answer set programming
- Generating explanations for biomedical queries
- Knowledge compilation of logic programs using approximation fixpoint theory
- Fuzzy answer set computation via satisfiability modulo theories
- Modular action language \(\mathcal{ALM}\)
- Putting logic-based distributed systems on stable grounds
- Disjunctive answer set solvers via templates
- The power of non-ground rules in Answer Set Programming
- Stable-unstable semantics: Beyond NP with normal logic programs
- Justifications for programs with disjunctive and causal-choice rules
- Query answering in resource-based answer set semantics
- 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
- An application of answer set programming to the field of second language acquisition
- Stepwise debugging of answer-set programs
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
- scientific article; zbMATH DE number 2088041 (Why is no real title available?)
- On the Expressibility of Stable Logic Programming
- scientific article; zbMATH DE number 1884395 (Why is no real title available?)
- On the expressibility of stable logic programming
- On the coincidence of semantics for uniquely determined programs
- On the parameterized complexity of non-monotonic logics
- The Seventh Answer Set Programming Competition: Design and Results
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
This page was built for publication: Stable models and an alternative logic programming paradigm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4702577)
