default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/jelia/jelia2000.bht:"
download as .bib file
@inproceedings{DBLP:conf/jelia/AhrendtBBGHHMS00,
author = {Wolfgang Ahrendt and
Thomas Baar and
Bernhard Beckert and
Martin Giese and
Elmar Habermalz and
Reiner H{\"{a}}hnle and
Wolfram Menzel and
Peter H. Schmitt},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {The KeY Approach: Integrating Object Oriented Design and Formal Verification},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {21--36},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_3},
doi = {10.1007/3-540-40006-0\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AhrendtBBGHHMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Aiello00,
author = {Marco Aiello},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Topo-distance: Measuring the Difference between Spatial Patterns},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {73--86},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_6},
doi = {10.1007/3-540-40006-0\_6},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Aiello00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AlferesP00,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Lu{\'{\i}}s Moniz Pereira},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Updates plus Preferences},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {345--360},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_24},
doi = {10.1007/3-540-40006-0\_24},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AlferesP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Arieli00,
author = {Ofer Arieli},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {An Algorithmic Approach to Recover Inconsistent Knowledge-Bases},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {148--162},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_11},
doi = {10.1007/3-540-40006-0\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Arieli00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Benthem00,
author = {Johan van Benthem},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {'On Being Informed': Update Logics for Knowledge States},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {1},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_1},
doi = {10.1007/3-540-40006-0\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Benthem00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DamasioP00,
author = {Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Hybrid Probabilistic Logic Programs as Residuated Logic Programs},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {57--72},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_5},
doi = {10.1007/3-540-40006-0\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/DamasioP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DelgadoM00,
author = {Antonio Frias Delgado and
Jose Antonio Jimenez Millan},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {An Abductive Mechanism for Natural Language Processing Based on Lambek
Calculus},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {87--101},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_7},
doi = {10.1007/3-540-40006-0\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/DelgadoM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DelgrandeST00,
author = {James P. Delgrande and
Torsten Schaub and
Hans Tompits},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {A Compilation of Brewka and Eiter's Approach to Prioritization},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {376--390},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_26},
doi = {10.1007/3-540-40006-0\_26},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/DelgrandeST00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EijkBHM00,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {A Modal Logic for Network Topologies},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {269--283},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_19},
doi = {10.1007/3-540-40006-0\_19},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/EijkBHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EiterFST00,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Considerations on Updates of Logic Programs},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {2--20},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_2},
doi = {10.1007/3-540-40006-0\_2},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/EiterFST00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EiterL00,
author = {Thomas Eiter and
Thomas Lukasiewicz},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {New Tractable Cases in Default Reasoning from Conditional Knowledge
Bases},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {313--328},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_22},
doi = {10.1007/3-540-40006-0\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/EiterL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GutierrezGMOV00,
author = {Gloria Guti{\'{e}}rrez and
Inman P. de Guzm{\'{a}}n and
Javier Mart{\'{\i}}nez and
Manuel Ojeda{-}Aciego and
Agust{\'{\i}}n Valverde},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Reduction Theorems for Boolean Formulas Using Delta-Trees},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {179--192},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_13},
doi = {10.1007/3-540-40006-0\_13},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/GutierrezGMOV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HoekJT00,
author = {Wiebe van der Hoek and
Jan Jaspars and
Elias Thijsse},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {A General Approach to Multi-agent Minimal Knowledge},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {254--268},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_18},
doi = {10.1007/3-540-40006-0\_18},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/HoekJT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Janhunen00,
author = {Tomi Janhunen},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Capturing Stationary and Regular Extensions with Reiter's Extensions},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {102--117},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_8},
doi = {10.1007/3-540-40006-0\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Janhunen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Li00,
author = {Chunping Li},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Representing the Process Semantics in the Event Calculus},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {118--132},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_9},
doi = {10.1007/3-540-40006-0\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Li00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Liberatore00,
author = {Paolo Liberatore},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {A Framework for Belief Update},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {361--375},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_25},
doi = {10.1007/3-540-40006-0\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Liberatore00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MartinG00,
author = {Pedro J. Mart{\'{\i}}n and
Antonio Gavilanes},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Simultaneous Rigid Sorted Unification},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {193--208},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_14},
doi = {10.1007/3-540-40006-0\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MartinG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MorenoCS00,
author = {Antonio Moreno and
Ulises Cort{\'{e}}s and
Ton Sales},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Avoiding Logical Omniscience by Using Subjective Situations},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {284--299},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_20},
doi = {10.1007/3-540-40006-0\_20},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MorenoCS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Nayak00,
author = {Abhaya C. Nayak},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Acceptance Without Minimality},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {163--178},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_12},
doi = {10.1007/3-540-40006-0\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Nayak00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Prakken00,
author = {Henry Prakken},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {On Dialogue Systems with Speech Acts, Arguments, and Counterarguments},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {224--238},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_16},
doi = {10.1007/3-540-40006-0\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Prakken00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/RiazanovV00,
author = {Alexandre Riazanov and
Andrei Voronkov},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Partially Adaptive Code Trees},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {209--223},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_15},
doi = {10.1007/3-540-40006-0\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/RiazanovV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Sierra-Santibanez00,
author = {Josefina Sierra{-}Santib{\'{a}}{\~{n}}ez},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Declarative Formalization of Strategies for Action Selection: Applications
to Planning},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {133--147},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_10},
doi = {10.1007/3-540-40006-0\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Sierra-Santibanez00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SturmSWZ00,
author = {Holger Sturm and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Semi-qualitative Reasoning about Distances: {A} Preliminary Report},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {37--56},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_4},
doi = {10.1007/3-540-40006-0\_4},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/SturmSWZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SturmWZ00,
author = {Holger Sturm and
Frank Wolter and
Michael Zakharyaschev},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Monodic Epistemic Predicate Logic},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {329--344},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_23},
doi = {10.1007/3-540-40006-0\_23},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/SturmWZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/VosV00,
author = {Marina De Vos and
Dirk Vermeir},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {A Logic for Modeling Decision Making with Dynamic Preferences},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {391--406},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_27},
doi = {10.1007/3-540-40006-0\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/VosV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/VreeswijkP00,
author = {Gerard Vreeswijk and
Henry Prakken},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Credulous and Sceptical Argument Games for Preferred Semantics},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {239--253},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_17},
doi = {10.1007/3-540-40006-0\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/VreeswijkP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/WooldridgeL00,
author = {Michael J. Wooldridge and
Alessio Lomuscio},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Multi-agent {VSK} Logic},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {300--312},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_21},
doi = {10.1007/3-540-40006-0\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/WooldridgeL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2000,
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0},
doi = {10.1007/3-540-40006-0},
isbn = {3-540-41131-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/2000.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-11-12 08:57 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:
