Pages that link to "Item:Q5425395"
From MaRDI portal
The following pages link to cr-models: An Inference Engine for CR-Prolog (Q5425395):
Displaying 6 items.
- Integrating answer set programming and constraint logic programming (Q1028649) (← links)
- A Theory of Intentions for Intelligent Agents (Q3449198) (← links)
- Justifications for logic programs under answer set semantics (Q3612602) (← links)
- Modular action language (Q4593024) (← links)
- (Q5020548) (← links)
- (Q5020551) (← links)
