Reasoning Processes in Propositional Logic.
Claes StrannegårdSimon UlfsbäckerDavid HedqvistTommy GärlingPublished in: J. Log. Lang. Inf. (2010)
Keyphrases
- propositional logic
- reasoning processes
- cognitive processes
- reasoning process
- belief revision
- decision making
- first order logic
- knowledge structures
- possibilistic logic
- quantified boolean formulae
- lattice theory
- satisfiability testing
- propositional formulas
- knowledge base
- knowledge representation
- horn logic
- belief change
- domain knowledge