Sciweavers

558 search results - page 77 / 112
» Conversational Case-Based Reasoning
Sort
View
LICS
2006
IEEE
15 years 8 months ago
Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
Olivier Laurent, Lorenzo Tortora de Falco
ER
2008
Springer
91views Database» more  ER 2008»
15 years 3 months ago
Model Driven Specification of Ontology Translations
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
Fernando Silva Parreiras, Steffen Staab, Simon Sch...
ATAL
2007
Springer
15 years 8 months ago
Executing multi-robot cases through a single coordinator
It is challenging to design general robot soccer coordination behaviors that address individual states. We have successfully followed a case-based approach to define behaviors fo...
Raquel Ros, Manuela M. Veloso
IUI
2005
ACM
15 years 7 months ago
ComicKit: acquiring story scripts using common sense feedback
At the Media Lab we are developing a resource called StoryNet, a very-large database of story scripts that can be used for commonsense reasoning by computers. This paper introduce...
Ryan Williams 0002, Barbara Barry, Push Singh
EWCBR
2004
Springer
15 years 7 months ago
Development of CBR-BDI Agents: A Tourist Guide Application
In this paper we present an agent-based application of a wireless tourist guide that combines the Beliefs-Desires-Intentions approach with learning capabilities of Case Base Reason...
Juan M. Corchado, Juan Pavón, Emilio Corcha...