Search Sciweavers | Sciweavers

579 search results - page 1 / 116

» Combined reasoning by automated cooperation

Voted

JAPLL
2008

62views more JAPLL 2008»

Combined reasoning by automated cooperation

14 years 10 months ago

Download www.cl.cam.ac.uk

Christoph Benzmüller, Volker Sorge, Mateja Ja...

claim paper

Read More »

click to vote

PPAM
2001
Springer

104views Distributed And Parallel Com...» more PPAM 2001»

Combining Parallel and Distributed Search in Automated Equational Deduction

15 years 2 months ago

Download www.carstensinz.de

We present an automated deduction system for equational reasoning combining two diﬀerent parallelization/distribution schemes: Strategy-compliant parallelization on the level of ...

Carsten Sinz, Jörg Denzinger, Jürgen Ave...

claim paper

Read More »

166

click to vote

ICCBR
2001
Springer

302views Automated Reasoning» more ICCBR 2001»

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

15 years 3 months ago

Download www.faculty.iu-bremen.de

Enric Plaza, Santiago Ontañón

claim paper

Read More »

click to vote

ICCBR
1997
Springer

111views Automated Reasoning» more ICCBR 1997»

Supporting Combined Human and Machine Planning: An Interface for Planning by Analogical Reasoning

15 years 2 months ago

Download reference.kfupm.edu.sa

Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...

Michael T. Cox, Manuela M. Veloso

claim paper

Read More »

click to vote

ICCBR
1999
Springer

122views Automated Reasoning» more ICCBR 1999»

Combining CBR with Interactive Knowledge Acquisition, Manipulation and Reuse

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers