Search Sciweavers | Sciweavers

579 search results - page 3 / 116

» Combined reasoning by automated cooperation

190

click to vote

IJCAI
1997

100views Artificial Intelligence» more IJCAI 1997»

High Performance ATP Systems by Combining Several AI Methods

15 years 7 months ago

Download dli.iiit.ac.in

We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...

Jörg Denzinger, Marc Fuchs, Matthias Fuchs

claim paper

Read More »

130

click to vote

DLOG
2007

100views Automated Reasoning» more DLOG 2007»

Combining Two Formalism for Reasoning about Concepts

15 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Nikolay V. Shilov, Igor S. Anureev, Natalya Olegov...

claim paper

Read More »

125

click to vote

KR
2010
Springer

273views Automated Reasoning» more KR 2010»

The Combined Approach to Query Answering in DL-Lite

15 years 10 months ago

Download www.dcs.bbk.ac.uk

Roman Kontchakov, Carsten Lutz, David Toman, Frank...

claim paper

Read More »

109

click to vote

GIS
1999
ACM

103views Automated Reasoning» more GIS 1999»

Cartographic Generalization as a Combination of Representing and Abstracting Knowledge

15 years 10 months ago

Download www-poleia.lip6.fr

Sébastien Mustière, Jean-Daniel Zuck...

claim paper

Read More »

107

click to vote

DLOG
2009

106views Automated Reasoning» more DLOG 2009»

Combined FO Rewritability for Conjunctive Query Answering in DL-Lite

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers