Efficient algorithm for temporal abduction

Vittorio Brusoni; Luca Console; Paolo Terenziani; Daniele Theseider Dupre

Efficient algorithm for temporal abduction

Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupre

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

Abstract

Abduction is the process of generating explanations for an observation, starting from a domain theory. An extension of the classical definition of abduction is presented to deal with temporal knowledge in both theory and observations. This form of abduction is the basis of many problem solving activities such as temporal diagnosis and reasoning about actions and events.

Lingua originale	Inglese
Pagine	28-30
Numero di pagine	3
Stato di pubblicazione	Pubblicato - 1997
Pubblicato esternamente	Sì
Evento	Proceedings of the 1997 4th International Workshop on Temporal Representation and Reasoning - Daytona Beach, FL, USA Durata: 10 mag 1997 → 11 mag 1997

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	Proceedings of the 1997 4th International Workshop on Temporal Representation and Reasoning
Città	Daytona Beach, FL, USA
Periodo	10/05/97 → 11/05/97

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@conference{50bfdd0ce8c046f89189760eeb5c5e9f,

title = "Efficient algorithm for temporal abduction",

abstract = "Abduction is the process of generating explanations for an observation, starting from a domain theory. An extension of the classical definition of abduction is presented to deal with temporal knowledge in both theory and observations. This form of abduction is the basis of many problem solving activities such as temporal diagnosis and reasoning about actions and events.",

author = "Vittorio Brusoni and Luca Console and Paolo Terenziani and Dupre, {Daniele Theseider}",

year = "1997",

language = "English",

pages = "28--30",

note = "Proceedings of the 1997 4th International Workshop on Temporal Representation and Reasoning ; Conference date: 10-05-1997 Through 11-05-1997",

}

TY - CONF

T1 - Efficient algorithm for temporal abduction

AU - Brusoni, Vittorio

AU - Console, Luca

AU - Terenziani, Paolo

AU - Dupre, Daniele Theseider

PY - 1997

Y1 - 1997

N2 - Abduction is the process of generating explanations for an observation, starting from a domain theory. An extension of the classical definition of abduction is presented to deal with temporal knowledge in both theory and observations. This form of abduction is the basis of many problem solving activities such as temporal diagnosis and reasoning about actions and events.

AB - Abduction is the process of generating explanations for an observation, starting from a domain theory. An extension of the classical definition of abduction is presented to deal with temporal knowledge in both theory and observations. This form of abduction is the basis of many problem solving activities such as temporal diagnosis and reasoning about actions and events.

UR - http://www.scopus.com/inward/record.url?scp=0031315598&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0031315598

SP - 28

EP - 30

T2 - Proceedings of the 1997 4th International Workshop on Temporal Representation and Reasoning

Y2 - 10 May 1997 through 11 May 1997

ER -

Efficient algorithm for temporal abduction

Abstract

???event.eventtypes.event.conference???

Altri file e collegamenti

Fingerprint

Cita questo