A Prolog-like Paradigm for Reasoning in First-Order Theories.
Hendrik DeckerJuan Carlos CasamayorPublished in: GULP (1993)
Keyphrases
- artificial intelligence
- knowledge representation
- theory revision
- knowledge base
- knowledge representation and reasoning
- reasoning mechanisms
- first order logic
- logic programming
- expert systems
- causal reasoning
- knowledge processing
- formal models
- inference engine
- classical first order logic
- logical formulas
- reasoning and decision making
- automated reasoning
- higher order
- knowledge based systems
- programming paradigms
- programming language
- backward chaining
- reasoning systems
- probabilistic logic
- reasoning tasks
- horn clauses
- case based reasoning
- reasoning process
- analogical reasoning
- domain theory
- theorem proving
- deductive reasoning
- action theories
- probabilistic knowledge
- computational models
- prolog programs
- inductive logic programming
- logical theories
- natural language
- modulo theories