default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJELIA 2016: Larnaca, Cyprus
- Loizos Michael, Antonis C. Kakas:
Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science 10021, 2016, ISBN 978-3-319-48757-1
Full Papers
- Jean-Marc Alliot
, Martín Diéguez, Luis Fariñas del Cerro:
Metabolic Pathways as Temporal Logic Programs. 3-17 - Krzysztof R. Apt, Dominik Wojtczak:
On Decidability of a Logic of Gossips. 18-33 - Carlos Areces, Raul Fervari:
Hilbert-Style Axiomatization for Hybrid XPath with Data. 34-48 - Franz Baader, Pavlos Marantidis, Alexander Okhotin:
Approximate Unification in the Description Logic FL_0. 49-63 - Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia:
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis. 64-80 - Philippe Balbiani, Martín Diéguez:
Temporal Here and There. 81-96 - Philippe Balbiani, David Pearce, Levan Uridia:
On Logics of Group Belief in Structured Coalitions. 97-111 - Francesco Belardinelli, Alessio Lomuscio:
A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. 112-126 - Stefano Bistarelli, Fabio Rossi, Francesco Santini:
A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks. 127-143 - Joseph Boudou, Emiliano Lorini:
Decidability and Expressivity of Ockhamist Propositional Dynamic Logics. 144-158 - Laura Bozzelli, David Pearce:
On the Expressiveness of Temporal Equilibrium Logic. 159-173 - Katarina Britz, Ivan Varzinczak:
Introducing Role Defeasibility in Description Logics. 174-189 - Cosmina Croitoru, Kurt Mehlhorn:
Opposition Frameworks. 190-206 - Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala:
Prompt Interval Temporal Logic. 207-222 - Thomas Eiter, Tobias Kaminski:
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. 223-239 - Tuan-Fang Fan, Churn-Jung Liau:
Reasoning About Justified Belief Based on the Fusion of Evidence. 240-255 - Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi:
Writing Declarative Specifications for Clauses. 256-271 - Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato:
Standard Sequent Calculi for Lewis' Logics of Counterfactuals. 272-287 - Sergio Greco, Francesco Parisi:
Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks. 288-304 - Yifan Jin, Kewen Wang, Zhe Wang, Zhiqiang Zhuang:
Revising Possibilistic Knowledge Bases via Compatibility Degrees. 305-319 - Roman Kuznets:
Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi. 320-335 - João Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza:
Efficient Reasoning for Inconsistent Horn Formulae. 336-352 - Pavel Naumov, Jia Tao:
Information Flow Under Budget Constraints. 353-368 - Matthias Nickles:
A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics. 369-384 - Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo:
Pakota: A System for Enforcement in Abstract Argumentation. 385-400 - Pavlos Peppas, Mary-Anne Williams:
Kinetic Consistency and Relevance in Belief Revision. 401-414 - Tobias Philipp, Adrian Rebola-Pardo:
DRAT Proofs for XOR Reasoning. 415-429 - Sylwia Polberg:
Understanding the Abstract Dialectical Framework. 430-446 - Panos Rondogiannis, Ioanna Symeonidou:
Extensional Semantics for Higher-Order Logic Programs with Negation. 447-462 - Zeynep G. Saribatur, Thomas Eiter:
Reactive Policies with Planning for Action Languages. 463-480 - Bart Verheij:
Correct Grounded Reasoning with Presumptive Arguments. 481-496 - Jon Yaggie, György Turán:
Characterizability in Horn Belief Revision. 497-511
Short Papers
- Reza Basseda, Michael Kifer:
Formalizing Goal Serializability for Evaluation of Planning Features. 515-521 - Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin:
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks. 522-528 - Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer:
Inconsistency Management in Reactive Multi-context Systems. 529-535 - Patrick Doherty, Jonas Kvarnström, Andrzej Szalas:
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract). 536-542 - Ricardo Gonçalves, Matthias Knorr, João Leite:
Forgetting in ASP: The Forgotten Properties. 543-550 - Andreas Herzig, Laurent Perrussel, Zhanhao Xiao:
On Hierarchical Task Networks. 551-557 - Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang:
Refinement of Intentions. 558-563 - Aaron Hunter, Eric Tsang:
GenB: A General Solver for AGM Revision. 564-569 - Zohreh Shams, Nir Oren:
A Two-Phase Dialogue Game for Skeptical Preferred Semantics. 570-576 - Markus Ulbricht, Matthias Thimm, Gerhard Brewka:
Measuring Inconsistency in Answer Set Programs. 577-583
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-12-12 20:46 CET 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:
