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.
Lecture Notes in Computer Science 6341 Springer 2010, ISBN 978-3-642-15674-8 
Invited Talks
Regular Papers
- Ofer Arieli, Anna Zamansky:
Similarity-Based Inconsistency-Tolerant Logics.
11-23
- 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
- Giovanni Casini, Umberto Straccia:
Rational Closure for Defeasible Description Logics.
77-90
- Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming.
91-103
- Yin Chen, Hai Wan, Yan Zhang, Yi Zhou:
dl2asp: Implementing Default Logic via Answer Set Programming.
104-116
- 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
- Michael Fink, David Pearce:
A Logical Semantics for Description Logic Programs.
156-168
- Martin Gebser, Orkunt Sabuncu, Torsten Schaub:
An Incremental Answer Set Programming Based System for Finite ModelComputation.
169-181
- Ricardo Gonçalves, José Júlio Alferes:
Parametrized Logic Programming.
182-194
- Mikolás Janota, Radu Grigore, João Marques-Silva:
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription.
195-207
- Szymon Klarman, Víctor Gutiérrez-Basulto:
ALCALC: A Context Description Logic.
208-220
- Costas D. Koutras, Yorgos Zikos:
Stable Belief Sets Revisited.
221-233
- 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
- David Pearce, Levan Uridia:
Minimal Knowledge and Belief via Minimal Topology.
273-285
- Chiaki Sakama, Martin Caminada, Andreas Herzig:
A Logical Account of Lying.
286-299
- 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
- Zhi Qiang Zhuang, Maurice Pagnucco:
Horn Contraction via Epistemic Entrenchment.
339-351
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
Last update Fri May 25 08:24:47 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
