XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description.
Torsten SchaubStefan BrüningPascal NicolasPublished in: CADE (1996)
Keyphrases
- default reasoning
- theorem prover
- x ray
- theorem proving
- first order logic
- nonmonotonic reasoning
- belief revision
- x ray images
- probabilistic reasoning
- inference rules
- term rewriting
- default logic
- default theories
- logic programming
- automated reasoning
- automated theorem proving
- high level
- formal proof
- dependency directed backtracking
- formal semantics
- inheritance reasoning
- conditional logic
- partial order
- medical imaging
- knowledge representation
- intraoperative
- probabilistic logic
- programming language
- computer tomography
- general purpose
- expert systems
- ct scans
- medical images
- model theoretic
- artificial intelligence
- data mining