Fast and loose reasoning is morally correct.
Nils Anders DanielssonJohn HughesPatrik JanssonJeremy GibbonsPublished in: POPL (2006)
Keyphrases
- knowledge base
- reasoning systems
- knowledge representation
- spatial reasoning
- reasoning tasks
- reasoning about actions
- reasoning process
- formal models
- multi agent decision making
- databases
- reasoning engine
- reasoning mechanisms
- analogical reasoning
- knowledge processing
- automated reasoning
- description logics
- expert systems
- website
- information systems
- real world