Validating the PSL/Sugar Semantics Using Automated Reasoning.
Michael J. C. GordonPublished in: Formal Aspects Comput. (2003)
Keyphrases
- automated reasoning
- reasoning tasks
- proof theory
- reasoning systems
- knowledge representation
- theorem prover
- theorem proving
- probabilistic reasoning
- decision procedures
- logic programming
- automated verification
- logical implication
- propositional satisfiability
- knowledge representation and reasoning
- valued logic
- first order logic
- abductive reasoning
- knowledge base
- general purpose
- programming language
- english text
- logic programs
- np complete