default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/jelia/jelia98.bht:"
download as .bib file
@inproceedings{DBLP:conf/jelia/Bonacina98,
author = {Maria Paola Bonacina},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Analysis of Distributed-Search Contraction-Based Strategies},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {107--121},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_8},
doi = {10.1007/3-540-49545-2\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Bonacina98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BryT98,
author = {Fran{\c{c}}ois Bry and
Sunna Torge},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {A Deduction Method Complete for Refutation and Finite Satisfiability},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {122--138},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_9},
doi = {10.1007/3-540-49545-2\_9},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BryT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CadoliPS98,
author = {Marco Cadoli and
Luigi Palopoli and
Francesco Scarcello},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Propositional Lower Bounds: Generalization and Algorithms},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {355--367},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_24},
doi = {10.1007/3-540-49545-2\_24},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/CadoliPS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DawsonG98,
author = {Jeremy E. Dawson and
Rajeev Gor{\'{e}}},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {A Mechanised Proof System for Relation Algebra using Display Logic},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {264--278},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_18},
doi = {10.1007/3-540-49545-2\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/DawsonG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DellAcquaST98,
author = {Pierangelo Dell'Acqua and
Fariba Sadri and
Francesca Toni},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Combining Introspection and Communication with Rationality and Reactivity
in Agents},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {17--32},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_2},
doi = {10.1007/3-540-49545-2\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/DellAcquaST98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DemriK98,
author = {St{\'{e}}phane Demri and
Beata Konikowska},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Relative Similarity Logics are Decidable: Reduction to FO\({}^{\mbox{2}}\)
with Equality},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {279--293},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_19},
doi = {10.1007/3-540-49545-2\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/DemriK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Denecker98,
author = {Marc Denecker},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {The Well-Founded Semantics Is the Principle of Inductive Definition},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {1--16},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_1},
doi = {10.1007/3-540-49545-2\_1},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Denecker98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Fuchs98,
author = {Dirk Fuchs},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Requirement-Based Cooperative Theorem Proving},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {139--153},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_10},
doi = {10.1007/3-540-49545-2\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Fuchs98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GiordanoGO98,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {A Conditional Logic for Belief Revision},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {294--308},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_20},
doi = {10.1007/3-540-49545-2\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/GiordanoGO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GuzmanOV98,
author = {Inman P. de Guzm{\'{a}}n and
Manuel Ojeda{-}Aciego and
Agust{\'{\i}}n Valverde},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Implicates and Reduction Techniques for Temporal Logics},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {309--323},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_21},
doi = {10.1007/3-540-49545-2\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/GuzmanOV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HoekJT98,
author = {Wiebe van der Hoek and
Jan Jaspars and
Elias Thijsse},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Persistence and Minimality in Epistemic Logic},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {62--76},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_5},
doi = {10.1007/3-540-49545-2\_5},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/HoekJT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Janhunen98,
author = {Tomi Janhunen},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {On the Intertranslatability of Autoepistemic, Default and Priority
Logics, and Parallel Circumscription},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {216--232},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_15},
doi = {10.1007/3-540-49545-2\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Janhunen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Kerber98,
author = {Manfred Kerber},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {On Knowledge, Strings, and Paradoxes},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {342--354},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_23},
doi = {10.1007/3-540-49545-2\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Kerber98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Koriche98,
author = {Fr{\'{e}}d{\'{e}}ric Koriche},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {A Logic for Anytime Deduction and Anytime Compilation},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {324--341},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_22},
doi = {10.1007/3-540-49545-2\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Koriche98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LeachLMR98,
author = {Sonia M. Leach and
James J. Lu and
Neil V. Murray and
Erik Rosenthal},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {154--168},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_11},
doi = {10.1007/3-540-49545-2\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LeachLMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LinkeS98,
author = {Thomas Linke and
Torsten Schaub},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {An Approach to Query-Answering in Reiter's Default Logic and the Underlying
Existence of Extensions Problem},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {233--247},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_16},
doi = {10.1007/3-540-49545-2\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LinkeS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LuF98,
author = {Wenjin Lu and
Ulrich Furbach},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Disjunctive Logic Program = Horn Program + Control Program},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {33--46},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_3},
doi = {10.1007/3-540-49545-2\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LuF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LuHH98,
author = {Jianguo Lu and
Masateru Harao and
Masami Hagiya},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Higher Order Generalization},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {368--381},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_25},
doi = {10.1007/3-540-49545-2\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LuHH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MantelK98,
author = {Heiko Mantel and
Christoph Kreitz},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {A Matrix Characterization for {MELL}},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {169--183},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_12},
doi = {10.1007/3-540-49545-2\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MantelK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MonzR98,
author = {Christof Monz and
Maarten de Rijke},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {A Resolution Calculus for Dynamic Semantics},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {184--198},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_13},
doi = {10.1007/3-540-49545-2\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MonzR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Osorio98,
author = {Mauricio Osorio},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Semantics of Partial-Order Programs},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {47--61},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_4},
doi = {10.1007/3-540-49545-2\_4},
timestamp = {Fri, 29 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Osorio98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Pichler98,
author = {Reinhard Pichler},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Algorithms on Atomic Representations of Herbrand Models},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {199--215},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_14},
doi = {10.1007/3-540-49545-2\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Pichler98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Sandewall98,
author = {Erik Sandewall},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {The Logical Characterization of Goal-Directed Behavior in the Presence
of Exogenous Events},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {382--384},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_26},
doi = {10.1007/3-540-49545-2\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Sandewall98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Tarau98,
author = {Paul Tarau},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Towards Inference and Computation Mobility: The Jinni Experiment},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {385--390},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_27},
doi = {10.1007/3-540-49545-2\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Tarau98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Thielscher98,
author = {Michael Thielscher},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Towards State Update Axioms: Reifying Successor State Axioms},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {248--263},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_17},
doi = {10.1007/3-540-49545-2\_17},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Thielscher98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Torre98,
author = {Leendert W. N. van der Torre},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Phased Labeled Logics of Conditional Goals},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {92--106},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_7},
doi = {10.1007/3-540-49545-2\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Torre98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/TorreT98,
author = {Leendert W. N. van der Torre and
Yao{-}Hua Tan},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Prohairetic Deontic Logic {(PDL)}},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {77--91},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_6},
doi = {10.1007/3-540-49545-2\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/TorreT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/1998,
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2},
doi = {10.1007/3-540-49545-2},
isbn = {3-540-65141-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/1998.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.
retrieved on 2024-12-03 03:54 CET 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:
