Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/jelia/jelia2004.bht:"
@inproceedings{DBLP:conf/jelia/AlechinaLW04, author = {Natasha Alechina and Brian Logan and Mark Whitsey}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Modelling Communicating Agents in Timed Reasoning Logics}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {95--107}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_11}, doi = {10.1007/978-3-540-30227-8\_11}, timestamp = {Wed, 08 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/AlechinaLW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/AlpuenteBF04, author = {Mar{\'{\i}}a Alpuente and Demis Ballis and Moreno Falaschi}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Verdi: An Automated Tool for Web Sites Verification}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {726--729}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_67}, doi = {10.1007/978-3-540-30227-8\_67}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/AlpuenteBF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/AngiulliGP04, author = {Fabrizio Angiulli and Gianluigi Greco and Luigi Palopoli}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Discovering Anomalies in Evidential Knowledge by Logic Programming}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {578--590}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_48}, doi = {10.1007/978-3-540-30227-8\_48}, timestamp = {Mon, 18 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/AngiulliGP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/ArmandoC04, author = {Alessandro Armando and Luca Compagna}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {{SATMC:} {A} SAT-Based Model Checker for Security Protocols}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {730--733}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_68}, doi = {10.1007/978-3-540-30227-8\_68}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/ArmandoC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/ArmandoCL04, author = {Alessandro Armando and Luca Compagna and Yuliya Lierler}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Automatic Compilation of Protocol Insecurity Problems into Logic Programming}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {617--627}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_51}, doi = {10.1007/978-3-540-30227-8\_51}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/ArmandoCL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Baader04, author = {Franz Baader}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Engineering of Logics for the Content-Based Representation of Information}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {2--3}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_2}, doi = {10.1007/978-3-540-30227-8\_2}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Baader04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/BaaderST04, author = {Franz Baader and Baris Sertkaya and Anni{-}Yasmin Turhan}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Computing the Least Common Subsumer w.r.t. a Background Terminology}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {400--412}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_34}, doi = {10.1007/978-3-540-30227-8\_34}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/BaaderST04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/BalbianiT04, author = {Philippe Balbiani and Tinko Tinchev}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Line-Based Affine Reasoning in Euclidean Plane}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {474--486}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_40}, doi = {10.1007/978-3-540-30227-8\_40}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/BalbianiT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/BaumgartnerB04, author = {Peter Baumgartner and Aljoscha Burchardt}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Logic Programming Infrastructure for Inferences on FrameNet}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {591--603}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_49}, doi = {10.1007/978-3-540-30227-8\_49}, timestamp = {Sun, 12 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/BaumgartnerB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Ben-NaimBPW04, author = {Jonathan Ben{-}Naim and Salem Benferhat and Odile Papini and {\'{E}}ric W{\"{u}}rbel}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to {GIS}}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {604--616}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_50}, doi = {10.1007/978-3-540-30227-8\_50}, timestamp = {Wed, 08 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/Ben-NaimBPW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/BoselLS04, author = {Andreas B{\"{o}}sel and Thomas Linke and Torsten Schaub}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Profiling Answer Set Programming: The Visualization Component of the noMoRe System}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {702--705}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_61}, doi = {10.1007/978-3-540-30227-8\_61}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/BoselLS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/BresolinMP04, author = {Davide Bresolin and Angelo Montanari and Gabriele Puppis}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Time Granularities and Ultimately Periodic Automata}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {513--525}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_43}, doi = {10.1007/978-3-540-30227-8\_43}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/BresolinMP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Broersen04, author = {Jan M. Broersen}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {On the Logic of 'Being Motivated to Achieve rho, Before delta'}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {334--346}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_29}, doi = {10.1007/978-3-540-30227-8\_29}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Broersen04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/CabalarL04, author = {Pedro Cabalar and David Lorenzo}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Logic Programs with Functions and Default Values}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {294--306}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_26}, doi = {10.1007/978-3-540-30227-8\_26}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/CabalarL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/CadoliM04, author = {Marco Cadoli and Toni Mancini}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Exploiting Functional Dependencies in Declarative Problem Specifications}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {628--640}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_52}, doi = {10.1007/978-3-540-30227-8\_52}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/CadoliM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Calejo04, author = {Miguel Calejo}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {InterProlog: Towards a Declarative Embedding of Logic Programming in Java}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {714--717}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_64}, doi = {10.1007/978-3-540-30227-8\_64}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Calejo04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/CalimeriCCFLPP04, author = {Francesco Calimeri and Manuela Citrigno and Chiara Cumbo and Wolfgang Faber and Nicola Leone and Simona Perri and Gerald Pfeifer}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {New {DLV} Features for Data Integration}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {698--701}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_60}, doi = {10.1007/978-3-540-30227-8\_60}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/CalimeriCCFLPP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/CalimeriIIPS04, author = {Francesco Calimeri and Giovambattista Ianni and Giuseppe Ielpa and Adriana Pietramala and Maria Carmela Santoro}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {A System with Template Answer Set Programs}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {693--697}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_59}, doi = {10.1007/978-3-540-30227-8\_59}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/CalimeriIIPS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Camacho04, author = {Rui Camacho}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {IndLog - Induction in Logic}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {718--721}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_65}, doi = {10.1007/978-3-540-30227-8\_65}, timestamp = {Wed, 24 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/Camacho04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/ChopraPP04, author = {Samir Chopra and Eric Pacuit and Rohit Parikh}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Knowledge-Theoretic Properties of Strategic Voting}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {18--30}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_5}, doi = {10.1007/978-3-540-30227-8\_5}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/ChopraPP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/CostantiniT04, author = {Stefania Costantini and Arianna Tocchio}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {The {DALI} Logic Programming Agent-Oriented Language}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {685--688}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_57}, doi = {10.1007/978-3-540-30227-8\_57}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/CostantiniT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/CumboIR04, author = {Chiara Cumbo and Salvatore Iiritano and Pasquale Rullo}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {{OLEX} - {A} Reasoning-Based Text Classifier}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {722--725}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_66}, doi = {10.1007/978-3-540-30227-8\_66}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/CumboIR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/DamasioMO04, author = {Carlos Viegas Dam{\'{a}}sio and Jes{\'{u}}s Medina and Manuel Ojeda{-}Aciego}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Sorted Multi-adjoint Logic Programs: Termination Results and Applications}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {252--265}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_23}, doi = {10.1007/978-3-540-30227-8\_23}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/DamasioMO04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/DastaniT04, author = {Mehdi Dastani and Leendert W. N. van der Torre}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Games for Cognitive Agents}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {5--17}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_4}, doi = {10.1007/978-3-540-30227-8\_4}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/DastaniT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/DelgrandeS04, author = {James P. Delgrande and Torsten Schaub}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Two Approaches to Merging Knowledge Bases}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {426--438}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_36}, doi = {10.1007/978-3-540-30227-8\_36}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/DelgrandeS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/DohertyKMS04, author = {Patrick Doherty and Steve Kertes and Martin Magnusson and Andrzej Szalas}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Towards a Logical Analysis of Biochemical Pathways}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {667--679}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_55}, doi = {10.1007/978-3-540-30227-8\_55}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/DohertyKMS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/DoutreM04, author = {Sylvie Doutre and J{\'{e}}r{\^{o}}me Mengin}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {On Sceptical Versus Credulous Acceptance for Abstract Argument Systems}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {462--473}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_39}, doi = {10.1007/978-3-540-30227-8\_39}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/DoutreM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/DunneB04, author = {Paul E. Dunne and Trevor J. M. Bench{-}Capon}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Complexity in Value-Based Argument Systems}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {360--371}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_31}, doi = {10.1007/978-3-540-30227-8\_31}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/DunneB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/DunneH04, author = {Paul E. Dunne and Wiebe van der Hoek}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Representation and Complexity in Boolean Games}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {347--359}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_30}, doi = {10.1007/978-3-540-30227-8\_30}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/DunneH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/EndrissMSTT04, author = {Ulrich Endriss and Paolo Mancarella and Fariba Sadri and Giacomo Terreni and Francesca Toni}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {The {CIFF} Proof Procedure for Abductive Logic Programming with Constraints}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {31--43}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_6}, doi = {10.1007/978-3-540-30227-8\_6}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/EndrissMSTT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/EndrissMSTT04a, author = {Ulrich Endriss and Paolo Mancarella and Fariba Sadri and Giacomo Terreni and Francesca Toni}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Abductive Logic Programming with {CIFF:} System Description}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {680--684}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_56}, doi = {10.1007/978-3-540-30227-8\_56}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/EndrissMSTT04a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/FaberLP04, author = {Wolfgang Faber and Nicola Leone and Gerald Pfeifer}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {200--212}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_19}, doi = {10.1007/978-3-540-30227-8\_19}, timestamp = {Sun, 12 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/FaberLP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/FerreiraFH04, author = {Nivea de Carvalho Ferreira and Michael Fisher and Wiebe van der Hoek}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Practical Reasoning for Uncertain Agents}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {82--94}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_10}, doi = {10.1007/978-3-540-30227-8\_10}, timestamp = {Tue, 20 Feb 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/FerreiraFH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/FerreiraR04, author = {Michel Ferreira and Ricardo Rocha}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {The MyYapDB Deductive Database System}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {710--713}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_63}, doi = {10.1007/978-3-540-30227-8\_63}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/FerreiraR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Finger04, author = {Marcelo Finger}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Polynomial Approximations of Full Propositional Logic via Limited Bivalence}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {526--538}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_44}, doi = {10.1007/978-3-540-30227-8\_44}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Finger04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/FinziL04, author = {Alberto Finzi and Thomas Lukasiewicz}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Relational Markov Games}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {320--333}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_28}, doi = {10.1007/978-3-540-30227-8\_28}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/FinziL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Flax04, author = {Lee Flax}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {439--451}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_37}, doi = {10.1007/978-3-540-30227-8\_37}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Flax04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/GiordanoMS04, author = {Laura Giordano and Alberto Martelli and Camilla Schwind}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Verifying Communicating Agents by Model Checking in a Temporal Action Logic}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {57--69}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_8}, doi = {10.1007/978-3-540-30227-8\_8}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/GiordanoMS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Giritli04, author = {Mehmet Giritli}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Measure Logics for Spatial Reasoning}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {487--499}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_41}, doi = {10.1007/978-3-540-30227-8\_41}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Giritli04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/HeymansNV04, author = {Stijn Heymans and Davy Van Nieuwenborgh and Dirk Vermeir}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Hierarchical Decision Making by Autonomous Agents}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {44--56}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_7}, doi = {10.1007/978-3-540-30227-8\_7}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/HeymansNV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/HommersomLB04, author = {Arjen Hommersom and Peter J. F. Lucas and Michael Balser}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {654--666}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_54}, doi = {10.1007/978-3-540-30227-8\_54}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/HommersomLB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/InoueS04, author = {Katsumi Inoue and Chiaki Sakama}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Equivalence of Logic Programs Under Updates}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {174--186}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_17}, doi = {10.1007/978-3-540-30227-8\_17}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/InoueS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/JanhunenO04, author = {Tomi Janhunen and Emilia Oikarinen}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Capturing Parallel Circumscription with Disjunctive Logic Programs}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {134--146}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_14}, doi = {10.1007/978-3-540-30227-8\_14}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/JanhunenO04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Kazakov04, author = {Yevgeny Kazakov}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {372--384}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_32}, doi = {10.1007/978-3-540-30227-8\_32}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Kazakov04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/LianLW04, author = {Espen H. Lian and Tore Langholm and Arild Waaler}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Only Knowing with Confidence Levels: Reductions and Complexity}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {500--512}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_42}, doi = {10.1007/978-3-540-30227-8\_42}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/LianLW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/MarchioniG04, author = {Enrico Marchioni and Llu{\'{\i}}s Godo}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {A Logic for Reasoning About Coherent Conditional Probability: {A} Modal Fuzzy Logic Approach}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {213--225}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_20}, doi = {10.1007/978-3-540-30227-8\_20}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/MarchioniG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/MarienGD04, author = {Maarten Mari{\"{e}}n and David Gilis and Marc Denecker}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {On the Relation Between ID-Logic and Answer Set Programming}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {108--120}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_12}, doi = {10.1007/978-3-540-30227-8\_12}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/MarienGD04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/MateusS04, author = {Paulo Mateus and Am{\'{\i}}lcar Sernadas}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Reasoning About Quantum Systems}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {239--251}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_22}, doi = {10.1007/978-3-540-30227-8\_22}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/MateusS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Mengin04, author = {J{\'{e}}r{\^{o}}me Mengin}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Logical Connectives for Nonmonotonicity: {A} Choice Function-Based Approach}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {452--461}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_38}, doi = {10.1007/978-3-540-30227-8\_38}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Mengin04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Moreno-NavarroM04, author = {Juan Jos{\'{e}} Moreno{-}Navarro and Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Soundness and Completeness of an "Efficient" Negation for Prolog}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {279--293}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_25}, doi = {10.1007/978-3-540-30227-8\_25}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Moreno-NavarroM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Nebel04, author = {Bernhard Nebel}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Formal Methods in Robotics}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {4}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_3}, doi = {10.1007/978-3-540-30227-8\_3}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Nebel04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Nguyen04, author = {Linh Anh Nguyen}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {The Modal Logic Programming System MProlog}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {266--278}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_24}, doi = {10.1007/978-3-540-30227-8\_24}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Nguyen04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Nguyen04a, author = {Linh Anh Nguyen}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {565--577}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_47}, doi = {10.1007/978-3-540-30227-8\_47}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Nguyen04a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Ojeda-AciegoV04, author = {Manuel Ojeda{-}Aciego and Agust{\'{\i}}n Valverde}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {tascpl: {TAS} Solver for Classical Propositional Logic}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {738--741}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_70}, doi = {10.1007/978-3-540-30227-8\_70}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Ojeda-AciegoV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/PadovaniP04, author = {Luca Padovani and Alessandro Provetti}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Qsmodels: {ASP} Planning in Interactive Gaming Environment}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {689--692}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_58}, doi = {10.1007/978-3-540-30227-8\_58}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/PadovaniP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/PearceV04, author = {David Pearce and Agust{\'{\i}}n Valverde}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {147--160}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_15}, doi = {10.1007/978-3-540-30227-8\_15}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/PearceV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Peltier04, author = {Nicolas Peltier}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Some Techniques for Branch-Saturation in Free-Variable Tableaux}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {539--551}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_45}, doi = {10.1007/978-3-540-30227-8\_45}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Peltier04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/RaskovicOM04, author = {Miodrag Raskovic and Zoran Ognjanovic and Zoran Markovic}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {A Logic with Conditional Probabilities}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {226--238}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_21}, doi = {10.1007/978-3-540-30227-8\_21}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/RaskovicOM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/RintanenHN04, author = {Jussi Rintanen and Keijo Heljanko and Ilkka Niemel{\"{a}}}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Parallel Encodings of Classical Planning as Satisfiability}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {307--319}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_27}, doi = {10.1007/978-3-540-30227-8\_27}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/RintanenHN04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Rossi04, author = {Francesca Rossi}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Representing and Reasoning with Preferences}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {1}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_1}, doi = {10.1007/978-3-540-30227-8\_1}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/Rossi04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Schlobach04, author = {Stefan Schlobach}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Explaining Subsumption by Optimal Interpolation}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {413--425}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_35}, doi = {10.1007/978-3-540-30227-8\_35}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Schlobach04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Straccia04, author = {Umberto Straccia}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Transforming Fuzzy Description Logics into Classical Description Logics}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {385--399}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_33}, doi = {10.1007/978-3-540-30227-8\_33}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Straccia04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Syrjanen04, author = {Tommi Syrj{\"{a}}nen}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Cardinality Constraint Programs}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {187--199}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_18}, doi = {10.1007/978-3-540-30227-8\_18}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Syrjanen04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/TinelliZ04, author = {Cesare Tinelli and Calogero G. Zarba}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Combining Decision Procedures for Sorted Theories}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {641--653}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_53}, doi = {10.1007/978-3-540-30227-8\_53}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/TinelliZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Valverde04, author = {Agust{\'{\i}}n Valverde}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {tabeql: {A} Tableau Based Suite for Equilibrium Logic}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {734--737}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_69}, doi = {10.1007/978-3-540-30227-8\_69}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Valverde04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/WakakiISN04, author = {Toshiko Wakaki and Katsumi Inoue and Chiaki Sakama and Katsumi Nitta}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {The {PLP} System}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {706--709}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_62}, doi = {10.1007/978-3-540-30227-8\_62}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/WakakiISN04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Wernhard04, author = {Christoph Wernhard}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Semantic Knowledge Partitioning}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {552--564}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_46}, doi = {10.1007/978-3-540-30227-8\_46}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Wernhard04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/WheelerD04, author = {Gregory R. Wheeler and Carlos Viegas Dam{\'{a}}sio}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {An Implementation of Statistical Default Logic}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {121--133}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_13}, doi = {10.1007/978-3-540-30227-8\_13}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/WheelerD04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Wolfl04, author = {Stefan W{\"{o}}lfl}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Qualitative Action Theory: {A} Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {70--81}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_9}, doi = {10.1007/978-3-540-30227-8\_9}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Wolfl04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Woltran04, author = {Stefan Woltran}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Characterizations for Relativized Notions of Equivalence in Answer Set Programming}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {161--173}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_16}, doi = {10.1007/978-3-540-30227-8\_16}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Woltran04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/jelia/2004, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/b100483}, doi = {10.1007/B100483}, isbn = {3-540-23242-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/2004.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.