Sciweavers

3970 search results - page 30 / 794
» A Logic For Causal Reasoning
Sort
View
LPAR
2010
Springer
15 years 2 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
142
Voted
CADE
2008
Springer
16 years 4 months ago
Certificate Translation
Gilles Barthe
CADE
2007
Springer
16 years 4 months ago
Improvements in Formula Generalization
Markus Aderhold
94
Voted
CADE
2007
Springer
16 years 4 months ago
Handling Polymorphism in Automated Deduction
Jean-François Couchot, Stéphane Lesc...