Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Enrico Franconi, Alessandro Mosca 0001, Xavier Oriol, Guillem Rull, Ernest Teniente |
Logic Foundations of the OCL Modelling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 657-664, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Knorr 0001, José Júlio Alferes |
Preserving Strong Equivalence while Forgetting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 412-425, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pavlos Peppas, Mary-Anne Williams |
Constructive Models for Contraction with Intransitive Plausibility Indifference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 355-367, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer |
Reasoning about Dynamic Normative Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 628-636, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emilia Oikarinen, Matti Järvisalo |
Answer Set Solver Backdoors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 674-683, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza |
The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 62-76, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Henning Köhler, Uwe Leck, Sebastian Link, Henri Prade |
Logical Foundations of Possibilistic Keys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 181-195, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Marra, Francesco Ricca, Giorgio Terracina, Domenico Ursino |
Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 618-627, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Bartholomew, Joohyung Lee 0002 |
System aspmt2smt: Computing ASPMT Theories by SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 529-542, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Askounis, Costas D. Koutras, Christos Moyzes, Yorgos Zikos |
Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 282-296, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Tomi Janhunen, Jussi Rintanen |
SAT Modulo Graphs: Acyclicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 137-151, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Georgatos |
A Logic for Belief Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 647-656, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Agata Ciabattoni, Lara Spendier |
Tools for the Investigation of Substructural and Paraconsistent Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 18-32, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco |
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 122-136, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hans Rott |
Four Floors for the Theory of Theory Change: The Case of Imperfect Discrimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 368-382, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Feuillade, Andreas Herzig |
A Dynamic View of Active Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 486-499, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Saïd Jabbour, João Marques-Silva 0001, Lakhdar Sais, Yakoub Salhi |
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 152-165, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé |
Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 196-209, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Jorge Fandiño, Michael Fink 0001 |
A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 297-310, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso |
Verification of Context-Sensitive Knowledge and Action Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 514-528, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Amendola, Thomas Eiter, Nicola Leone |
Modular Paracoherent Answer Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 457-471, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Besnard |
Revisiting Postulates for Inconsistency Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 383-396, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde |
A Free Logic for Stable Models with Partial Intensional Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 340-354, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Fermé, João Leite 0001 (eds.) |
Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![Springer, 978-3-319-11557-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sylwia Polberg, Dragan Doder |
Probabilistic Abstract Dialectical Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 591-599, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Casini, Thomas Meyer 0002, Kodylan Moodley, Riku Nortje |
Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 92-106, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michel Ludwig, Rafael Peñaloza |
Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 107-121, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Diego Calvanese |
Query Answering over Description Logic Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 1-17, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond |
Finitary S5-Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 239-252, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jussi Rintanen |
Constraint-Based Algorithm for Computing Temporal Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 665-673, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mark Law, Alessandra Russo, Krysia Broda |
Inductive Learning of Answer Set Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 311-325, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, Javier Espert, José Meseguer 0001 |
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 573-581, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Marti, Riccardo Pinosio |
Similarity Orders from Causal Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 500-513, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ismail Ilkan Ceylan, Rafael Peñaloza |
Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 77-91, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marija Slavkovik 0001, Thomas Ågotnes |
Measuring Dissimilarity between Judgment Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 609-617, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Eichhorn 0001, Gabriele Kern-Isberner |
LEG Networks for Ranking Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 210-223, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 |
Computing Repairs for Inconsistent DL-programs over EL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 426-441, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Slota, João Leite 0001 |
A Unifying Perspective on Knowledge Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 372-384, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Harald Beck, Thomas Eiter, Thomas Krennwallner |
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 80-93, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Régis Alenda, Nicola Olivetti, Gian Luca Pozzato |
Nested Sequent Calculi for Conditional Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 14-27, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nitin Yadav, Sebastian Sardiña |
Reasoning about Agent Programs Using ATL-Like Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 437-449, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Franconi, Volha Kerhet, Nhung Ngo |
Exact Query Reformulation with First-Order Ontologies and Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 202-214, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Gerald Weidinger, Antonius Weinzierl |
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 480-483, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Björn Lellmann, Dirk Pattinson |
Sequent Systems for Lewis' Conditional Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 320-332, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller |
Exploiting Unfounded Sets for HEX-Program Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 160-175, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anna Zamansky |
A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 463-475, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Masood Feyzbakhsh Rankooh, Ali Mahjoob, Gholamreza Ghassem-Sani |
Using Satisfiability for Non-optimal Temporal Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 176-188, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | François Schwarzentruber, Srdjan Vesic, Tjitze Rienstra |
Building an Epistemic Logic for Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 359-371, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
The Tableau Prover Generator MetTeL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 492-495, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Naoya Inoue, Kentaro Inui |
Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 281-293, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Lehmann, Anni-Yasmin Turhan |
A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 307-319, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bart Verheij |
Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 411-423, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Joanna Golinska-Pilarek |
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 255-266, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marc Finthammer, Christoph Beierle |
How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 189-201, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Holbrook, Pavel Naumov |
Fault Tolerance in Belief Formation Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 267-280, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Antoun Yaacoub |
Deciding the Bisimilarity Relation between Datalog Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 67-79, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Krümpelmann, Gabriele Kern-Isberner |
Belief Base Change Operations for Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 294-306, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lluís Godo, Enrico Marchioni, Pere Pardo |
Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 242-254, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nitin Yadav, Sebastian Sardiña |
Qualitative Approximate Behavior Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 450-462, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alfredo Gabaldon |
A Selective Semantics for Logic Programs with Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 215-227, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marco Maratea, Luca Pulina, Francesco Ricca |
The Multi-Engine ASP Solver me-asp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 484-487, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Régis Alenda, Nicola Olivetti |
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 1-13, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen |
Conditional Epistemic Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 94-106, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Perrussel, Jerusa Marchi, Jean-Marc Thévenin, Dongmo Zhang |
Relevant Minimal Change in Belief Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 333-345, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Abdallah Saffidine |
Minimal Proof Search for Modal Logic K Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 346-358, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Troquard, Dirk Walther 0002 |
On Satisfiability in ATL with Strategy Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 398-410, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Richard Stocker 0001, Louise A. Dennis, Clare Dixon, Michael Fisher 0001 |
Verifying Brahms Human-Robot Teamwork Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 385-397, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ofer Arieli |
Conflict-Tolerant Semantics for Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 28-40, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
A Minimal Model Semantics for Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 228-241, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Richard Booth 0001, Thomas Meyer 0002, Ivan José Varzinczak |
PTL: A Propositional Typicality Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 107-119, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Srdjan Vesic, Leendert W. N. van der Torre |
Beyond Maxi-Consistent Argumentation Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 424-436, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Nickles |
A System for the Use of Answer Set Programming in Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 488-491, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.) |
Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![Springer, 978-3-642-33352-1 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Aucher, Bastien Maubert, François Schwarzentruber |
Generalized DEL-Sequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 54-66, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Julien Balax, Florence Dupin de Saint-Cyr, David Villard |
DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 476-479, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat |
The Complexity of One-Agent Refinement Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 120-133, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano |
The View-Update Problem for Indefinite Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 134-146, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Askounis, Costas D. Koutras, Yorgos Zikos |
Knowledge Means 'All', Belief Means 'Most'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 41-53, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ciucci, Didier Dubois |
Three-Valued Logics for Incomplete Information and Epistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 147-159, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chiaki Sakama, Martin Caminada, Andreas Herzig |
A Logical Account of Lying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 286-299, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Gonçalves 0001, José Júlio Alferes |
Parametrized Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 182-194, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar |
A Normal Form for Linear Temporal Equilibrium Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 64-76, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mikolás Janota, Radu Grigore, João Marques-Silva 0001 |
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 195-207, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 352-355, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Costas D. Koutras, Yorgos Zikos |
Stable Belief Sets Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 221-233, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Orkunt Sabuncu, Torsten Schaub |
An Incremental Answer Set Programming Based System for Finite ModelComputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 169-181, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Antonius Weinzierl |
Preference-Based Inconsistency Assessment in Multi-Context Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 143-155, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Torsten Grote, Torsten Schaub |
Coala: A Compiler from Action Languages to ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 360-364, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Casini, Umberto Straccia |
Rational Closure for Defeasible Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 77-90, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Fink 0001, David Pearce 0001 |
A Logical Semantics for Description Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 156-168, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Markus Krötzsch |
Efficient Inferencing for OWL EL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 234-246, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Szymon Klarman, Víctor Gutiérrez-Basulto |
ALCALC: A Context Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 208-220, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adnan Darwiche |
Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 7-9, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Markus Bögl, Thomas Eiter, Michael Fink 0001, Peter Schüller |
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 356-359, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 326-338, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Loris Bozzato, Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
A Decidable Constructive Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 51-63, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Salem Benferhat, Sylvain Lagrue, Safa Yahi |
Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 38-50, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ofer Arieli, Anna Zamansky |
Similarity-Based Inconsistency-Tolerant Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 11-23, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Creignou, Johannes Schmidt 0001, Michael Thomas 0001, Stefan Woltran |
Sets of Boolean Connectives That Make Argumentation Easier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 117-129, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pp. 313-325, 2010, Springer, 978-3-642-15674-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|