Pages that link to "Item:Q1295428"
From MaRDI portal
The following pages link to Logic programs, well-orderings, and forward chaining (Q1295428):
Displaying 8 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- Consistency properties and set based logic programming (Q1028650) (← links)
- How complicated is the set of stable models of a recursive logic program? (Q1192346) (← links)
- Characterization of an auto-compatible default theory (Q1415949) (← links)
- Disjunctive Programs with Set Constraints (Q2900542) (← links)
- Forward Chaining for Hybrid ASP (Q3455837) (← links)