Sciweavers

1218 search results - page 60 / 244
» Intelligent Resource Director
Sort
View
ATAL
2004
Springer
15 years 6 months ago
A Complete and Decidable Logic for Resource-Bounded Agents
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
Natasha Alechina, Brian Logan, Mark Whitsey
KR
2004
Springer
15 years 6 months ago
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
Volker Haarslev, Ralf Möller
NMR
2004
Springer
15 years 6 months ago
A resource bounded default logic
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
Gregory R. Wheeler
LREC
2008
74views Education» more  LREC 2008»
15 years 2 months ago
Tapping Huge Temporally Indexed Textual Resources with WCTAnalyze
WCTAnalyze is a tool for storing, accessing and visually analyzing huge collections of temporally indexed data. It is motivated by applications in media analysis, business intelli...
Sebastian Gottwald, Matthias Richter, Gerhard Heye...
TKDE
1998
117views more  TKDE 1998»
15 years 1 months ago
Data Resource Selection in Distributed Visual Information Systems
With the increasing number of geographical image databases on the Internet, it is a very important issue to know about the most relevant image databases for given user queries, in...
Wendy Chang, Gholamhosein Sheikholeslami, Jia Wang...