The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "JELIA"( http://dblp.L3S.de/Venues/JELIA )

URL (DBLP): http://dblp.uni-trier.de/db/conf/jelia

Publication years (Num. hits)
1990 (36) 1991-1992 (25) 1994 (28) 1996 (29) 1998 (28) 2000 (28) 2002 (56) 2004 (71) 2006 (50) 2008 (35) 2010 (35) 2012 (42) 2014 (54) 2016 (43) 2019 (53)
Publication types (Num. hits)
inproceedings(598) proceedings(15)
Venues (Conferences, Journals, ...)
JELIA(613)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 97 occurrences of 79 keywords

Results
Found 613 publication records. Showing 613 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Stefan Borgwardt, Walter Forkel Closed-World Semantics for Conjunctive Queries with Negation over ELH_\bot Ontologies. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Andreas Pieris, Emanuel Sallinger Vadalog: Recent Advances and Applications. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller, Bernhard Nebel The Dynamic Logic of Policies and Contingent Planning. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rolf Morel, Andrew Cropper, C.-H. Luke Ong Typed Meta-interpretive Learning of Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aldo Iván Ramírez Abarca, Jan M. Broersen A Logic of Objective and Subjective Oughts. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zeynep Gozen Saribatur, Peter Schüller, Thomas Eiter Abstraction for Non-ground Answer Set Programs. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Cinzia Marte Extending Bell Numbers for Parsimonious Chase Estimation. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernardo Cuteri, Kristian Reale, Francesco Ricca A Logic-Based Question Answering System for Cultural Heritage. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emiliano Lorini Reasoning About Cognitive Attitudes in a Qualitative Setting. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sophie Tourret, Andrew Cropper SLD-Resolution Reduction of Second-Order Horn Fragments. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn Lower Bound Founded Logic of Here-and-There. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ana Ozaki, Nicolas Troquard Learning Ontologies with Epistemic Reasoning: The E\!L Case. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Didier Dubois, Henri Prade Possibilistic Logic: From Certainty-Qualified Statements to Two-Tiered Logics - A Prospective Survey. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christian Breu, Axel Ind, Julia Mertesdorf, Marco Ragni The Weak Completion Semantics Can Model Inferences of Individual Human Reasoners. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Nicola Leone, Marco Manna (eds.) Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ezgi Iraz Su Epistemic Answer Set Programming. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ringo Baumann, Felix Linker AGM Meets Abstract Argumentation: Contraction for Dung Frameworks. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marianna Girlando, Björn Lellmann, Nicola Olivetti Nested Sequents for the Logic of Conditional Belief. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro Interpolation and Beth Definability in Default Logics. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Adrian Haret, Johannes Peter Wallner Manipulating Skeptical and Credulous Consequences When Merging Beliefs. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema Facets of Distribution Identities in Probabilistic Team Semantics. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Kriegel Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther 0002 Computing Minimal Projection Modules for ELH^r -Terminologies. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer $${\textsf {ACUOS}}^\mathbf {2}$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Francesco Santini 0001 Well-Foundedness in Weighted Argumentation Frameworks. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens Explaining Actual Causation via Reasoning About Actions and Change. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Alberto Policriti Extending ALC with the Power-Set Construct. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter Schüller The Hexlite Solver - Lightweight and Efficient Evaluation of HEX Programs. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Matti Järvisalo Unifying Reasoning and Core-Guided Search for Maximum Satisfiability. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Markus Ulbricht Repairing Non-monotonic Knowledge Bases. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Jörg Pührer, Stefan Woltran Multi-valued GRAPPA. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marcos Cramer, Mathieu Guillaume Empirical Study on Human Evaluation of Complex Argumentation Frameworks. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tobias Geibinger, Hans Tompits Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega Computational Complexity of Core Fragments of Modal Logics T, K4, and S4. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Olivieri, Guido Governatori, Matteo Cristani Advancements in Resource-Driven Substructural Defeasible Logic. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Luca Pulina, Francesco Ricca Algorithm Selection for Paracoherent Answer Set Computation. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Juan Carlos Nieves Stable-Ordered Models for Propositional Theories with Order Operators. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stéphane Demri, Raul Fervari, Alessio Mansutti Axiomatising Logics with Separating Conjunction and Modalities. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski 0001 On the Complexity of Graded Modal Logics with Converse. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Casini, Thomas Meyer 0002, Ivan Varzinczak Taking Defeasible Entailment Beyond Rational Closure. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Chain Answer Sets for Logic Programs with Generalized Atoms. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader Counting Strategies for the Probabilistic Description Logic ALC^\mathsf ME Under the Principle of Maximum Entropy. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan Interval Temporal Logic Decision Tree Learning. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari Memory-Saving Evaluation Plans for Datalog. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leonard Botha, Thomas Meyer 0002, Rafael Peñaloza A Bayesian Extension of the Description Logic ALC. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Theofrastos Mantadelis A Possible World View and a Normal Form for the Constellation Semantics. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tobias Kain, Hans Tompits \mathsf Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wolfgang Dvorák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran Preprocessing Argumentation Frameworks via Replacement Patterns. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Franz Baader, Francesco Kriegel, Adrian Nuradiansyah Privacy-Preserving Ontology Publishing for EL Instance Stores. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christoph Beierle, Steven Kutsch Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kees van Berkel 0002, Tim Lyon Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Bart Bogaerts 0001, Joost Vennekens Explaining Actual Causation in Terms of Possible Causal Processes. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jean-Marc Alliot, Martín Diéguez, Luis Fariñas del Cerro Metabolic Pathways as Temporal Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cosmina Croitoru, Kurt Mehlhorn Opposition Frameworks. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sylwia Polberg Understanding the Abstract Dialectical Framework. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tuan-Fang Fan, Churn-Jung Liau Reasoning About Justified Belief Based on the Fusion of Evidence. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi Writing Declarative Specifications for Clauses. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Reza Basseda, Michael Kifer Formalizing Goal Serializability for Evaluation of Planning Features. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, David Pearce 0001 On the Expressiveness of Temporal Equilibrium Logic. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Fabio Rossi, Francesco Santini 0001 A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang Refinement of Intentions. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Markus Ulbricht, Matthias Thimm, Gerhard Brewka Measuring Inconsistency in Answer Set Programs. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roman Kuznets Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1João Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza Efficient Reasoning for Inconsistent Horn Formulae. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jean-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. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sergio Greco, Francesco Parisi Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jon Yaggie, György Turán Characterizability in Horn Belief Revision. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthias Nickles A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Raul Fervari Hilbert-Style Axiomatization for Hybrid XPath with Data. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato Standard Sequent Calculi for Lewis' Logics of Counterfactuals. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite Forgetting in ASP: The Forgotten Properties. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Katarina Britz, Ivan José Varzinczak Introducing Role Defeasibility in Description Logics. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Information Flow Under Budget Constraints. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yifan Jin, Kewen Wang, Zhe Wang 0001, Zhiqiang Zhuang Revising Possibilistic Knowledge Bases via Compatibility Degrees. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Tobias Kaminski Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, David Pearce 0001, Levan Uridia On Logics of Group Belief in Structured Coalitions. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Verheij Correct Grounded Reasoning with Presumptive Arguments. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Patrick Doherty, Jonas Kvarnström, Andrzej Szalas Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract). Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Franz Baader, Pavlos Marantidis, Alexander Okhotin Approximate Unification in the Description Logic FL_0. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Loizos Michael, Antonis C. Kakas (eds.) Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Dominik Wojtczak On Decidability of a Logic of Gossips. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavlos Peppas, Mary-Anne Williams Kinetic Consistency and Relevance in Belief Revision. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zeynep Gozen Saribatur, Thomas Eiter Reactive Policies with Planning for Action Languages. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zohreh Shams, Nir Oren A Two-Phase Dialogue Game for Skeptical Preferred Semantics. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tobias Philipp, Adrian Rebola-Pardo DRAT Proofs for XOR Reasoning. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Jörg Pührer Inconsistency Management in Reactive Multi-context Systems. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Aaron Hunter, Eric Tsang GenB: A General Solver for AGM Revision. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo Pakota: A System for Enforcement in Abstract Argumentation. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Martín Diéguez Temporal Here and There. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joseph Boudou, Emiliano Lorini Decidability and Expressivity of Ockhamist Propositional Dynamic Logics. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, Ioanna Symeonidou Extensional Semantics for Higher-Order Logic Programs with Negation. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala Prompt Interval Temporal Logic. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Herzig, Laurent Perrussel, Zhanhao Xiao On Hierarchical Task Networks. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philippe Besnard Revisiting Postulates for Inconsistency Measures. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emilia Oikarinen, Matti Järvisalo Answer Set Solver Backdoors. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mark Law, Alessandra Russo, Krysia Broda Inductive Learning of Answer Set Programs. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Javier Espert, José Meseguer ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 613 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license