Sciweavers

859 search results - page 17 / 172
» Abduction in Temporal Reasoning
Sort
View
DLOG
2009
13 years 6 months ago
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
Irma Sofia Espinosa Peraldi, Atila Kaya, Ralf M&ou...
CADE
2002
Springer
14 years 9 months ago
Temporal Logic for Proof-Carrying Code
Andrew Bernard, Peter Lee
AI
2008
Springer
13 years 9 months ago
What makes propositional abduction tractable
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...
Gustav Nordh, Bruno Zanuttini
AIIA
1999
Springer
14 years 1 months ago
An Implementation for Abductive Logic Agents
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesar...
EACL
1993
ACL Anthology
13 years 10 months ago
Abductive Explanation of Dialogue Misunderstandings
To respond to an utterance, a listener must interpret what others have said and why they have said it. Misunderstandings occur when agents differ in their beliefs about what has b...
Susan McRoy, Graeme Hirst