Search Sciweavers | Sciweavers

2253 search results - page 1 / 451

» The ComFoRT Reasoning Framework

Voted

CAV
2005
Springer

114views Hardware» more CAV 2005»

The ComFoRT Reasoning Framework

15 years 4 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

14 years 11 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

15 years 2 months ago

Download cse.unl.edu

Jan Chomicki, Peter Z. Revesz

claim paper

Read More »

135

click to vote

CADE
1997
Springer

313views Logical Reasoning» more CADE 1997»

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

15 years 2 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

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers