Logic programming with temporal constraints

Combines logic programming and temporal constraint processing techniques in a language called TCLP (Temporal Constraint Logic Programming), which augments logic programs with temporal constraints. Known algorithms for processing disjunctions in temporal constraint networks are applied. We identify a...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Temporal Representation and Reasoning, 3rd Workshop On: Time 96 S. 51 - 56
Hauptverfasser: Schwalb, E., Vila, L.
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 1996
Schlagworte:
Artificial intelligence
Computational modeling
Computer science
Constraint theory
Logic programming
Proposals
Relational databases
ISBN:0818675284, 9780818675287
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract Combines logic programming and temporal constraint processing techniques in a language called TCLP (Temporal Constraint Logic Programming), which augments logic programs with temporal constraints. Known algorithms for processing disjunctions in temporal constraint networks are applied. We identify a decidable fragment called Simple TCLP, which can be viewed as extending Datalog with limited functions to accommodate intervals of occurrence and temporal constraints between them. Some of the restrictions introduced by Simple TCLP are overcome by a syntactic structure which provides it with the benefits of reification. The latter allows quantification on temporal occurrences and relation symbols.
AbstractList Combines logic programming and temporal constraint processing techniques in a language called TCLP (Temporal Constraint Logic Programming), which augments logic programs with temporal constraints. Known algorithms for processing disjunctions in temporal constraint networks are applied. We identify a decidable fragment called Simple TCLP, which can be viewed as extending Datalog with limited functions to accommodate intervals of occurrence and temporal constraints between them. Some of the restrictions introduced by Simple TCLP are overcome by a syntactic structure which provides it with the benefits of reification. The latter allows quantification on temporal occurrences and relation symbols.
Author Vila, L.
Schwalb, E.
Author_xml – sequence: 1
  givenname: E.
  surname: Schwalb
  fullname: Schwalb, E.
  organization: Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
– sequence: 2
  givenname: L.
  surname: Vila
  fullname: Vila, L.
BookMark eNotj89LwzAYQAM60P24i6fepTVf26TJUcacg4qX3keSfqmRNSlJQPzvFea7vNuDtya3Pngk5AFoBUDl83B6P1QgJa8YY7yTN2RNBQjesVq0d2SX0hf9gzEhaXtPnvowOVMsMUxRzbPzU_Ht8meRcV5CVJfCBJ9yVM7ntCUrqy4Jd__ekOH1MOzfyv7jeNq_9KUTMpcjWmOVYRZZw5FKgA5bPVrBxlqB1tRyXUOLjeSCa7ColKUajBWccSpFsyGP16xDxPMS3aziz_l60_wCBq1C4A
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/TIME.1996.555679
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Philosophy
Computer Science
EndPage 56
ExternalDocumentID 555679
GroupedDBID 6IE
6IK
6IL
AAJGR
AAWTH
ACGHX
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
OCL
RIE
RIL
ID FETCH-LOGICAL-i89t-defcfac5fe536e09117e4bdf85d2a1bb0f6b214e39686b1feaaf0b1cf86560983
IEDL.DBID RIE
ISBN 0818675284
9780818675287
IngestDate Tue Aug 26 17:31:57 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i89t-defcfac5fe536e09117e4bdf85d2a1bb0f6b214e39686b1feaaf0b1cf86560983
PageCount 6
ParticipantIDs ieee_primary_555679
PublicationCentury 1900
PublicationDate 19960000
PublicationDateYYYYMMDD 1996-01-01
PublicationDate_xml – year: 1996
  text: 19960000
PublicationDecade 1990
PublicationTitle Temporal Representation and Reasoning, 3rd Workshop On: Time 96
PublicationTitleAbbrev TIME
PublicationYear 1996
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000558904
Score 1.2510339
Snippet Combines logic programming and temporal constraint processing techniques in a language called TCLP (Temporal Constraint Logic Programming), which augments...
SourceID ieee
SourceType Publisher
StartPage 51
SubjectTerms Artificial intelligence
Computational modeling
Computer science
Constraint theory
Logic programming
Proposals
Relational databases
Title Logic programming with temporal constraints
URI https://ieeexplore.ieee.org/document/555679
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LawIxEB6q9ODJ1lr6Zg-9rmbdnWxyLkoLrXjw4E3ymIDQatFV6L_vJrtrKfTSWxJICBOSmczj-wAeJRmmEsfjkaXyg4KMxUqjiq00Li3N01KlBdaS13w6FYuFnNU426EWhohC8hkNfDPE8u3G7L2rbIiIPJctaOU5r0q1ju4UhigkywLCo8dow_LZrfF1mn7eRCmZHM5f3sa-UI8PqjV_casE1TLp_mtTZ9D_KdGLZkflcw4ntO5Bt-FoiOor24POrOEq-LoAT9C7MlGdk_VRToy8Hzaq8aneI-OtRU8aUez6MJ-M50_Pcc2WEK-ELGJLzjjlc8cw5VRaAUlOmbZOoB2pRGvmuB4lGaWSC64TR0o5phPjhIffkSK9hPZ6s6YriJzKHEdMbSpVliEqKo0CjlaYhBmdm2voeTEsPys8jGUlgZs_R2-hU-U5e6fFHbSL7Z7u4dQcitVu-xDO8BtPw5qE
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LTwIxEJ4omsgJRYxv9-B1oWW33fZsIBCBcNgDN9LHNCFRMLCY-O_d7gNj4sVb26RNM00703l8H8CzREMUdTzsW8w_KIyQUGmmQiuNi3LzNFdpBWvJJJnNxGIh5xXOdlELg4hF8hl2fbOI5duN2XtXWY8xxhN5DCeeOKsq1jo4VAhjQpK4wHj0KG0sf3grhJ26n9RxSiJ76Xg68KV6vFuu-otdpVAuw9a_tnUOnZ8ivWB-UD8XcITrNrRqloagurRtaM5rtoKvS_AUvSsTVFlZ7_nEwHtigwqh6i0w3l70tBHZrgPpcJC-jMKKLyFcCZmFFp1xymePsYhjbgfQBGNtnWC2r6jWxHHdpzFGkguuqUOlHNHUOOEBeKSIrqCx3qzxGgKnYscZi2wkVRwzpjA3CzizwlBidGJuoO3FsPwoETGWpQRu_xx9grNROp0sJ-PZ6x00y6xn78K4h0a23eMDnJrPbLXbPhbn-Q2PeJ3N
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=proceeding&rft.title=Temporal+Representation+and+Reasoning%2C+3rd+Workshop+On%3A+Time+96&rft.atitle=Logic+programming+with+temporal+constraints&rft.au=Schwalb%2C+E.&rft.au=Vila%2C+L.&rft.date=1996-01-01&rft.pub=IEEE&rft.isbn=9780818675287&rft.spage=51&rft.epage=56&rft_id=info:doi/10.1109%2FTIME.1996.555679&rft.externalDocID=555679
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818675287/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818675287/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818675287/sc.gif&client=summon&freeimage=true