A New Language for the Visualization of Logic and Reasoning.
Gem StapletonSimon J. ThompsonAndrew FishJohn HowseJohn TaylorPublished in: DMS (2005)
Keyphrases
- proof theory
- intuitionistic logic
- automated reasoning
- knowledge representation language
- proof theoretic
- classical logic
- logic programming
- logical framework
- reasoning problems
- computational properties
- order of magnitude reasoning
- formal language
- natural deduction
- deductive reasoning
- programming language
- human reasoning
- default reasoning
- reasoning engine
- reasoning tasks
- probabilistic logic
- highly expressive
- logical rules
- probabilistic knowledge
- natural language
- modal logic
- abductive reasoning
- logic programming language
- knowledge representation
- conditional logic
- operational semantics
- language learning
- logical inference
- predicate logic
- commonsense reasoning
- logic programs
- temporal logic
- agent programming
- uml class diagrams
- inference rules
- proof procedure
- qualitative reasoning
- formal theory
- reasoning systems
- knowledge representation and reasoning
- knowledge base
- linear temporal logic
- description logics
- data analysis
- horn logic
- order sorted
- theorem prover
- theorem proving
- dynamic logic
- linear logic
- predicate calculus
- model theoretic
- reasoning about actions