Search Sciweavers | Sciweavers

3891 search results - page 20 / 779

» A logic for strategic reasoning

click to vote

LPAR
2010
Springer

163views Automated Reasoning» more LPAR 2010»

Human and Unhuman Commonsense Reasoning

13 years 6 months ago

Download www.cse.unsw.edu.au

Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We deﬁne here a defeasible logic FDL based on Ford’s logi...

Michael J. Maher

claim paper

Read More »

click to vote

CADE
2008
Springer

116views Logical Reasoning» more CADE 2008»

Certificate Translation

14 years 8 months ago

Download www.easychair.org

Gilles Barthe

claim paper

Read More »

click to vote

CADE
2007
Springer

120views Logical Reasoning» more CADE 2007»

Improvements in Formula Generalization

14 years 8 months ago

Download www.cs.bham.ac.uk

Markus Aderhold

claim paper

Read More »

click to vote

CADE
2007
Springer

95views Logical Reasoning» more CADE 2007»

Handling Polymorphism in Automated Deduction

14 years 8 months ago

Download www.lri.fr

Jean-François Couchot, Stéphane Lesc...

claim paper

Read More »

click to vote

CADE
2007
Springer

125views Logical Reasoning» more CADE 2007»

A Mechanization of Phylogenetic Trees

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers