Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/reference/fai/fai3.bht:"
@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} }
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.