Pages that link to "Item:Q1603731"
From MaRDI portal
The following pages link to Logic programming and knowledge representation---The A-Prolog perspective (Q1603731):
Displayed 8 items.
- Logic programming with infinite sets (Q812390) (← links)
- Answer set based design of knowledge systems (Q854966) (← links)
- The Semantics of Consistency and Trust in Peer Data Exchange Systems (Q3498459) (← links)
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs (Q3546042) (← links)
- Automata and Answer Set Programming (Q3605538) (← links)
- Justifications for logic programs under answer set semantics (Q3612602) (← links)
- Quo Vadis Answer Set Programming? (Q5504648) (← links)
- Relativized Hyperequivalence of Logic Programs for Modular Programming (Q5504681) (← links)