Pages that link to "Item:Q1924748"
From MaRDI portal
The following pages link to Well-founded and stationary models of logic programs (Q1924748):
Displaying 11 items.
- Logic programs, well-orderings, and forward chaining (Q1295428) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- 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)
- On the existence of stable models of non-stratified logic programs (Q3426203) (← links)
- The infinite-valued semantics: overview, recent results and future directions (Q4583316) (← links)
- Modeling the suppression task under weak completion and well-founded semantics (Q4583344) (← links)
- Loop checking and the well-founded semantics (Q5101446) (← links)
- Logic Programming with Defaults and Argumentation Theories (Q5325769) (← links)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (Q5504600) (← links)