A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog.
Thomas StröderFabian EmmesPeter Schneider-KampJürgen GieslCarsten FuhsPublished in: LOPSTR (2011)
Keyphrases
- complexity analysis
- operational semantics
- term rewriting
- theoretical analysis
- formal semantics
- theorem proving
- lower bound
- first order logic
- data model
- mental states
- model theoretic
- computational complexity
- logic programming
- denotational semantics
- declarative semantics
- knowledge representation
- activity diagrams
- autonomous agents
- knowledge base
- expert systems
- case study