Logic programs with abstract constraint atoms: the role of computations (Q969538): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2009.11.016
@@ Property / DOI: 10.1016/j.artint.2009.11.016 / rank @@
-Normal rank
@@ Property / author @@
+Miroslaw Truszczynski
@@ Property / author: Miroslaw Truszczynski / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cmodels
@@ Property / describes a project that uses: Cmodels / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+clasp
@@ Property / describes a project that uses: clasp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Smodels
@@ Property / describes a project that uses: Smodels / 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.2009.11.016
+Normal rank
@@ Property / OpenAlex ID @@
+W1988666619
@@ Property / OpenAlex ID: W1988666619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385536
@@ Property / cites work: Q4385536 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set based design of knowledge systems
@@ Property / cites work: Answer set based design of knowledge systems / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Q4736514
@@ Property / cites work: Q4736514 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
+Normal rank
@@ Property / cites work @@
+Q4434167
@@ Property / cites work: Q4434167 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Tight logic programs
@@ Property / cites work: Tight logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal phylogenetic networks and logic programming
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4707773
@@ Property / cites work: Q4707773 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation---The A-Prolog perspective
+Normal rank
@@ Property / cites work @@
+Bounded LTL model checking with stable models
@@ Property / cites work: Bounded LTL model checking with stable models / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programs with Abstract Constraint Atoms: The Role of Computations
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs, well-orderings, and forward chaining
+Normal rank
@@ Property / cites work @@
+Logic programs with monotone abstract constraint atoms
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+A Constructive semantic characterization of aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Q3624081
@@ Property / cites work: Q3624081 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2009.11.016
@@ Property / DOI: 10.1016/J.ARTINT.2009.11.016 / rank @@
+Normal rank