Search Sciweavers | Sciweavers

4617 search results - page 153 / 924

» Automation of Diagrammatic Reasoning

153

click to vote

ICCBR
1995
Springer

108views Automated Reasoning» more ICCBR 1995»

Reasoning with Reasons in Case-Based Comparisons

15 years 10 months ago

Download www.cs.cmu.edu

In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...

Kevin D. Ashley, Bruce M. McLaren

claim paper

Read More »

130

click to vote

CADE
2003
Springer

97views Logical Reasoning» more CADE 2003»

Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation

16 years 6 months ago

Download hal.archives-ouvertes.fr

Harald Ganzinger, Jürgen Stuber

claim paper

Read More »

181

click to vote

CADE
2001
Springer

161views Logical Reasoning» more CADE 2001»

NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics

16 years 6 months ago

Download www.cs.uni-potsdam.de

Christian Anger, Kathrin Konczak, Thomas Linke

claim paper

Read More »

137

click to vote

CADE
2008
Springer

113views Logical Reasoning» more CADE 2008»

MTT: The Maude Termination Tool (System Description)

16 years 6 months ago

Download users.dsic.upv.es

Francisco Durán, Salvador Lucas, José...

claim paper

Read More »

142

click to vote

CADE
2008
Springer

98views Logical Reasoning» more CADE 2008»

Quantitative Separation Logic and Programs with Lists

16 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers