@article{DBLP:journals/jair/ArtaleF98,
  author    = {Alessandro Artale and
               Enrico Franconi},
  title     = {A Temporal Description Logic for Reasoning about Actions and Plans},
  journal   = {J. Artif. Intell. Res.},
  volume    = {9},
  pages     = {463--506},
  year      = {1998},
  url       = {https://doi.org/10.1613/jair.516},
  doi       = {10.1613/jair.516},
  timestamp = {Wed, 21 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jair/ArtaleF98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"wfQeRuPfwdyGFrrkW","bibbaseid":"artale-franconi-atemporaldescriptionlogicforreasoningaboutactionsandplans-1998","downloads":0,"creationDate":"2018-04-18T07:27:23.874Z","title":"A Temporal Description Logic for Reasoning about Actions and Plans","author_short":["Artale, A.","Franconi, E."],"year":1998,"bibtype":"article","biburl":"http://dblp.org/pid/f/EnricoFranconi.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Artale"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Franconi"],"suffixes":[]}],"title":"A Temporal Description Logic for Reasoning about Actions and Plans","journal":"J. Artif. Intell. Res.","volume":"9","pages":"463--506","year":"1998","url":"https://doi.org/10.1613/jair.516","doi":"10.1613/jair.516","timestamp":"Wed, 21 Jun 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/jair/ArtaleF98","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jair/ArtaleF98,\n author = {Alessandro Artale and\n Enrico Franconi},\n title = {A Temporal Description Logic for Reasoning about Actions and Plans},\n journal = {J. Artif. Intell. Res.},\n volume = {9},\n pages = {463--506},\n year = {1998},\n url = {https://doi.org/10.1613/jair.516},\n doi = {10.1613/jair.516},\n timestamp = {Wed, 21 Jun 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/jair/ArtaleF98},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Artale, A.","Franconi, E."],"key":"DBLP:journals/jair/ArtaleF98","id":"DBLP:journals/jair/ArtaleF98","bibbaseid":"artale-franconi-atemporaldescriptionlogicforreasoningaboutactionsandplans-1998","role":"author","urls":{"Paper":"https://doi.org/10.1613/jair.516"},"downloads":0},"search_terms":["temporal","description","logic","reasoning","actions","plans","artale","franconi"],"keywords":[],"authorIDs":[],"dataSources":["EP6fb9MDGtmLXKt7F"]}