Search Sciweavers | Sciweavers

11436 search results - page 21 / 2288

» Modeling Real Reasoning

128

click to vote

AAAI
1996

157views Intelligent Agents» more AAAI 1996»

A Connectionist Framework for Reasoning: Reasoning with Examples

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

FLOPS
2008
Springer

86views Automated Reasoning» more FLOPS 2008»

Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

15 years 3 months ago

Download www.iam.unibe.ch

Torsten Schaub

claim paper

Read More »

104

click to vote

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 3 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

click to vote

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

15 years 3 months ago

Download www.inf.unibz.it

Diego Calvanese

claim paper

Read More »

123

Voted

CADE
2006
Springer

192views Logical Reasoning» more CADE 2006»

Formal Global Optimisation with Taylor Models

16 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers