Search dblp for Publications

export results for "toc:db/conf/jelia/jelia2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/jelia/AbseherBCDHW14,
  author       = {Michael Abseher and
                  Bernhard Bliem and
                  G{\"{u}}nther Charwat and
                  Frederico Dusberger and
                  Markus Hecher and
                  Stefan Woltran},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {The {D-FLAT} System for Dynamic Programming on Tree Decompositions},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {558--572},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_39},
  doi          = {10.1007/978-3-319-11558-0\_39},
  timestamp    = {Fri, 07 Aug 2020 08:55:19 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/AbseherBCDHW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/AcetoMIMS14,
  author       = {Luca Aceto and
                  Dario Della Monica and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  Angelo Montanari and
                  Guido Sciavicco},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {On the Expressiveness of the Interval Logic of Allen's Relations Over
                  Finite and Discrete Linear Orders},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {267--281},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_19},
  doi          = {10.1007/978-3-319-11558-0\_19},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/AcetoMIMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/AlpuenteEEM14,
  author       = {Mar{\'{\i}}a Alpuente and
                  Santiago Escobar and
                  Javier Espert and
                  Jos{\'{e}} Meseguer},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {{ACUOS:} {A} System for Modular {ACU} Generalization with Subtyping
                  and Inheritance},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {573--581},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_40},
  doi          = {10.1007/978-3-319-11558-0\_40},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/AlpuenteEEM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/AmendolaEL14,
  author       = {Giovanni Amendola and
                  Thomas Eiter and
                  Nicola Leone},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Modular Paracoherent Answer Sets},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {457--471},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_32},
  doi          = {10.1007/978-3-319-11558-0\_32},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/AmendolaEL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/AskounisKMZ14,
  author       = {Dimitris Askounis and
                  Costas D. Koutras and
                  Christos Moyzes and
                  Yorgos Zikos},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Only-Knowing {\`{a}} la Halpern-Moses for Non-omniscient Rational
                  Agents: {A} Preliminary Report},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {282--296},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_20},
  doi          = {10.1007/978-3-319-11558-0\_20},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/AskounisKMZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/BartholomewL14,
  author       = {Michael Bartholomew and
                  Joohyung Lee},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {System aspmt2smt: Computing {ASPMT} Theories by {SMT} Solvers},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {529--542},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_37},
  doi          = {10.1007/978-3-319-11558-0\_37},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/BartholomewL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/BaumgartnerK14,
  author       = {Alexander Baumgartner and
                  Temur Kutsia},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {A Library of Anti-unification Algorithms},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {543--557},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_38},
  doi          = {10.1007/978-3-319-11558-0\_38},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/BaumgartnerK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/BenferhatBPW14,
  author       = {Salem Benferhat and
                  Zied Bouraoui and
                  Odile Papini and
                  {\'{E}}ric W{\"{u}}rbel},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {442--456},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_31},
  doi          = {10.1007/978-3-319-11558-0\_31},
  timestamp    = {Wed, 08 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/BenferhatBPW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/Besnard14,
  author       = {Philippe Besnard},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Revisiting Postulates for Inconsistency Measures},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {383--396},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_27},
  doi          = {10.1007/978-3-319-11558-0\_27},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Besnard14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/BomansonGJ14,
  author       = {Jori Bomanson and
                  Martin Gebser and
                  Tomi Janhunen},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Improving the Normalization of Weight Rules in Answer Set Programs},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {166--180},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_12},
  doi          = {10.1007/978-3-319-11558-0\_12},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/BomansonGJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/BorgwardtGP14,
  author       = {Stefan Borgwardt and
                  Jos{\'{e}} A. Leyva Galano and
                  Rafael Pe{\~{n}}aloza},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {The Fuzzy Description Logic {\textdollar}{\textbackslash}mathsf\{G\}{\textbackslash}text\{-\}\{{\textbackslash}mathcal\{F{\textbackslash}!L\}{\_}0\}
                  {\textdollar} with Greatest Fixed-Point Semantics},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {62--76},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_5},
  doi          = {10.1007/978-3-319-11558-0\_5},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/BorgwardtGP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/BresolinMS14,
  author       = {Davide Bresolin and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Guido Sciavicco},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Sub-propositional Fragments of the Interval Temporal Logic of Allen's
                  Relations},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {122--136},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_9},
  doi          = {10.1007/978-3-319-11558-0\_9},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/BresolinMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/CabalarCPV14,
  author       = {Pedro Cabalar and
                  Luis Fari{\~{n}}as del Cerro and
                  David Pearce and
                  Agust{\'{\i}}n Valverde},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {A Free Logic for Stable Models with Partial Intensional Functions},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {340--354},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_24},
  doi          = {10.1007/978-3-319-11558-0\_24},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/CabalarCPV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/CabalarFF14,
  author       = {Pedro Cabalar and
                  Jorge Fandi{\~{n}}o and
                  Michael Fink},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {A Complexity Assessment for Queries Involving Sufficient and Necessary
                  Causes},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {297--310},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_21},
  doi          = {10.1007/978-3-319-11558-0\_21},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/CabalarFF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/Calvanese14,
  author       = {Diego Calvanese},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Query Answering over Description Logic Ontologies},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_1},
  doi          = {10.1007/978-3-319-11558-0\_1},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Calvanese14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/CalvaneseCMS14,
  author       = {Diego Calvanese and
                  {\.I}smail {\.I}lkan Ceylan and
                  Marco Montali and
                  Ario Santoso},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Verification of Context-Sensitive Knowledge and Action Bases},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {514--528},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_36},
  doi          = {10.1007/978-3-319-11558-0\_36},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/CalvaneseCMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/CasiniMMN14,
  author       = {Giovanni Casini and
                  Thomas Meyer and
                  Kodylan Moodley and
                  Riku Nortje},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Relevant Closure: {A} New Form of Defeasible Reasoning for Description
                  Logics},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {92--106},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_7},
  doi          = {10.1007/978-3-319-11558-0\_7},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/CasiniMMN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/CeylanP14,
  author       = {{\.I}smail {\.I}lkan Ceylan and
                  Rafael Pe{\~{n}}aloza},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Tight Complexity Bounds for Reasoning in the Description Logic {\textdollar}{\textbackslash}mathcal\{BE\{{\textbackslash}kern-.1em\}L\}{\textdollar}},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {77--91},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_6},
  doi          = {10.1007/978-3-319-11558-0\_6},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/CeylanP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/CiabattoniS14,
  author       = {Agata Ciabattoni and
                  Lara Spendier},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Tools for the Investigation of Substructural and Paraconsistent Logics},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {18--32},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_2},
  doi          = {10.1007/978-3-319-11558-0\_2},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/CiabattoniS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/ClercqSCN14,
  author       = {Sofie De Clercq and
                  Steven Schockaert and
                  Martine De Cock and
                  Ann Now{\'{e}}},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Possibilistic Boolean Games: Strategic Reasoning under Incomplete
                  Information},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {196--209},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_14},
  doi          = {10.1007/978-3-319-11558-0\_14},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/ClercqSCN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/Coste-MarquisKMM14,
  author       = {Sylvie Coste{-}Marquis and
                  S{\'{e}}bastien Konieczny and
                  Jean{-}Guy Mailly and
                  Pierre Marquis},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {A Translation-Based Approach for Revision of Argumentation Frameworks},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {397--411},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_28},
  doi          = {10.1007/978-3-319-11558-0\_28},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Coste-MarquisKMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/Croitoru14,
  author       = {Cosmina Croitoru},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Argumentative Aggregation of Individual Opinions},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {600--608},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_43},
  doi          = {10.1007/978-3-319-11558-0\_43},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Croitoru14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/EichhornK14,
  author       = {Christian Eichhorn and
                  Gabriele Kern{-}Isberner},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {{LEG} Networks for Ranking Functions},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {210--223},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_15},
  doi          = {10.1007/978-3-319-11558-0\_15},
  timestamp    = {Tue, 02 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/EichhornK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/EiterF014,
  author       = {Thomas Eiter and
                  Michael Fink and
                  Daria Stepanova},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Computing Repairs for Inconsistent DL-programs over \emph{EL} Ontologies},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {426--441},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_30},
  doi          = {10.1007/978-3-319-11558-0\_30},
  timestamp    = {Thu, 16 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/EiterF014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/FeuilladeH14,
  author       = {Guillaume Feuillade and
                  Andreas Herzig},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {A Dynamic View of Active Integrity Constraints},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {486--499},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_34},
  doi          = {10.1007/978-3-319-11558-0\_34},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/FeuilladeH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/FranconiMORT14,
  author       = {Enrico Franconi and
                  Alessandro Mosca and
                  Xavier Oriol and
                  Guillem Rull and
                  Ernest Teniente},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Logic Foundations of the {OCL} Modelling Language},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {657--664},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_49},
  doi          = {10.1007/978-3-319-11558-0\_49},
  timestamp    = {Tue, 06 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/FranconiMORT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/GebserJR14,
  author       = {Martin Gebser and
                  Tomi Janhunen and
                  Jussi Rintanen},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {{SAT} Modulo Graphs: Acyclicity},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {137--151},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_10},
  doi          = {10.1007/978-3-319-11558-0\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/GebserJR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/Geffner14,
  author       = {Hector Geffner},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Non-classical Planning with a Classical Planner: The Power of Transformations},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {33--47},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_3},
  doi          = {10.1007/978-3-319-11558-0\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Geffner14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/Georgatos14,
  author       = {Konstantinos Georgatos},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {A Logic for Belief Contraction},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {647--656},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_48},
  doi          = {10.1007/978-3-319-11558-0\_48},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Georgatos14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/Hunter14,
  author       = {Anthony Hunter},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Opportunities for Argument-Centric Persuasion in Behaviour Change},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {48--61},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_4},
  doi          = {10.1007/978-3-319-11558-0\_4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/Hunter14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/JabbourMSS14,
  author       = {Sa{\"{\i}}d Jabbour and
                  Jo{\~{a}}o Marques{-}Silva and
                  Lakhdar Sais and
                  Yakoub Salhi},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Enumerating Prime Implicants of Propositional Formulae in Conjunctive
                  Normal Form},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {152--165},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_11},
  doi          = {10.1007/978-3-319-11558-0\_11},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/JabbourMSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/Julian-IranzoMO14,
  author       = {Pascual Juli{\'{a}}n Iranzo and
                  Jes{\'{u}}s Medina and
                  Manuel Ojeda{-}Aciego},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Revisiting Reductants in the Multi-adjoint Logic Programming Framework},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {694--702},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_53},
  doi          = {10.1007/978-3-319-11558-0\_53},
  timestamp    = {Thu, 07 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/Julian-IranzoMO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/KnobboutDM14,
  author       = {Max Knobbout and
                  Mehdi Dastani and
                  John{-}Jules Ch. Meyer},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Reasoning about Dynamic Normative Systems},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {628--636},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_46},
  doi          = {10.1007/978-3-319-11558-0\_46},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/KnobboutDM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/KnorrA14,
  author       = {Matthias Knorr and
                  Jos{\'{e}} J{\'{u}}lio Alferes},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Preserving Strong Equivalence while Forgetting},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {412--425},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_29},
  doi          = {10.1007/978-3-319-11558-0\_29},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/KnorrA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/KohlerL14,
  author       = {Henning K{\"{o}}hler and
                  Sebastian Link},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Logics for Approximating Implication Problems of Saturated Conditional
                  Independence},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {224--238},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_16},
  doi          = {10.1007/978-3-319-11558-0\_16},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/KohlerL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/KohlerLLP14,
  author       = {Henning K{\"{o}}hler and
                  Uwe Leck and
                  Sebastian Link and
                  Henri Prade},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Logical Foundations of Possibilistic Keys},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {181--195},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_13},
  doi          = {10.1007/978-3-319-11558-0\_13},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/KohlerLLP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/KoutrasMZ14,
  author       = {Costas D. Koutras and
                  Christos Moyzes and
                  Yorgos Zikos},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {A Modal Logic of Knowledge, Belief, and Estimation},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {637--646},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_47},
  doi          = {10.1007/978-3-319-11558-0\_47},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/KoutrasMZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/LawRB14,
  author       = {Mark Law and
                  Alessandra Russo and
                  Krysia Broda},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Inductive Learning of Answer Set Programs},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {311--325},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_22},
  doi          = {10.1007/978-3-319-11558-0\_22},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/LawRB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/LeeW14,
  author       = {Joohyung Lee and
                  Yi Wang},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Stable Models of Fuzzy Propositional Formulas},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {326--339},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_23},
  doi          = {10.1007/978-3-319-11558-0\_23},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/LeeW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/LudwigP14,
  author       = {Michel Ludwig and
                  Rafael Pe{\~{n}}aloza},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Error-Tolerant Reasoning in the Description Logic {\textdollar}{\textbackslash}mathcal\{E\{{\textbackslash}kern-.1em\}L\}{\textdollar}},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {107--121},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_8},
  doi          = {10.1007/978-3-319-11558-0\_8},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/LudwigP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/MarraRTU14,
  author       = {Giuseppe Marra and
                  Francesco Ricca and
                  Giorgio Terracina and
                  Domenico Ursino},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Exploiting Answer Set Programming for Handling Information Diffusion
                  in a Multi-Social-Network Scenario},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {618--627},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_45},
  doi          = {10.1007/978-3-319-11558-0\_45},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/MarraRTU14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/MartiP14,
  author       = {Johannes Marti and
                  Riccardo Pinosio},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Similarity Orders from Causal Equations},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {500--513},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_35},
  doi          = {10.1007/978-3-319-11558-0\_35},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/MartiP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/OikarinenJ14,
  author       = {Emilia Oikarinen and
                  Matti J{\"{a}}rvisalo},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Answer Set Solver Backdoors},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {674--683},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_51},
  doi          = {10.1007/978-3-319-11558-0\_51},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/OikarinenJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/PardoSSV14,
  author       = {Pere Pardo and
                  Enrique Sarri{\'{o}}n{-}Morillo and
                  Fernando Soler{-}Toscano and
                  Fernando R. Vel{\'{a}}zquez{-}Quesada},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Efficient Program Transformers for Translating {LCC} to {PDL}},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {253--266},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_18},
  doi          = {10.1007/978-3-319-11558-0\_18},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/PardoSSV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/PatriziV14,
  author       = {Fabio Patrizi and
                  Stavros Vassos},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Action Theories over Generalized Databases with Equality Constraints},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {472--485},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_33},
  doi          = {10.1007/978-3-319-11558-0\_33},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/PatriziV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/PeppasW14,
  author       = {Pavlos Peppas and
                  Mary{-}Anne Williams},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Constructive Models for Contraction with Intransitive Plausibility
                  Indifference},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {355--367},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_25},
  doi          = {10.1007/978-3-319-11558-0\_25},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/PeppasW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/PolbergD14,
  author       = {Sylwia Polberg and
                  Dragan Doder},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Probabilistic Abstract Dialectical Frameworks},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {591--599},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_42},
  doi          = {10.1007/978-3-319-11558-0\_42},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/PolbergD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/Rintanen14,
  author       = {Jussi Rintanen},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Constraint-Based Algorithm for Computing Temporal Invariants},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {665--673},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_50},
  doi          = {10.1007/978-3-319-11558-0\_50},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Rintanen14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/Rott14,
  author       = {Hans Rott},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Four Floors for the Theory of Theory Change: The Case of Imperfect
                  Discrimination},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {368--382},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_26},
  doi          = {10.1007/978-3-319-11558-0\_26},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Rott14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/SchwarzentruberH14,
  author       = {Fran{\c{c}}ois Schwarzentruber and
                  Jin{-}Kao Hao},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Drawing Euler Diagrams from Region Connection Calculus Specifications
                  with Local Search},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {582--590},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_41},
  doi          = {10.1007/978-3-319-11558-0\_41},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/SchwarzentruberH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/SlavkovikA14,
  author       = {Marija Slavkovik and
                  Thomas {\AA}gotnes},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Measuring Dissimilarity between Judgment Sets},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {609--617},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_44},
  doi          = {10.1007/978-3-319-11558-0\_44},
  timestamp    = {Tue, 21 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/SlavkovikA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/SohBRBT14,
  author       = {Takehide Soh and
                  Daniel Le Berre and
                  St{\'{e}}phanie Roussel and
                  Mutsunori Banbara and
                  Naoyuki Tamura},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Incremental SAT-Based Method with Native Boolean Cardinality Handling
                  for the Hamiltonian Cycle Problem},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {684--693},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_52},
  doi          = {10.1007/978-3-319-11558-0\_52},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/SohBRBT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/SonPBG14,
  author       = {Tran Cao Son and
                  Enrico Pontelli and
                  Chitta Baral and
                  Gregory Gelfond},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Finitary S5-Theories},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {239--252},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_17},
  doi          = {10.1007/978-3-319-11558-0\_17},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/SonPBG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/jelia/2014,
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0},
  doi          = {10.1007/978-3-319-11558-0},
  isbn         = {978-3-319-11557-3},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.