Pages that link to "Item:Q1853682"
From MaRDI portal
The following pages link to Uniform semantic treatment of default and autoepistemic logics (Q1853682):
Displaying 26 items.
- Approximating operators and semantics for abstract dialectical frameworks (Q490444) (← links)
- Ultimate approximation and its application in nonmonotonic knowledge representation systems (Q598245) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← 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)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- Safe inductions and their applications in knowledge representation (Q1647517) (← links)
- Fixpoint semantics for active integrity constraints (Q1693567) (← links)
- Restricted semantics for default reasoning (Q1757453) (← links)
- The place of logic in reasoning (Q1931351) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface (Q2299238) (← links)
- Any-world assumptions in logic programming (Q2566297) (← links)
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach (Q2642629) (← links)
- Flexible Approximators for Approximating Fixpoint Theory (Q2814522) (← links)
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs (Q2900518) (← links)
- The Truth about Defaults (Q2900537) (← links)
- On Cascade Products of Answer Set Programs (Q2931275) (← links)
- From Fuzzy to Annotated Semantic Web Languages (Q2970305) (← links)
- Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory (Q5038459) (← links)
- On Well-Founded Set-Inductions and Locally Monotone Operators (Q5278197) (← links)
- Approximation Schemes in Logic and Artificial Intelligence (Q5505446) (← 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)
