First-order stable model semantics with intensional functions (Q2321299): Difference between revisions

@@ Property / describes a project that uses @@
+Clingcon
@@ Property / describes a project that uses: Clingcon / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2019.01.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2912103526
@@ Property / OpenAlex ID: W2912103526 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered completion for logic programs with aggregates
+Normal rank
@@ Property / cites work @@
+Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Q3089162
@@ Property / cites work: Q3089162 / rank @@
+Normal rank
@@ Property / cites work @@
+A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions
+Normal rank
@@ Property / cites work @@
+On the stable model semantics for intensional functions
+Normal rank
@@ Property / cites work @@
+System aspmt2smt: Computing ASPMT Theories by SMT Solvers
+Normal rank
@@ Property / cites work @@
+Functional answer set programming
@@ Property / cites work: Functional answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Stable models and circumscription
@@ Property / cites work: Stable models and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449295
@@ Property / cites work: Q4449295 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624034
@@ Property / cites work: Q3624034 / rank @@
+Normal rank
@@ Property / cites work @@
+dReal: An SMT Solver for Nonlinear Theories over the Reals
+Normal rank
@@ Property / cites work @@
+Constraint Answer Set Solving
@@ Property / cites work: Constraint Answer Set Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses
+Normal rank
@@ Property / cites work @@
+Representing hybrid automata by action language modulo theories
+Normal rank
@@ Property / cites work @@
+On relation between constraint answer set programming and satisfiability modulo theories
+Normal rank
@@ Property / cites work @@
+Q4955331
@@ Property / cites work: Q4955331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5740447
@@ Property / cites work: Q5740447 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional completion
@@ Property / cites work: Functional completion / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750390
@@ Property / cites work: Q5750390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296747
@@ Property / cites work: Q4296747 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of causal explanation
@@ Property / cites work: On the logic of causal explanation / rank @@
+Normal rank
@@ Property / cites work @@
+Thirteen Definitions of a Stable Model
@@ Property / cites work: Thirteen Definitions of a Stable Model / rank @@
+Normal rank
@@ Property / cites work @@
+Addendum: Circumscription and other non-monotonic formalisms
+Normal rank
@@ Property / cites work @@
+Integrating answer set programming and constraint logic programming
+Normal rank
@@ Property / cites work @@
+ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
+Normal rank