Ultrafilter Logic and Generic Reasoning.
Walter Alexandre CarnielliPaulo A. S. VelosoPublished in: Kurt Gödel Colloquium (1997)
Keyphrases
- temporal knowledge
- temporal logic
- inconsistent knowledge
- modal logic
- predicate logic
- proof theory
- domain specific
- logic programming
- multi valued
- human reasoning
- truth values
- knowledge representation and reasoning
- classical logic
- probabilistic logic
- automated reasoning
- logic programs
- order of magnitude reasoning
- computational logic
- logical inference
- computational properties
- intuitionistic logic
- horn logic
- linear logic
- defeasible logic
- knowledge base
- logical framework
- default reasoning
- probabilistic reasoning
- knowledge representation
- multi agent systems