Executable Semantics for Compensating CSP.
Michael J. ButlerShamim RiponPublished in: EPEW/WS-FM (2005)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- formal semantics
- control flow
- attribute grammars
- logic programming
- search space
- np hard
- semantic information
- model theoretic
- operational semantics
- knowledge base
- default reasoning
- database
- owl ontologies
- natural language
- neural network
- argumentation semantics
- databases