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

Research output: Contribution to conference › Paper › 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.

Original language	English
Pages	28-30
Number of pages	3
Publication status	Published - 1997
Externally published	Yes
Event	Proceedings of the 1997 4th International Workshop on Temporal Representation and Reasoning - Daytona Beach, FL, USA Duration: 10 May 1997 → 11 May 1997

Conference

Conference	Proceedings of the 1997 4th International Workshop on Temporal Representation and Reasoning
City	Daytona Beach, FL, USA
Period	10/05/97 → 11/05/97

Cite this

@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 - https://www.scopus.com/pages/publications/0031315598

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

Conference

Other files and links

Fingerprint

Cite this