Plausible Reasoning: A First-Order Approach.
Silvana BadaloniAlberto ZanardoPublished in: J. Appl. Non Class. Logics (1996)
Keyphrases
- plausible reasoning
- belief revision
- higher order
- first order logic
- probability theory
- conditional logic
- belief change
- real time
- pairwise
- pattern recognition
- search algorithm
- database
- real world
- propositional logic
- data analysis
- relational learning
- database systems
- case study
- information systems
- quantifier elimination
- term rewriting
- learning algorithm