Search Sciweavers | Sciweavers

2253 search results - page 1 / 451

» The ComFoRT Reasoning Framework

112

Voted

CAV
2005
Springer

114views Hardware» more CAV 2005»

The ComFoRT Reasoning Framework

15 years 10 months ago

Download www.sei.cmu.edu

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

claim paper

Read More »

160

Voted

AAAI
1996

157views Intelligent Agents» more AAAI 1996»

A Connectionist Framework for Reasoning: Reasoning with Examples

15 years 6 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 »

103

Voted

TIME
1999
IEEE

75views Automated Reasoning» more TIME 1999»

A Geometric Framework for Specifying Spatiotemporal Objects

15 years 9 months ago

Download cse.unl.edu

Jan Chomicki, Peter Z. Revesz

claim paper

Read More »

233

click to vote

CADE
1997
Springer

313views Logical Reasoning» more CADE 1997»

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

15 years 9 months ago

Download files.metaprl.org

Jason J. Hickey

claim paper

Read More »

105

Voted

KR
1994
Springer

86views Automated Reasoning» more KR 1994»

A Unified Framework for Class-Based Representation Formalisms

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers