Search dblp for Publications

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

 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics