Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/series/fai:"
download as .bib file
@book{DBLP:reference/fai/3,
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/science/bookseries/15746526/3},
isbn = {978-0-444-52211-5},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/fai/3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/BaaderHS08,
author = {Franz Baader and
Ian Horrocks and
Ulrike Sattler},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Description Logics},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {135--179},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03003-9},
doi = {10.1016/S1574-6526(07)03003-9},
timestamp = {Mon, 06 Nov 2023 17:08:49 +0100},
biburl = {https://dblp.org/rec/reference/fai/BaaderHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/BalducciniBL08,
author = {Marcello Balduccini and
Chitta Baral and
Yuliya Lierler},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Knowledge Representation and Question Answering},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {779--819},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03020-9},
doi = {10.1016/S1574-6526(07)03020-9},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/BalducciniBL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/BrewkaNT08,
author = {Gerhard Brewka and
Ilkka Niemel{\"{a}} and
Miroslaw Truszczynski},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Nonmonotonic Reasoning},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {239--284},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03006-4},
doi = {10.1016/S1574-6526(07)03006-4},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/BrewkaNT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/CimattiPT08,
author = {Alessandro Cimatti and
Marco Pistore and
Paolo Traverso},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Automated Planning},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {841--867},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03022-2},
doi = {10.1016/S1574-6526(07)03022-2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/CimattiPT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/CohnR08,
author = {Anthony G. Cohn and
Jochen Renz},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Qualitative Spatial Representation and Reasoning},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {551--596},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03013-1},
doi = {10.1016/S1574-6526(07)03013-1},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/CohnR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Darwiche08,
author = {Adnan Darwiche},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Bayesian Networks},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {467--509},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03011-8},
doi = {10.1016/S1574-6526(07)03011-8},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Darwiche08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Davis08,
author = {Ernest Davis},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Physical Reasoning},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {597--620},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03014-3},
doi = {10.1016/S1574-6526(07)03014-3},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Davis08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/DohertyK08,
author = {Patrick Doherty and
Jonas Kvarnstr{\"{o}}m},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Temporal Action Logics},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {709--757},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03018-0},
doi = {10.1016/S1574-6526(07)03018-0},
timestamp = {Mon, 18 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/fai/DohertyK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Fisher08,
author = {Michael Fisher},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Temporal Representation and Reasoning},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {513--550},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03012-X},
doi = {10.1016/S1574-6526(07)03012-X},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/fai/Fisher08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Forbus08,
author = {Kenneth D. Forbus},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Qualitative Modeling},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {361--393},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03009-X},
doi = {10.1016/S1574-6526(07)03009-X},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Forbus08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Gelfond08,
author = {Michael Gelfond},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Answer Sets},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {285--316},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03007-6},
doi = {10.1016/S1574-6526(07)03007-6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Gelfond08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/GomesKSS08,
author = {Carla P. Gomes and
Henry A. Kautz and
Ashish Sabharwal and
Bart Selman},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Satisfiability Solvers},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {89--134},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03002-7},
doi = {10.1016/S1574-6526(07)03002-7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/fai/GomesKSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/HendlerH08,
author = {Jim Hendler and
Frank van Harmelen},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {The Semantic Web: Webizing Knowledge Representation},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {821--839},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03021-0},
doi = {10.1016/S1574-6526(07)03021-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/HendlerH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/HoekW08,
author = {Wiebe van der Hoek and
Michael J. Wooldridge},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Multi-Agent Systems},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {887--928},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03024-6},
doi = {10.1016/S1574-6526(07)03024-6},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/HoekW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/LevesqueL08,
author = {Hector J. Levesque and
Gerhard Lakemeyer},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Cognitive Robotics},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {869--886},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03023-4},
doi = {10.1016/S1574-6526(07)03023-4},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/LevesqueL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/LifschitzMP08,
author = {Vladimir Lifschitz and
Leora Morgenstern and
David A. Plaisted},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Knowledge Representation and Classical Logic},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {3--88},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03001-5},
doi = {10.1016/S1574-6526(07)03001-5},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/LifschitzMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Lin08,
author = {Fangzhen Lin},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Situation Calculus},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {649--669},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03016-7},
doi = {10.1016/S1574-6526(07)03016-7},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Lin08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Moses08,
author = {Yoram Moses},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Reasoning about Knowledge and Belief},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {621--647},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03015-5},
doi = {10.1016/S1574-6526(07)03015-5},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Moses08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Mueller08,
author = {Erik T. Mueller},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Event Calculus},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {671--708},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03017-9},
doi = {10.1016/S1574-6526(07)03017-9},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Mueller08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Peppas08,
author = {Pavlos Peppas},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Belief Revision},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {317--359},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03008-8},
doi = {10.1016/S1574-6526(07)03008-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/fai/Peppas08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/RossiBW08,
author = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Constraint Programming},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {181--211},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03004-0},
doi = {10.1016/S1574-6526(07)03004-0},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/fai/RossiBW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Schreiber08,
author = {Guus Schreiber},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Knowledge Engineering},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {929--946},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03025-8},
doi = {10.1016/S1574-6526(07)03025-8},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Schreiber08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Sowa08,
author = {John F. Sowa},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Conceptual Graphs},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {213--237},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03005-2},
doi = {10.1016/S1574-6526(07)03005-2},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Sowa08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Struss08,
author = {Peter Struss},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Model-based Problem Solving},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {395--465},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03010-6},
doi = {10.1016/S1574-6526(07)03010-6},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Struss08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Turner08,
author = {Hudson Turner},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Nonmonotonic Causal Logic},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {759--776},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03019-2},
doi = {10.1016/S1574-6526(07)03019-2},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Turner08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/X08,
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Preface},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03027-1},
doi = {10.1016/S1574-6526(07)03027-1},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/X08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/fai/2,
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/science/bookseries/15746526/2},
isbn = {978-0-444-52726-4},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/fai/2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/BackofenG06,
author = {Rolf Backofen and
David R. Gilbert},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Bioinformatics and Constraints},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {905--944},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80030-1},
doi = {10.1016/S1574-6526(06)80030-1},
timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},
biburl = {https://dblp.org/rec/reference/fai/BackofenG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/BaptisteLPN06,
author = {Philippe Baptiste and
Philippe Laborie and
Claude Le Pape and
Wim Nuijten},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Constraint-Based Scheduling and Planning},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {761--799},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80026-X},
doi = {10.1016/S1574-6526(06)80026-X},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/BaptisteLPN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Beek06,
author = {Peter van Beek},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Backtracking Search Algorithms},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {85--134},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80008-8},
doi = {10.1016/S1574-6526(06)80008-8},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Beek06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/BenhamouG06,
author = {Fr{\'{e}}d{\'{e}}ric Benhamou and
Laurent Granvilliers},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Continuous and Interval Constraints},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {571--603},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80020-9},
doi = {10.1016/S1574-6526(06)80020-9},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/BenhamouG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Bessiere06,
author = {Christian Bessiere},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Constraint Propagation},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {29--83},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80007-6},
doi = {10.1016/S1574-6526(06)80007-6},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Bessiere06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/BrownM06,
author = {Kenneth N. Brown and
Ian Miguel},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Uncertainty and Change},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {731--760},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80025-8},
doi = {10.1016/S1574-6526(06)80025-8},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/BrownM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/CohenJ06,
author = {David A. Cohen and
Peter Jeavons},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {The Complexity of Constraint Languages},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {245--280},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80012-X},
doi = {10.1016/S1574-6526(06)80012-X},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/CohenJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Dechter06,
author = {Rina Dechter},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Tractable Structures for Constraint Satisfaction Problems},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {209--244},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80011-8},
doi = {10.1016/S1574-6526(06)80011-8},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Dechter06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Faltings06,
author = {Boi Faltings},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Distributed Constraint Programming},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {699--729},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80024-6},
doi = {10.1016/S1574-6526(06)80024-6},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Faltings06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/FreuderM06,
author = {Eugene C. Freuder and
Alan K. Mackworth},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Constraint Satisfaction: An Emerging Paradigm},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {13--27},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80006-4},
doi = {10.1016/S1574-6526(06)80006-4},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/FreuderM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/FruhwirthMS06,
author = {Thom W. Fr{\"{u}}hwirth and
Laurent Michel and
Christian Schulte},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Constraints in Procedural and Concurrent Languages},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {453--494},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80017-9},
doi = {10.1016/S1574-6526(06)80017-9},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/fai/FruhwirthMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/GentPP06,
author = {Ian P. Gent and
Karen E. Petrie and
Jean{-}Fran{\c{c}}ois Puget},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Symmetry in Constraint Programming},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {329--376},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80014-3},
doi = {10.1016/S1574-6526(06)80014-3},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/GentPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Gervet06,
author = {Carmen Gervet},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Constraints over Structured Domains},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {605--638},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80021-0},
doi = {10.1016/S1574-6526(06)80021-0},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Gervet06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/GomesW06,
author = {Carla P. Gomes and
Toby Walsh},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Randomness and Structure},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {639--664},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80022-2},
doi = {10.1016/S1574-6526(06)80022-2},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/GomesW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/HoeveK06,
author = {Willem{-}Jan van Hoeve and
Irit Katriel},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Global Constraints},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {169--208},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80010-6},
doi = {10.1016/S1574-6526(06)80010-6},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/HoeveK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Hooker06,
author = {John N. Hooker},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Operations Research Methods in Constraint Programming},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {527--570},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80019-2},
doi = {10.1016/S1574-6526(06)80019-2},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Hooker06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/HoosT06,
author = {Holger H. Hoos and
Edward P. K. Tsang},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Local Search Methods},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {135--167},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80009-X},
doi = {10.1016/S1574-6526(06)80009-X},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/HoosT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Junker06,
author = {Ulrich Junker},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Configuration},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {837--873},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80028-3},
doi = {10.1016/S1574-6526(06)80028-3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Junker06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/KilbyS06,
author = {Philip Kilby and
Paul Shaw},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Vehicle Routing},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {801--836},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80027-1},
doi = {10.1016/S1574-6526(06)80027-1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/KilbyS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Koubarakis06,
author = {Manolis Koubarakis},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Temporal CSPs},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {665--697},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80023-4},
doi = {10.1016/S1574-6526(06)80023-4},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Koubarakis06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/MarriottSW06,
author = {Kim Marriott and
Peter J. Stuckey and
Mark Wallace},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Constraint Logic Programming},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {409--452},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80016-7},
doi = {10.1016/S1574-6526(06)80016-7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/MarriottSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/MeseguerRS06,
author = {Pedro Meseguer and
Francesca Rossi and
Thomas Schiex},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Soft Constraints},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {281--328},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80013-1},
doi = {10.1016/S1574-6526(06)80013-1},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/fai/MeseguerRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Montanari06,
author = {Ugo Montanari},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Foreword},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {v--vi},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80001-5},
doi = {10.1016/S1574-6526(06)80001-5},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Montanari06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/RossiBW06,
author = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Introduction},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {3--12},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80005-2},
doi = {10.1016/S1574-6526(06)80005-2},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/fai/RossiBW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/SchulteC06,
author = {Christian Schulte and
Mats Carlsson},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Finite Domain Constraint Programming Systems},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {495--526},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80018-0},
doi = {10.1016/S1574-6526(06)80018-0},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/fai/SchulteC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Simonis06,
author = {Helmut Simonis},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Constraint Applications in Networks},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {875--903},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80029-5},
doi = {10.1016/S1574-6526(06)80029-5},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Simonis06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Smith06,
author = {Barbara M. Smith},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Modelling},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {377--406},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80015-5},
doi = {10.1016/S1574-6526(06)80015-5},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/fai/Smith06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
a service of 
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.
retrieved on 2024-06-06 08:05 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
