Search Sciweavers | Sciweavers

2253 search results - page 1 / 451

» The ComFoRT Reasoning Framework

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

The ComFoRT Reasoning Framework

13 years 10 months ago

Download www.sei.cmu.edu

Sagar Chaki, James Ivers, Natasha Sharygina, Kurt ...

claim paper

Read More »

click to vote

AAAI
1996

157views Intelligent Agents» more AAAI 1996»

A Connectionist Framework for Reasoning: Reasoning with Examples

13 years 5 months ago

Download www.aaai.org

We present a connectionist architecture that supports almost instantaneous deductive and abductive reasoning. The deduction algorithm responds in few steps for single rule queries...

Dan Roth

claim paper

Read More »

click to vote

TIME
1999
IEEE

75views Automated Reasoning» more TIME 1999»

A Geometric Framework for Specifying Spatiotemporal Objects

13 years 8 months ago

Download cse.unl.edu

Jan Chomicki, Peter Z. Revesz

claim paper

Read More »

click to vote

CADE
1997
Springer

313views Logical Reasoning» more CADE 1997»

Nuprl-Light: An Implementation Framework for Higher-Order Logics

13 years 8 months ago

Download files.metaprl.org

Jason J. Hickey

claim paper

Read More »

click to vote

KR
1994
Springer

86views Automated Reasoning» more KR 1994»

A Unified Framework for Class-Based Representation Formalisms

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers