Pages that link to "Item:Q5424863"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424863):
Displaying 6 items.
- Expressive power and abstraction in Essence (Q941820) (← links)
- Inductive situation calculus (Q1028914) (← links)
- SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions (Q3502709) (← links)
- The Range of Applicability of some Non-monotonic Logics for Strict Inertia (Q4316295) (← links)
- A logic of nonmonotone inductive definitions (Q5277803) (← links)
- (Q5599795) (← links)