On the Logic of Theory Change: Relations Between Incision and Selection Functions.
Marcelo A. FalappaEduardo L. FerméGabriele Kern-IsbernerPublished in: ECAI (2006)
Keyphrases
- formal theory
- logical theories
- logic programming
- commonsense reasoning
- theoretical framework
- multi valued
- deductive reasoning
- theoretical basis
- horn clauses
- classical logic
- data sets
- computer algebra
- proof theory
- set theory
- relation algebra
- formal logic
- boolean algebra
- von neumann
- general theory
- background knowledge
- knowledge representation
- neural network