JELIA 2010: Helsinki, Finland
Tomi Janhunen, Ilkka Niemelä (Eds.): Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science ISBN 978-3-642-15674-8
Invited Talks
- Gerhard Brewka: Nonmonotonic Tools for Argumentation. 1-6
- Adnan Darwiche: Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference. 7-9
- Stéphane Demri: Counter Systems for Data Logics. 10
Regular Papers
- Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Decomposition of Distributed Nonmonotonic Multi-Context Systems. 24-37
- Salem Benferhat, Sylvain Lagrue, Safa Yahi: Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases. 38-50
- Loris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino: A Decidable Constructive Description Logic. 51-63
- Pedro Cabalar: A Normal Form for Linear Temporal Equilibrium Logic. 64-76
- Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge: Extensional Higher-Order Logic Programming. 91-103
- Nadia Creignou, Johannes Schmidt, Michael Thomas, Stefan Woltran: Sets of Boolean Connectives That Make Argumentation Easier. 117-129
- Flávio Cruz, Ricardo Rocha: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. 130-142
- Thomas Eiter, Michael Fink, Antonius Weinzierl: Preference-Based Inconsistency Assessment in Multi-Context Systems. 143-155
- Martin Gebser, Orkunt Sabuncu, Torsten Schaub: An Incremental Answer Set Programming Based System for Finite ModelComputation. 169-181
- Mikolás Janota, Radu Grigore, João Marques-Silva: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. 195-207
- Markus Krötzsch: Efficient Inferencing for OWL EL. 234-246
- Vladimir Lifschitz, Fangkai Yang: Translating First-Order Causal Theories into Answer Set Programming. 247-259
- Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens: Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. 260-272
- Terrance Swift, David Scott Warren: Tabling with Answer Subsumption: Implementation, Applications and Performance. 300-312
- Joost Vennekens, Maurice Bruynooghe, Marc Denecker: Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. 313-325
- Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe: An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. 326-338
System Descriptions
- Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. 352-355
- Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller: The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. 356-359
- Martin Gebser, Torsten Grote, Torsten Schaub: Coala: A Compiler from Action Languages to ASP. 360-364
- Marco Maratea, Francesco Ricca, Pierfrancesco Veltri: DLVMC: Enhanced Model Checking in DLV. 365-368
- Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran: A Dynamic-Programming Based ASP-Solver. 369-372
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team