Search dblp for Publications

export results for "toc:db/reference/fai/fai1.bht:"

 download as .bib file

@book{DBLP:reference/fai/1,
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {http://cgi.csc.liv.ac.uk/\&\#126;michael/handbook.html},
  isbn         = {978-0-444-51493-6},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/reference/fai/1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/ArtaleF05,
  author       = {Alessandro Artale and
                  Enrico Franconi},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Temporal Description Logics},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {375--388},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80014-8},
  doi          = {10.1016/S1574-6526(05)80014-8},
  timestamp    = {Mon, 06 Nov 2023 17:08:49 +0100},
  biburl       = {https://dblp.org/rec/reference/fai/ArtaleF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/BaralG05,
  author       = {Chitta Baral and
                  Michael Gelfond},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Logic Programming and Reasoning about Actions},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {389--426},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80015-X},
  doi          = {10.1016/S1574-6526(05)80015-X},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/fai/BaralG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/BarringerG05,
  author       = {Howard Barringer and
                  Dov M. Gabbay},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Modal Varieties of Temporal Logic},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {119--165},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80006-9},
  doi          = {10.1016/S1574-6526(05)80006-9},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/fai/BarringerG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/ChomickiT05,
  author       = {Jan Chomicki and
                  David Toman},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Temporal Databases},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {429--467},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80016-1},
  doi          = {10.1016/S1574-6526(05)80016-1},
  timestamp    = {Sat, 05 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/reference/fai/ChomickiT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/ClancyK05,
  author       = {Dan Clancy and
                  Benjamin Kuipers},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Time in Qualitative Simulation},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {655--664},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80022-7},
  doi          = {10.1016/S1574-6526(05)80022-7},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/fai/ClancyK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/DeneckerB05,
  author       = {Marc Denecker and
                  Kristof Van Belleghem},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Temporal Reasoning with iff-Abduction},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {343--373},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80013-6},
  doi          = {10.1016/S1574-6526(05)80013-6},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/reference/fai/DeneckerB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/DrakengrenJ05,
  author       = {Thomas Drakengren and
                  Peter Jonsson},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Computational Complexity of Temporal Constraint Problems},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {197--218},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80008-2},
  doi          = {10.1016/S1574-6526(05)80008-2},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/fai/DrakengrenJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/EuzenatM05,
  author       = {J{\'{e}}r{\^{o}}me Euzenat and
                  Angelo Montanari},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Time Granularity},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {59--118},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80005-7},
  doi          = {10.1016/S1574-6526(05)80005-7},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/fai/EuzenatM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/FisherW05,
  author       = {Michael Fisher and
                  Michael J. Wooldridge},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Temporal Reasoning in Agent-Based Systems},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {469--495},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80017-3},
  doi          = {10.1016/S1574-6526(05)80017-3},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/reference/fai/FisherW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/FoxL05,
  author       = {Maria Fox and
                  Derek Long},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Time in Planning},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {497--536},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80018-5},
  doi          = {10.1016/S1574-6526(05)80018-5},
  timestamp    = {Tue, 02 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/reference/fai/FoxL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/Galton05,
  author       = {Antony Galton},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Eventualities},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {25--58},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80004-5},
  doi          = {10.1016/S1574-6526(05)80004-5},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/reference/fai/Galton05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/Gerevini05,
  author       = {Alfonso Gerevini},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Processing Qualitative Temporal Constraints},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {247--276},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80010-0},
  doi          = {10.1016/S1574-6526(05)80010-0},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/fai/Gerevini05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/HanksM05,
  author       = {Steve Hanks and
                  David Madigan},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Probabilistic Temporal Reasoning},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {315--342},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80012-4},
  doi          = {10.1016/S1574-6526(05)80012-4},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/fai/HanksM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/KeravnouS05,
  author       = {Elpida Keravnou and
                  Yuval Shahar},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Temporal Reasoning in Medicine},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {587--653},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80021-5},
  doi          = {10.1016/S1574-6526(05)80021-5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/fai/KeravnouS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/Koubarakis05,
  author       = {Manolis Koubarakis},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Indefinite Constraint Databases with Temporal Information: Representational
                  Power and Computational Complexity},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {219--245},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80009-4},
  doi          = {10.1016/S1574-6526(05)80009-4},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/fai/Koubarakis05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/Meulen05,
  author       = {Alice ter Meulen},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Temporal Reasoning in Natural Language},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {559--585},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80020-3},
  doi          = {10.1016/S1574-6526(05)80020-3},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/fai/Meulen05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/ReichgeltV05,
  author       = {Han Reichgelt and
                  Llu{\'{\i}}s Vila},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Temporal Qualification in Artificial Intelligence},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {167--194},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80007-0},
  doi          = {10.1016/S1574-6526(05)80007-0},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/fai/ReichgeltV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/ReynoldsD05,
  author       = {Mark Reynolds and
                  Clare Dixon},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Theorem-Proving for Discrete Temporal Logic},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {279--313},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80011-2},
  doi          = {10.1016/S1574-6526(05)80011-2},
  timestamp    = {Mon, 05 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/fai/ReynoldsD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/Vila05,
  author       = {Llu{\'{\i}}s Vila},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Formal Theories of Time and Temporal Incidence},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {1--24},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80003-3},
  doi          = {10.1016/S1574-6526(05)80003-3},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/fai/Vila05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/VilaY05,
  author       = {Llu{\'{\i}}s Vila and
                  Hajime Yoshino},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Time in Automated Legal Reasoning},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {537--557},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80019-7},
  doi          = {10.1016/S1574-6526(05)80019-7},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/reference/fai/VilaY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/fai/X05,
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Bibliography},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {665--722},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {http://cgi.csc.liv.ac.uk/\&\#126;michael/bibliography.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/reference/fai/X05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.