Later: managing temporal information efficiently
The Later (LAyered TEmporal Reasoner) system is a general-purpose manager of temporal information which provides a high-level interface language. Later works as a specialized temporal module loosely coupled with other modules to deal with time in different tasks. The Later knowledge server operates...
Saved in:
Published in | IEEE expert Vol. 12; no. 4; pp. 56 - 64 |
---|---|
Main Authors | , , , |
Format | Journal Article |
Language | English |
Published |
IEEE
01.07.1997
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | The Later (LAyered TEmporal Reasoner) system is a general-purpose manager of temporal information which provides a high-level interface language. Later works as a specialized temporal module loosely coupled with other modules to deal with time in different tasks. The Later knowledge server operates as a cooperative agent for use by various problem solvers (or applications) that need to deal with time. Its clear, easy-to-use interface language lets users easily manipulate and query a temporal knowledge base. Later's predictable behavior means that temporal reasoning is correct and complete, and that reasoning is computationally tractable. Its query processing is efficient; in fact, query processing is the basis of the integration with other reasoning tasks. |
---|---|
AbstractList | Layered temporal reasoner (Later) is a general-purpose manager of temporal information and used as a specialized agent dealing with time. It provides an expressive language for manipulating and querying temporal information. Later's modular implementation enhances its extensibility to deal with domain-specific temporal features. The Later (LAyered TEmporal Reasoner) system is a general-purpose manager of temporal information which provides a high-level interface language. Later works as a specialized temporal module loosely coupled with other modules to deal with time in different tasks. The Later knowledge server operates as a cooperative agent for use by various problem solvers (or applications) that need to deal with time. Its clear, easy-to-use interface language lets users easily manipulate and query a temporal knowledge base. Later's predictable behavior means that temporal reasoning is correct and complete, and that reasoning is computationally tractable. Its query processing is efficient; in fact, query processing is the basis of the integration with other reasoning tasks. |
Author | Console, L. Brusoni, V. Pernid, B. Terenziani, P. |
Author_xml | – sequence: 1 givenname: V. surname: Brusoni fullname: Brusoni, V. organization: Torino Univ., Italy – sequence: 2 givenname: L. surname: Console fullname: Console, L. – sequence: 3 givenname: P. surname: Terenziani fullname: Terenziani, P. – sequence: 4 givenname: B. surname: Pernid fullname: Pernid, B. |
BookMark | eNqF0D1PwzAQBmALFYm2MLAyZUJiSLn445ywoYovqRILzJabnCujxCl2OvTfE5SKlel07z06nW7BZqEPxNh1AauigOoe5QqhLCp9xuZcaJlXEvSMzaEsVV4BwAVbpPQFUEipcc5gYweKD1lng935sMsG6vZ9tG3mg-tjZwffh4yc87WnMLTHS3bubJvo6lSX7PP56WP9mm_eX97Wj5u8FlAOubACGqcEdyiQtGjqBp2SW8dLJx0h12Mux6twbCuFfLuVtRxT1WCDyMWS3U5797H_PlAaTOdTTW1rA_WHZJSWQiuJ_0KOggsAOcK7CdaxTymSM_voOxuPpgDz-zyD0kzPG-3NZD0R_bnT8Ad6Kmnw |
CODEN | IEEXE7 |
CitedBy_id | crossref_primary_10_1016_j_eswa_2022_116565 crossref_primary_10_1080_09528130500412050 crossref_primary_10_1109_TKDE_2003_1185847 crossref_primary_10_1002_int_22369 crossref_primary_10_1016_S0004_3702_00_00055_2 crossref_primary_10_1109_69_824613 crossref_primary_10_1109_TKDE_2002_1047764 crossref_primary_10_1002_int_20366 crossref_primary_10_1016_S0004_3702_98_00044_7 crossref_primary_10_1016_j_artmed_2006_03_007 crossref_primary_10_1002_int_20030 |
Cites_doi | 10.1145/182.358434 10.1016/0004-3702(95)00109-3 10.1145/152947.152954 10.1016/0004-3702(91)90006-6 10.1109/69.542024 10.1016/0004-3702(95)00008-3 10.1016/0933-3657(91)90004-U 10.1111/j.1467-8640.1991.tb00388.x 10.1016/0004-3702(87)90061-0 10.1002/int.4550060403 10.1016/0004-3702(94)00016-T |
ContentType | Journal Article |
DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D E3H F2A |
DOI | 10.1109/64.608197 |
DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Library & Information Sciences Abstracts (LISA) Library & Information Science Abstracts (LISA) |
DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional Library and Information Science Abstracts (LISA) |
DatabaseTitleList | Computer and Information Systems Abstracts |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Computer Science |
EISSN | 2374-9407 |
EndPage | 64 |
ExternalDocumentID | 10_1109_64_608197 608197 |
GroupedDBID | -DZ -~X 0B8 0R~ 29I 3EH 4.4 41~ 5GY 6IK 9M8 AAJGR AAYOK ABJNI ABQJQ ABVLG ACGFS AFFNX AI. ALLEH ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 EJD HZ~ H~9 ICLAB IFIPE IFJZH IPLJI JAVBF LAI M43 O9- OCL RIE RIG RNS TN5 VH1 WH7 XFK ZCG AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D E3H F2A |
ID | FETCH-LOGICAL-c308t-3a30df532f636e73dcd6f54bf28f4fe62763640886f4f9562bb4c42765d6d6623 |
IEDL.DBID | RIE |
ISSN | 0885-9000 |
IngestDate | Fri Aug 16 09:10:56 EDT 2024 Fri Aug 16 22:37:03 EDT 2024 Mon Aug 26 01:33:06 EDT 2024 Wed Jun 26 19:28:46 EDT 2024 |
IsPeerReviewed | false |
IsScholarly | false |
Issue | 4 |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-c308t-3a30df532f636e73dcd6f54bf28f4fe62763640886f4f9562bb4c42765d6d6623 |
Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 ObjectType-Article-1 ObjectType-Feature-2 |
PQID | 26323004 |
PQPubID | 23500 |
PageCount | 9 |
ParticipantIDs | proquest_miscellaneous_26323004 crossref_primary_10_1109_64_608197 proquest_miscellaneous_57437546 ieee_primary_608197 |
PublicationCentury | 1900 |
PublicationDate | 1997-July-Aug. 1997-07-00 19970701 |
PublicationDateYYYYMMDD | 1997-07-01 |
PublicationDate_xml | – month: 07 year: 1997 text: 1997-July-Aug. |
PublicationDecade | 1990 |
PublicationTitle | IEEE expert |
PublicationTitleAbbrev | EX-M |
PublicationYear | 1997 |
Publisher | IEEE |
Publisher_xml | – name: IEEE |
References | bibx40565A bibx40567A bibx40568A koomen (bibx40563A) 1989 arthur (bibx40564A) 1992 (bibx40563) 1992 chandrasekaran (bibx40561) 1987 kautz (bibx40566A) 1991 brusoni (bibx405612) 1995 bibx40562B bibx40561A bibx40563B bibx40562A bibx40562 vilain (bibx40567) 1986 bibx40565 bibx40566 bibx40569 nejdl (bibx40564B) 1994 arthur (bibx40564) 1992 (bibx40561B) 1992 bibx405611 bibx405610 vilain (bibx40568) 1994 |
References_xml | – start-page: 241 year: 1991 ident: bibx40566A article-title: integrating metric and qualitative temporal reasoning publication-title: Proc AAAI Conf contributor: fullname: kautz – year: 1992 ident: bibx40564A article-title: temporal reasoning for planning and scheduling contributor: fullname: arthur – ident: bibx40566 doi: 10.1145/182.358434 – ident: bibx40565A doi: 10.1016/0004-3702(95)00109-3 – ident: bibx40562 doi: 10.1145/152947.152954 – year: 1992 ident: bibx40561B publication-title: Readings in Model-Based Diagnosis – start-page: 1183 year: 1987 ident: bibx40561 article-title: towards a functional architecture for intelligence based on generic information-processing tasks publication-title: Proc 10th Int l Joint Conf on AI contributor: fullname: chandrasekaran – start-page: 667 year: 1994 ident: bibx40568 article-title: a system for reasoning about time publication-title: Proc 12th European Conf AI contributor: fullname: vilain – ident: bibx405610 doi: 10.1016/0004-3702(91)90006-6 – ident: bibx40563B doi: 10.1109/69.542024 – ident: bibx405611 doi: 10.1016/0004-3702(95)00008-3 – start-page: 377 year: 1986 ident: bibx40567 article-title: constraint propagation algorithms for temporal reasoning publication-title: Proc AAAI Conf contributor: fullname: vilain – ident: bibx40568A doi: 10.1016/0933-3657(91)90004-U – ident: bibx40562B doi: 10.1111/j.1467-8640.1991.tb00388.x – year: 1992 ident: bibx40563 publication-title: Readings in Model-Based Diagnosis – start-page: 3 year: 1995 ident: bibx405612 article-title: extending temporal relational databases to deal with imprecise and qualitative temporal information publication-title: Proc Int l Workshop Temporal Databases contributor: fullname: brusoni – ident: bibx40562A doi: 10.1016/0004-3702(87)90061-0 – start-page: 667 year: 1994 ident: bibx40564B article-title: harnessing the power of temporal abstractions in model-based diagnosis of dynamic systems publication-title: Proc 11th ECAI contributor: fullname: nejdl – ident: bibx40567A doi: 10.1145/152947.152954 – year: 1989 ident: bibx40563A publication-title: The Timelogic Temporal Reasoning System contributor: fullname: koomen – year: 1992 ident: bibx40564 article-title: temporal reasoning for planning and scheduling contributor: fullname: arthur – ident: bibx40561A doi: 10.1002/int.4550060403 – ident: bibx40565 doi: 10.1016/0004-3702(94)00016-T – ident: bibx40569 doi: 10.1016/0933-3657(91)90004-U |
SSID | ssj0014476 |
Score | 1.3382479 |
Snippet | The Later (LAyered TEmporal Reasoner) system is a general-purpose manager of temporal information which provides a high-level interface language. Later works... Layered temporal reasoner (Later) is a general-purpose manager of temporal information and used as a specialized agent dealing with time. It provides an... |
SourceID | proquest crossref ieee |
SourceType | Aggregation Database Publisher |
StartPage | 56 |
SubjectTerms | Artificial intelligence Computer architecture Computer interfaces Concrete High level languages Information management Knowledge based systems Later Problem-solving Query processing Temporal information |
Title | Later: managing temporal information efficiently |
URI | https://ieeexplore.ieee.org/document/608197 https://search.proquest.com/docview/26323004 https://search.proquest.com/docview/57437546 |
Volume | 12 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwELZoJxYKBUR5Rog1aR72OWFDiKpCwESlblGcnBdKitpkgF_P2Ukq8ZLYEst56HIvx3ffx9hVojLDUmSqp7R2OSB3MzIpF4NQavKFSgjTnPz4BNMZv5-LeYuzbXthENEWn6FnDu1efrHMa_OrbAwmfske68kkaVq1NhsGnFseObIZ4RoezBZEKPCTMXCvufBL6LFcKj8csI0qk0HTrr22YISmmOTFqyvl5R_foBr_-cK7bKfNLp2bRh322BaWQzbomBuc1pD3mf9AKebq2nltWYqcFqFq4bRAquZzOWjhJegJi_cDNpvcPd9O3ZY7wc0jP67cKIv8Qoso1BAByqjIC9CCKx3GmmuEkPwKcBIX0CmtkUKleM5pVBRQAOVEh6xfLks8Yo7KUWZACx0dKh5IjMHPYgykFEJRwqZG7LITa_rWQGSkdmnhJynwtJHBiA2NeDYTutGLTv4pqbXZq8hKXNbr1MDIGzCwv2cIyn2k4HD8651P2HYDNGsKa09Zv1rVeEbpQ6XOreJ8AhvHws8 |
link.rule.ids | 315,783,787,799,27936,27937,55086 |
linkProvider | IEEE |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwELagDLBQKCDKqxFiTZom9jllQ4iqQNuplbpFcWIvlBS1yQC_nrPjVOIlsSWW89Dlzv4c330fITd9kWiVIp09pZRLQVI3wZByZS_gCsdCwZguTh5PYDijT3M2tzzbphZGSmmSz6SnD81efrZMS_2rrAt6_uLbZAdhdQRVsdZmy4BSoySHUcNcrYRpaYR6fr8L1Ksu_TL5GDWVH0OwmVcGzapge23oCHU6yYtXFsJLP76RNf7zlQ_IvsWXzl3lEIdkS-Yt0qy1GxwbykfEHyHIXN06r1anyLEcVQvHUqnqD-ZIQzCBT1i8H5PZ4GF6P3SteoKbhn5UuGES-pliYaAgBMnDLM1AMSpUECmqJAQ4sgBFcwGe4iopEIKmFFtZBhkgKjohjXyZy1PiiFTyBHCpowJBe1xG4CeR7HHOmEDIJtrkujZr_FaRZMRmceH3Y6BxZYM2aWnzbDrUrZ3a_jE6tt6tSHK5LNexJpLXdGB_92CIfjijcPbrnTtkdzgdj-LR4-T5nOxVtLM6zfaCNIpVKS8RTBTiyjjRJ3XLxho |
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%3Ajournal&rft.genre=article&rft.atitle=Later%3A+managing+temporal+information+efficiently&rft.jtitle=IEEE+expert&rft.au=Brusoni%2C+V&rft.au=Console%2C+L&rft.au=Ternziani%2C+P&rft.au=Pernici%2C+B&rft.date=1997-07-01&rft.issn=0885-9000&rft.volume=12&rft.issue=4&rft.spage=56&rft.epage=64&rft_id=info:doi/10.1109%2F64.608197&rft.externalDBID=NO_FULL_TEXT |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0885-9000&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0885-9000&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0885-9000&client=summon |