Execution semantics and formalisms for multi-abstraction TLM assertions.
Wolfgang EckerVolkan EsenMichael HullPublished in: MEMOCODE (2006)
Keyphrases
- logic programming
- reasoning tasks
- control flow
- knowledge base
- nonmonotonic reasoning
- formal semantics
- high level
- decision theoretic planning
- execution model
- computational properties
- data flow
- knowledge representation
- default reasoning
- active rules
- semantic information
- object oriented
- probabilistic knowledge
- knowledge representation formalisms