Pages that link to "Item:Q1182168"
From MaRDI portal
The following pages link to Three-valued nonmonotonic formalisms and semantics of logic programs (Q1182168):
Displaying 20 items.
- Graph theoretical structures in logic programs and default theories (Q672050) (← links)
- On the autoepistemic reconstruction of logic programming (Q685123) (← links)
- A three-valued semantics for deductive databases and logic programs (Q1337468) (← links)
- Querying disjunctive databases through nonmonotonic logics (Q1350535) (← links)
- Disjunctive logic and semantics of disjunctive logic programs (Q1368240) (← links)
- Multi-valued autoepistemic logic (Q1380408) (← links)
- The independent choice logic for modelling multiple agents under uncertainty (Q1391346) (← links)
- Fixpoint semantics for logic programming a survey (Q1605173) (← links)
- Well-founded and stationary models of logic programs (Q1924748) (← links)
- On the computational cost of disjunctive logic programming: Propositional case (Q1924780) (← links)
- Realizability of three-valued semantics for abstract dialectical frameworks (Q2287192) (← links)
- Autoepistemic logic revisited (Q2675267) (← links)
- (Q3123377) (← links)
- (Q4287496) (← links)
- (Q4537512) (← links)
- (Q4581173) (← links)
- Default consequence relations as a logical framework for logic programs (Q5101454) (← links)
- An abductive framework for extended logic programming (Q5101460) (← links)
- Paracoherent Answer Set Semantics meets Argumentation Frameworks (Q5108496) (← links)
- Characterizing D-WFS: Confluence and iterated GCWA (Q5236439) (← links)