Pages that link to "Item:Q1924748"
From MaRDI portal
The following pages link to Well-founded and stationary models of logic programs (Q1924748):
Displayed 5 items.
- Partial equilibrium logic (Q2457796) (← links)
- Well-Founded and Partial Stable Semantics Logical Aspects (Q3392936) (← links)
- Efficient description logic reasoning in Prolog: The DLog system (Q3393230) (← links)
- Logic Programming with Defaults and Argumentation Theories (Q5325769) (← links)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (Q5504600) (← links)