Multi-shot ASP solving with clingo (Q5197744): Difference between revisions

@@ Property / describes a project that uses @@
+oClingo
@@ Property / describes a project that uses: oClingo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Clingcon
@@ Property / describes a project that uses: Clingcon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lparse
@@ Property / describes a project that uses: Lparse / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+D-FLAT
@@ Property / describes a project that uses: D-FLAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Moviola
@@ Property / describes a project that uses: Moviola / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09811
@@ Property / arXiv ID: 1705.09811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+The D-FLAT System for Dynamic Programming on Tree Decompositions
+Normal rank
@@ Property / cites work @@
+LUPS -- A language for updating logic programs
@@ Property / cites work: LUPS -- A language for updating logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in WASP
@@ Property / cites work: Advances in WASP / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting recursive aggregates in answer set programming: back to monotonicity
+Normal rank
@@ Property / cites work @@
+Complexity and compilation of GZ-aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Unsatisfiability-based optimization in clasp
@@ Property / cites work: Unsatisfiability-based optimization in clasp / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating ASP into ROS for Reasoning in Robots
@@ Property / cites work: Integrating ASP into ROS for Reasoning in Robots / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
+Normal rank
@@ Property / cites work @@
+<i>Clingcon</i>: The next generation
@@ Property / cites work: <i>Clingcon</i>: The next generation / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Implementing Preferences with asprin
@@ Property / cites work: Implementing Preferences with asprin / rank @@
+Normal rank
@@ Property / cites work @@
+External sources of knowledge and value invention in logic programming
+Normal rank
@@ Property / cites work @@
+Merging Logic Programs under Answer Set Semantics
@@ Property / cites work: Merging Logic Programs under Answer Set Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+plasp 3: towards effective ASP planning
@@ Property / cites work: plasp 3: towards effective ASP planning / rank @@
+Normal rank
@@ Property / cites work @@
+Q2845506
@@ Property / cites work: Q2845506 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven ASP solving with external sources
@@ Property / cites work: Conflict-driven ASP solving with external sources / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Answer Set Programming
@@ Property / cites work: Reactive Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract gringo
@@ Property / cites work: Abstract gringo / rank @@
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering an Incremental ASP Solver
@@ Property / cites work: Engineering an Incremental ASP Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving
+Normal rank
@@ Property / cites work @@
+Clingo goes linear constraints over reals and integers
+Normal rank
@@ Property / cites work @@
+A Tutorial on Hybrid Answer Set Solving with clingo
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+ASP modulo CSP: The clingcon system
@@ Property / cites work: ASP modulo CSP: The clingcon system / rank @@
+Normal rank
@@ Property / cites work @@
+Moviola: interpreting dynamic logic programs via multi-shot answer set programming
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Solving logic program conflict through strong and weak forgettings
+Normal rank
@@ Property / OpenAlex ID @@
+W2963234253
@@ Property / OpenAlex ID: W2963234253 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129528853
@@ Property / Wikidata QID: Q129528853 / rank @@
+Normal rank