Characterising Deadlines in Temporal Modal Defeasible Logic

We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the following parameters: deontic operator, maintenance or achievement, presence or absence of sanctions, and persistence after the dea...

Full description

Saved in:
Bibliographic Details
Published inAI 2007: Advances in Artificial Intelligence Vol. 4830; pp. 486 - 496
Main Authors Governatori, Guido, Hulstijn, Joris, Riveret, Régis, Rotolo, Antonino
Format Book Chapter
LanguageEnglish
Published Germany Springer Berlin / Heidelberg 2007
Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Artificial intelligence
Data mining
Mathematical theory of computation
Online AccessGet full text
ISBN9783540769262
3540769269
ISSN0302-9743
1611-3349
DOI10.1007/978-3-540-76928-6_50

Cover

Abstract We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the following parameters: deontic operator, maintenance or achievement, presence or absence of sanctions, and persistence after the deadline. The deadline types are illustrated by a set of examples.
AbstractList We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the following parameters: deontic operator, maintenance or achievement, presence or absence of sanctions, and persistence after the deadline. The deadline types are illustrated by a set of examples.
Author Hulstijn, Joris
Rotolo, Antonino
Governatori, Guido
Riveret, Régis
Author_xml – sequence: 1
  givenname: Guido
  surname: Governatori
  fullname: Governatori, Guido
– sequence: 2
  givenname: Joris
  surname: Hulstijn
  fullname: Hulstijn, Joris
– sequence: 3
  givenname: Régis
  surname: Riveret
  fullname: Riveret, Régis
– sequence: 4
  givenname: Antonino
  surname: Rotolo
  fullname: Rotolo, Antonino
BookMark eNqNkMlOwzAURQ0URFv6ByzyAwYP8SRWqGWSitiUteU4z20gJCEO_4_TAmu8sKVrH-udO0OTpm0AoUtKrigh6toojTkWOcFKGqaxtIIcoRlPyT4Qx2hKJaWY89ycoEV6_3sn2QRNCScMG5XzMzSjKWZCaSrO0SLGN5IWH2E9RTfLneudH6CvYtVssxW4sq4aiFnVZBv46Nre1dlzW6Z9BQFcrIoasnW7rfwFOg2ujrD4Oefo9f5us3zE65eHp-XtGncsjYFdKTxIHxxh0pREOqoKygMrmC481Y4XyucuBEo54cEFRcAZKJlJmjoYweeIHf6NXZ9mhN4WbfseLSV27Momd8ttsrf7auzYVYLyA9T17ecXxMHCSHlohmTkd65LztFKplOB1OZaJEr8FxPCCG3IH_YNL6R7DA
ContentType Book Chapter
Copyright Springer-Verlag Berlin Heidelberg 2007
Copyright_xml – notice: Springer-Verlag Berlin Heidelberg 2007
DBID FFUUA
DEWEY 006.3
DOI 10.1007/978-3-540-76928-6_50
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Computer Science
EISBN 3540769285
9783540769286
EISSN 1611-3349
Editor Thornton, John
Orgun, Mehmet A
Editor_xml – sequence: 1
  fullname: Thornton, John
– sequence: 2
  fullname: Orgun, Mehmet A
EndPage 496
ExternalDocumentID EBC6283491_485_505
EBC5595890_485_505
GroupedDBID 0D6
0DA
0E8
2HV
38.
AABBV
AABFA
AAHDE
AAJYQ
AATVQ
AAUKK
ABBUY
ABBVZ
ABCYT
ABMNI
ABTMC
ACDTA
ACDUY
ACFGI
ADQVG
AEDXK
AEHEY
AEHWL
AEJLV
AEKFX
AETDV
AEZAY
AGNDD
AHMWK
AHNNE
ALMA_UNASSIGNED_HOLDINGS
ATJMZ
AZZ
BBABE
CZZ
FFUUA
IEZ
IV0
LZA
MA.
MW~
NUP
SBO
TPJZQ
TSXQS
Z5O
Z7R
Z7S
Z7U
Z7V
Z7W
Z7X
Z7Y
Z7Z
Z81
Z82
Z83
Z84
Z85
Z87
Z88
-DT
-GH
-~X
1SB
29L
2HA
5QI
875
AASHB
ACGFS
ADCXD
AEFIE
EJD
F5P
FEDTE
HVGLF
LAS
LDH
P2P
RNI
RSU
SVGTG
VI1
~02
ID FETCH-LOGICAL-p2030-ad5ce6cfa0269d06a17b13f2b28bc18a3b7c4aff11303faf70ea9ed299288f953
ISBN 9783540769262
3540769269
ISSN 0302-9743
IngestDate Wed Sep 17 04:27:29 EDT 2025
Tue Oct 21 09:32:27 EDT 2025
Tue Oct 21 00:53:01 EDT 2025
IsPeerReviewed false
IsScholarly false
LCCallNum Q334-342QA8.9-QA10.3
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-p2030-ad5ce6cfa0269d06a17b13f2b28bc18a3b7c4aff11303faf70ea9ed299288f953
OCLC 1076257815
1183958777
PQID EBC5595890_485_505
PageCount 11
ParticipantIDs springer_books_10_1007_978_3_540_76928_6_50
proquest_ebookcentralchapters_6283491_485_505
proquest_ebookcentralchapters_5595890_485_505
PublicationCentury 2000
PublicationDate 2007
PublicationDateYYYYMMDD 2007-01-01
PublicationDate_xml – year: 2007
  text: 2007
PublicationDecade 2000
PublicationPlace Germany
PublicationPlace_xml – name: Germany
– name: Berlin, Heidelberg
PublicationSeriesSubtitle Lecture Notes in Artificial Intelligence
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSubtitle 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings
PublicationTitle AI 2007: Advances in Artificial Intelligence
PublicationYear 2007
Publisher Springer Berlin / Heidelberg
Springer Berlin Heidelberg
Publisher_xml – name: Springer Berlin / Heidelberg
– name: Springer Berlin Heidelberg
SSID ssj0000316118
ssj0002792
Score 1.418581
Snippet We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines,...
SourceID springer
proquest
SourceType Publisher
StartPage 486
SubjectTerms Artificial intelligence
Data mining
Mathematical theory of computation
Title Characterising Deadlines in Temporal Modal Defeasible Logic
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=5595890&ppg=505
http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6283491&ppg=505
http://link.springer.com/10.1007/978-3-540-76928-6_50
Volume 4830
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8QwEA66IqgH3_gmB28S6TspntZ1ZRXxtIq3kKQpCLKuul789c6k7XZbF0QvpYS0pPna6Ty_IeTUwC_VSzPO0HpgUeArJowNmRUqM1EQmThz2Rb3yeAhun2Kn-ruba66ZKLPzdfcupL_oApjgCtWyf4B2elNYQDOAV84AsJwbCm_TTdrkV58g3SA3Hn2ikC-S23tvrvsn4JDo6bbnH01ejVJMzoKrgBmVDbd5cOCquoFm6ShRLS5VfDVvFhs7vtsGk4C3nISVE7Cs5JDCxnR5_FolX4gniCL4KyMjEQRPfkhcNs5FnipYIks2GSb_NaxFzcH3W-0f9kDqyYWqScjEUucNH5j2BYMw-dlj5RFsghL65Clbv_27nHqRAOJlICFVNbsuGWny1N3VvEYM_WS85bZsCxawXCnYww3yBrWnVAsCIGFb5IFO9oi61XXDVoK4S2yOkMhuU0ummDSKZj0eUQrMKkDk9ZgUgfmDnm47g97A1Y2xGDjAIQxU1lsbGJyBYZzmnmJ8rn2wzzQgdDGFyrU3EQqz31UTHKVc8-q1GagcQRC5Gkc7pLO6HVk9wg1YMYqMCW5Z0CPyQINZqvSoCxrDjajMvuEVdsiXdi-zBU2xSZ8yBZmv85PQI-NUr-ef1bttcTpH7LizwaQZCgBJOlAkgjSwR9Xc0hW6q_giHQm75_2GJTHiT4pX6Fv0p5oTA
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=AI+2007%3A+Advances+in+Artificial+Intelligence&rft.atitle=Characterising+Deadlines+in+Temporal+Modal+Defeasible+Logic&rft.date=2007-01-01&rft.pub=Springer+Berlin+%2F+Heidelberg&rft.isbn=9783540769262&rft.volume=4830&rft_id=info:doi/10.1007%2F978-3-540-76928-6_50&rft.externalDBID=505&rft.externalDocID=EBC5595890_485_505
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F5595890-l.jpg
http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F6283491-l.jpg