Pages that link to "Item:Q1326782"
From MaRDI portal
The following pages link to A context for belief revision: forward chaining-normal nonmonotonic rule systems (Q1326782):
Displaying 9 items.
- Annotated nonmonotonic rule systems (Q673384) (← links)
- Complexity-theoretic algebra. II: Boolean algebras (Q915723) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- Consistency properties and set based logic programming (Q1028650) (← links)
- Decidable Kripke models of intuitionistic theories (Q1295382) (← links)
- Logic programs, well-orderings, and forward chaining (Q1295428) (← links)
- On the lattices of NP-subspaces of a polynomial time vector space over a finite field (Q1923577) (← links)
- Forward Chaining for Hybrid ASP (Q3455837) (← links)
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (Q5504658) (← links)
