Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language.
Adam MeissnerPublished in: SETN (2008)
Keyphrases
- reasoning process
- reasoning mechanism
- automated theorem proving
- decision processes
- knowledge base
- parallel computation
- programming language
- first order logic
- reasoning under uncertainty
- natural language
- linear temporal logic
- domain theory
- conditional logic
- knowledge acquisition
- knowledge representation
- high level
- reasoning processes
- artificial intelligence
- function free horn