A general approach for determining the v
โ
Chris Groeneboer; James P. Delgrande
๐
Article
๐
1990
๐
John Wiley and Sons
๐
English
โ 915 KB
An approach to theorem proving for the class of normal conditional logics is presented. These logics have been shown to be appropriate for representing a wide variety of commonsense assertions, including default and prototypical properties, counterfactuals, notions of obligation, and others. The log