Pages that link to "Item:Q490444"
From MaRDI portal
The following pages link to Approximating operators and semantics for abstract dialectical frameworks (Q490444):
Displaying 30 items.
- Theory of semi-instantiation in abstract argumentation (Q528522) (← links)
- On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics (Q825004) (← links)
- Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
- Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory (Q898737) (← links)
- Safe inductions and their applications in knowledge representation (Q1647517) (← links)
- Fixpoint semantics for active integrity constraints (Q1693567) (← links)
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- Realizability of three-valued semantics for abstract dialectical frameworks (Q2287192) (← links)
- EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface (Q2299238) (← links)
- Epistemic graphs for representing and reasoning with positive and negative influences of arguments (Q2303513) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- On three-valued acceptance conditions of abstract dialectical frameworks (Q2333663) (← links)
- Flexible Approximators for Approximating Fixpoint Theory (Q2814522) (← links)
- Understanding the Abstract Dialectical Framework (Q2835889) (← links)
- Probabilistic Abstract Dialectical Frameworks (Q2938525) (← links)
- A Formal Theory of Justifications (Q3449209) (← links)
- Knowledge compilation of logic programs using approximation fixpoint theory (Q4592990) (← links)
- Range-based argumentation semantics as two-valued models (Q4593079) (← links)
- Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory (Q5038459) (← links)
- Paracoherent Answer Set Semantics meets Argumentation Frameworks (Q5108496) (← links)
- On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs (Q5108512) (← links)
- On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics (Q5145833) (← links)
- A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence (Q5172603) (← links)
- Judgment Aggregation in Abstract Dialectical Frameworks (Q5172622) (← links)
- On Well-Founded Set-Inductions and Locally Monotone Operators (Q5278197) (← links)
- Lattice point of view for argumentation framework (Q6059223) (← links)
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (Q6063882) (← links)
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming (Q6566627) (← links)
- Embedding justification theory in approximation fixpoint theory (Q6566637) (← links)
- Fixpoint semantics for recursive \textsc{shacl} (Q6647306) (← links)
