Program verification, defeasible reasoning, and two views of computer science.
Timothy R. ColburnPublished in: Minds Mach. (1991)
Keyphrases
- defeasible reasoning
- computer science
- defeasible logic
- legal reasoning
- nonmonotonic reasoning
- formal semantics
- conditional logic
- argumentation systems
- artificial intelligence
- data mining
- modal logic
- argumentation frameworks
- nonmonotonic logics
- belief revision
- default reasoning
- business rules
- computational intelligence
- machine learning