Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJELIA 2010: Helsinki, Finland
- Tomi Janhunen, Ilkka Niemelä:
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
- 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
- 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
a service of 
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.
last updated on 2024-04-17 20:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
