Temporal Extensions to Defeasible Logic

Governatori, Guido and Terenziani, Paolo (2007). Temporal Extensions to Defeasible Logic. In: Mehmet A. Orgun and John Thornton, Lecture Notes in computer Science: AI 2007: Advances in Artificial Intelligence. 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Queensland, (476-485). 2-6 December, 2007. doi:10.1007/978-3-540-76928-6_49

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
guido1.pdf guido1.pdf application/pdf 134.80KB 462

Author Governatori, Guido
Terenziani, Paolo
Title of paper Temporal Extensions to Defeasible Logic
Conference name 20th Australian Joint Conference on Artificial Intelligence
Conference location Gold Coast, Queensland
Conference dates 2-6 December, 2007
Proceedings title Lecture Notes in computer Science: AI 2007: Advances in Artificial Intelligence   Check publisher's open access policy
Journal name Ai 2007: Advances in Artificial Intelligence, Proceedings   Check publisher's open access policy
Place of Publication Heidelberg
Publisher Springer Berlin
Publication Year 2007
Sub-type Fully published paper
DOI 10.1007/978-3-540-76928-6_49
Open Access Status File (Author Post-print)
ISBN 978-3-540-76926-2
ISSN 0302-9743
Editor Mehmet A. Orgun
John Thornton
Volume 4830
Start page 476
End page 485
Total pages 10
Language eng
Abstract/Summary In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with durative facts, as well as with delays between the antecedent and the consequent of rules. We showed that the extended temporalised framework is suitable to model different types of causal relations which have been identified by the specialised literature. We also prove that the computational properties of the original logic are still retained by the extended approach.
Subjects 280200 Artificial Intelligence and Signal and Image Processing
Keyword temporal defeasible logic
Q-Index Code EX
Additional Notes Copyright (c) 2007 Springer-Verlag This is the author version of the paper. The original publication is available at www.springerlink.com

Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 6 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Tue, 18 Sep 2007, 13:41:41 EST by Guido Governatori