Computing defeasible meta-logic (Q2055782): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3162427427
@@ Property / OpenAlex ID: W3162427427 / 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 @@
+High-Level Programs and Program Conditions
@@ Property / cites work: High-Level Programs and Program Conditions / rank @@
+Normal rank
@@ Property / cites work @@
+Reflective metalogical frameworks
@@ Property / cites work: Reflective metalogical frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Argumentation update in YALLA (yet another logic language for argumentation)
+Normal rank
@@ Property / cites work @@
+Computing preferred answer sets by meta-interpretation in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Q4893673
@@ Property / cites work: Q4893673 / rank @@
+Normal rank
@@ Property / cites work @@
+Local Models Semantics, or contextual reasoning = locality + compatibility
+Normal rank
@@ Property / cites work @@
+Computing strong and weak permissions in defeasible logic
+Normal rank
@@ Property / cites work @@
+The rationale behind the concept of goal
@@ Property / cites work: The rationale behind the concept of goal / rank @@
+Normal rank
@@ Property / cites work @@
+A defeasible logic for modelling policy-based intentions and motivational attitudes
+Normal rank
@@ Property / cites work @@
+Changing legal systems: legal abrogations and annulments in Defeasible Logic
+Normal rank
@@ Property / cites work @@
+Q4893675
@@ Property / cites work: Q4893675 / 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 @@
+Making prolog more expressive
@@ Property / cites work: Making prolog more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+Input/output logics
@@ Property / cites work: Input/output logics / rank @@
+Normal rank
@@ Property / cites work @@
+Metalevel argumentation
@@ Property / cites work: Metalevel argumentation / rank @@
+Normal rank