Diagrammatic logic and exceptions: an introduction.
Dominique DuvalJean-Claude ReynaudPublished in: Mathematics, Algorithms, Proofs (2005)
Keyphrases
- logic programming
- modal logic
- automated reasoning
- data sets
- predicate logic
- case study
- proof theory
- database
- dynamic logic
- asynchronous circuits
- autoepistemic logic
- digital circuits
- probabilistic logic
- probability theory
- logic programs
- search algorithm
- database systems
- image processing
- knowledge base
- machine learning
- real world
- real time