Pages that link to "Item:Q1295428"
From MaRDI portal
The following pages link to Logic programs, well-orderings, and forward chaining (Q1295428):
Displaying 7 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)
- Characterization of an auto-compatible default theory (Q1415949) (← links)
- Disjunctive Programs with Set Constraints (Q2900542) (← links)
- Forward Chaining for Hybrid ASP (Q3455837) (← links)
