Sciweavers

579 search results - page 5 / 116
» Combined reasoning by automated cooperation
Sort
View
DLOG
2001
13 years 10 months ago
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
Volker Haarslev, Martina Timmann, Ralf Möller
KR
2004
Springer
14 years 1 months ago
Combining Answer Set Programming with Description Logics for the Semantic Web
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...
NMR
2004
Springer
14 years 1 months ago
Combining individually inconsistent prioritized knowledge bases
Guilin Qi, Weiru Liu, David H. Glass
GIS
2008
ACM
13 years 8 months ago
An initial formal model for spatial data infrastructures
Jan Hjelmager, Harold Moellering, Antony Cooper, T...
EWCBR
2008
Springer
13 years 10 months ago
Recognizing the Enemy: Combining Reinforcement Learning with Strategy Selection Using Case-Based Reasoning
This paper presents CBRetaliate, an agent that combines Case-Based Reasoning (CBR) and Reinforcement Learning (RL) algorithms. Unlike most previous work where RL is used to improve...
Bryan Auslander, Stephen Lee-Urban, Chad Hogg, H&e...