Logic Programming with Defaults and Argumentation Theories (Q5325769): Difference between revisions

@@ Property / describes a project that uses @@
+HiLog
@@ Property / describes a project that uses: HiLog / 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.1007/978-3-642-02846-5_35
+Normal rank
@@ Property / OpenAlex ID @@
+W1585614051
@@ Property / OpenAlex ID: W1585614051 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation results for defeasible logic
@@ Property / cites work: Representation results for defeasible logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4812974
@@ Property / cites work: Q4812974 / rank @@
+Normal rank
@@ Property / cites work @@
+Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
+Normal rank
@@ Property / cites work @@
+An abstract, argumentation-theoretic approach to default reasoning
+Normal rank
@@ Property / cites work @@
+Preferred answer sets for extended logic programs
@@ Property / cites work: Preferred answer sets for extended logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530456
@@ Property / cites work: Q4530456 / rank @@
+Normal rank
@@ Property / cites work @@
+HiLog: A foundation for higher-order logic programming
+Normal rank
@@ Property / cites work @@
+A framework for compiling preferences  in logic programs
+Normal rank
@@ Property / cites work @@
+An argument-based approach to reasoning with specificity
+Normal rank
@@ Property / cites work @@
+Computing preferred answer sets by meta-interpretation in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Defeasible logic programming: an argumentative approach
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Q4217936
@@ Property / cites work: Q4217936 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical foundations of object-oriented and frame-based languages
+Normal rank
@@ Property / cites work @@
+Q4400808
@@ Property / cites work: Q4400808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics
+Normal rank
@@ Property / cites work @@
+An argumentation framework in default logic
@@ Property / cites work: An argumentation framework in default logic / rank @@
+Normal rank
@@ Property / cites work @@
+Well-founded and stationary models of logic programs
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Prioritized logic programming and its application to commonsense reasoning
+Normal rank
@@ Property / cites work @@
+Q3992826
@@ Property / cites work: Q3992826 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767052
@@ Property / cites work: Q2767052 / rank @@
+Normal rank
@@ Property / cites work @@
+Journal on Data Semantics I
@@ Property / cites work: Journal on Data Semantics I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4781958
@@ Property / cites work: Q4781958 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5325769