Well-Supported Semantics for Logic Programs with Generalized Rules (Q2900549): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W30003877
@@ Property / OpenAlex ID: W30003877 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+dl2asp: Implementing Default Logic via Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Ultimate approximation and its application in nonmonotonic knowledge representation systems
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and complexity of recursive aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Stable models and circumscription
@@ Property / cites work: Stable models and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Twelve Definitions of a Stable Model
@@ Property / cites work: Twelve Definitions of a Stable Model / rank @@
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Lparse Programs Revisited: Semantics and Representation of Aggregates
+Normal rank
@@ Property / cites work @@
+Well-founded and stable semantics of logic programs with aggregates
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning is sometimes simpler!
@@ Property / cites work: Nonmonotonic reasoning is sometimes simpler! / rank @@
+Normal rank
@@ Property / cites work @@
+A Default Approach to Semantics of Logic Programs with Constraint Atoms
+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 @@
+Q4012232
@@ Property / cites work: Q4012232 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
+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