Sciweavers

4552 search results - page 1 / 911

» Automated Reasoning

4

GIS
2000
ACM

83views Automated Reasoning» more GIS 2000»

Reviewer Acknowledgments

1 years 5 months ago

Reviewer Acknowledgments

Download www.stfm.org

claim paper

Read More »

3

ECSQARU
1997
Springer

80views Automated Reasoning» more ECSQARU 1997»

A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning

1 years 9 months ago

A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning

Download www.few.vu.nl

Joeri Engelfriet, Jan Treur

claim paper

Read More »

3

DLOG
2006

84views Automated Reasoning» more DLOG 2006»

Automated Benchmarking of Description Logic Reasoners

1 years 7 months ago

Automated Benchmarking of Description Logic Reasoners

Download www.comlab.ox.ac.uk

Tom Gardiner, Ian Horrocks, Dmitry Tsarkov

claim paper

Read More »

4

ICCBR
2001
Springer

79views Automated Reasoning» more ICCBR 2001»

The Conflict Graph for Maintaining Case-Based Reasoning Systems

1 years 10 months ago

The Conflict Graph for Maintaining Case-Based Reasoning Systems

Download www.iglezakis.net

Ioannis Iglezakis

claim paper

Read More »

5

ICCBR
2001
Springer

64views Automated Reasoning» more ICCBR 2001»

Ensemble Case-Based Reasoning: Collaboration Policies for Multiagent Cooperative CBR

1 years 10 months ago

Ensemble Case-Based Reasoning: Collaboration Policies for Multiagent Cooperative CBR

Download www.faculty.iu-bremen.de

Enric Plaza, Santiago Ontañón

claim paper

Read More »

« Prev « First page 1 / 911 Last » Next »

Spread the Word