Semantics and Reasoning with Free Procedures.
Steven M. GermanPublished in: Theor. Comput. Sci. (1992)
Keyphrases
- open world
- reasoning tasks
- proof theory
- reasoning mechanisms
- default reasoning
- proof theoretic
- fuzzy description logics
- logical framework
- reasoning mechanism
- default rules
- uncertain information
- computational properties
- graphical representation
- logic programming
- formal semantics
- reasoning process
- logical rules
- defeasible reasoning
- abstract argumentation
- reasoning services
- knowledge base
- probabilistic logic
- knowledge representation
- reasoning systems
- derivation rules
- semantic web ontologies
- highly expressive
- uml class diagrams
- probabilistic knowledge
- analogical reasoning
- knowledge representation and reasoning
- legal reasoning
- automated reasoning
- semantic information
- description logics
- programming language