Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Zhi Qiang Zhuang, Maurice Pagnucco |
Horn Contraction via Epistemic Entrenchment. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Brewka |
Nonmonotonic Tools for Argumentation. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Flávio Cruz, Ricardo Rocha 0001 |
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Terrance Swift, David Scott Warren |
Tabling with Answer Subsumption: Implementation, Applications and Performance. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
Decomposition of Distributed Nonmonotonic Multi-Context Systems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
A Dynamic-Programming Based ASP-Solver. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yin Chen 0005, Hai Wan, Yan Zhang 0003, Yi Zhou 0013 |
dl2asp: Implementing Default Logic via Answer Set Programming. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Lifschitz, Fangkai Yang |
Translating First-Order Causal Theories into Answer Set Programming. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge |
Extensional Higher-Order Logic Programming. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Theofrastos Mantadelis, Ricardo Rocha 0001, Angelika Kimmig, Gerda Janssens |
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David Pearce 0001, Levan Uridia |
Minimal Knowledge and Belief via Minimal Topology. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri |
Counter Systems for Data Logics. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tomi Janhunen, Ilkka Niemelä (eds.) |
Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marco Maratea, Francesco Ricca, Pierfrancesco Veltri |
DLVMC: Enhanced Model Checking in DLV. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Henry Prakken |
Combining Modes of Reasoning: An Application of Abstract Argumentation. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yi Zhou 0013, Yan Zhang 0003 |
Meta Level Reasoning and Default Reasoning. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Billington |
Propositional Clausal Defeasible Logic. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
Artificial intelligence, Knowledge representation and reasoning, Non-monotonic reasoning, Defeasible logic |
1 | Thomas Eiter, Georg Gottlob, Magdalena Ortiz 0001, Mantas Simkus |
Query Answering in the Description Logic Horn-. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Wernhard |
Literal Projection for First-Order Logic. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Miki Hermann, Reinhard Pichler |
Counting Complexity of Minimal Cardinality and Minimal Weight Abduction. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Herzig, Jérôme Mengin |
Uniform Interpolation by Resolution in Modal Logic. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Renate A. Schmidt |
Improved Second-Order Quantifier Elimination in Modal Logic. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Caroprese, Miroslaw Truszczynski |
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Satu Eloranta, Raul Hakli, Olli Niinivaara, Matti Nykänen |
Accommodative Belief Revision. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
non-prioritized belief revision, knowledge, integrity constraints, belief revision, belief change |
1 | Magdalena Ortiz 0001 |
Extending Carinto the Description Logics of the Family. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Conrad Drescher, Michael Thielscher |
A Fluent Calculus Semantics for ADL with Plan Constraints. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sylvie Coste-Marquis, Pierre Marquis |
Recovering Consistency by Forgetting Inconsistency. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Norihiro Kamide |
Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Konieczny, Ramón Pino Pérez |
Confluence Operators. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler |
Cheap Boolean Role Constructors for Description Logics. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini |
A Logic for Closed-World Interaction. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Komendantskaya, John Power |
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
Many-valued logic programs, categorical logic, fibrational semantics, ground semantics, SLD-resolution |
1 | Guillaume Aucher |
Consistency Preservation and Crazy Formulas in BMS. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.) |
Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez 0001, Concepción Vidal |
Strongly Equivalent Temporal Logic Programs. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic |
How to Restore Compactness into Probabilistic Logics?. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Lang |
Voting in Combinatorial Domains: What Logic and AI Have to Say. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yi Zhou 0013, Yan Zhang 0003 |
Rule Calculus: Semantics, Axioms and Applications. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Koen V. Hindriks, Wiebe van der Hoek |
GOAL Agents Instantiate Intention Logic. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Ruggero Lanotte |
Complexity and Succinctness Issues for Linear-Time Hybrid Logics. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Novak Novakovic |
A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Cuzzolin |
On the Credal Structure of Consistent Probabilities. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paul-Amaury Matt, Francesca Toni |
A Game-Theoretic Measure of Argument Strength for Abstract Argumentation. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Reasoning about Typicality in Preferential Description Logics. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sergei N. Artëmov |
Justification Logic. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paul E. Dunne, Martin Caminada |
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | John Christopher McCabe-Dansted |
A Tableau for RoBCTL*. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
QCTL*, Robustness, Diagnosis, Logic, Bundled, Tableau |
1 | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Annamaria Bria, Wolfgang Faber 0001, Nicola Leone |
Normal Form Nested Programs. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni |
Decidable Fragments of Logic Programming with Value Invention. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ofer Arieli, Marc Denecker, Maurice Bruynooghe |
Distance-Based Repairs of Databases. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sanjay Modgil |
Hierarchical Argumentation. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christian G. Fermüller, Reinhard Pichler |
Model Representation over Finite and Infinite Signatures. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Herzig, Ivan José Varzinczak |
A Modularity Approach for a Fragment of ALC. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
Knowledge representation, modularity, description logics |
1 | Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
Representing Causal Information About a Probabilistic Process. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Umberto Straccia |
Towards Top-k Query Answering in Description Logics: The Case of DL-Lite. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Soler-Toscano, Ángel Nepomuceno-Fernández |
: Tableaux and Resolution for Finite Abduction. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Saso Dzeroski |
From Inductive Logic Programming to Relational Data Mining. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev 0001, Vasilyi Shangin |
Natural Deduction Calculus for Linear-Time Temporal Logic. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Emad Saad |
Incomplete Knowledge in Hybrid Probabilistic Logic Programs. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | José Júlio Alferes, Federico Banti, Antonio Brogi |
An Event-Condition-Action Logic Programming Language. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Aleksic, Anatoli Degtyarev |
On Arbitrary Selection Strategies for Basic Superposition. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ulle Endriss, Eric Pacuit |
Modal Logics of Negotiation and Preference. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde |
On the Logic and Computation of Partial Equilibrium Models. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ján Sefránek |
Irrelevant Updates and Nonmonotonic Assumptions. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
foundations of logic-based AI systems, nonmonotonic knowledge bases, logic programming, updates, nonmonotonic reasoning |
1 | Luke Hunsberger |
Whatever You Say. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Ochoa, Josep Silva, Germán Vidal |
A Slicing Tool for Lazy Functional Logic Programs. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir |
Fuzzy Answer Set Programming. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Giunchiglia, Marco Maratea |
optsat: A Tool for Solving SAT Related Optimization Problems. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexander V. Lyaletski, Boris Konev |
On Herbrand's Theorem for Intuitionistic Logic. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran |
ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
Automated Reasoning About Metric and Topology. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Ján Senko |
A Tool for Answering Queries on Action Descriptions. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Bryant, Paul J. Krause, Sotiris Moschoyiannis |
A Tool to Facilitate Agent Deliberation. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Esra Erdem 0001, Alfredo Gabaldon |
Representing Action Domains with Numeric-Valued Fluents. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Bryant, Paul J. Krause |
An Implementation of a Lightweight Argumentation Engine for Agent Applications. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Caminada |
On the Issue of Reinstatement in Argumentation. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jan M. Broersen, Andreas Herzig, Nicolas Troquard |
A STIT-Extension of ATL. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yulia Korukhova |
Automatic Deductive Synthesis of Lisp Programs in the System ALISA. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Greco, Irina Trubitsyna, Ester Zumpano |
On the Semantics of Logic Programs with Preferences. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ilkka Niemelä |
Answer Set Programming: A Declarative Approach to Solving Search Problems. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nuno A. Fonseca, Fernando M. A. Silva, Rui Camacho |
April - An Inductive Logic Programming System. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Analytic Tableau Calculi for KLM Rational Logic R. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Frederick Maier, Donald Nute |
Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Patrick Traxler, Stefan Woltran |
An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Linh Anh Nguyen |
A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Nittka |
Reasoning About an Agent Based on Its Revision History with Missing Inputs. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michael Fisher 0001, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa 0001 (eds.) |
Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov |
Inconsistencies in Ontologies. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Fariba Sadri, Francesca Toni |
A Formal Analysis of KGP Agents. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
Reasoning About Actions Using Description Logics with General TBoxes. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi |
Introducing Attempt in a Modal Logic of Intentional Action. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Narizzano, Luca Pulina, Armando Tacchella |
The QBFEVAL Web Portal. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Zhangang Lin, Yue Ma 0009, Zuoquan Lin |
A Fault-Tolerant Default Logic. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Cláudia Nalon, Clare Dixon |
Anti-prenexing and Prenexing for Modal Logics. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Esra Erdem 0001, Michael Fink 0001, Ján Senko |
Comparing Action Descriptions Based on Semantic Preferences. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà |
A Logic-Based Tool for Semantic Information Extraction. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Guilin Qi, Weiru Liu, David A. Bell |
Knowledge Base Revision in Description Logics. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Mateus, Amílcar Sernadas |
Reasoning About Quantum Systems. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|