Sciweavers

3891 search results - page 20 / 779
» A logic for strategic reasoning
Sort
View
LPAR
2010
Springer
14 years 8 months ago
Human and Unhuman Commonsense Reasoning
Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Ford’s logi...
Michael J. Maher
99
Voted
CADE
2008
Springer
15 years 10 months ago
Certificate Translation
Gilles Barthe
64
Voted
CADE
2007
Springer
15 years 10 months ago
Improvements in Formula Generalization
Markus Aderhold
CADE
2007
Springer
15 years 10 months ago
Handling Polymorphism in Automated Deduction
Jean-François Couchot, Stéphane Lesc...