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)
Publication types (Num. hits)
inproceedings(546) proceedings(14)
Venues (Conferences, Journals, ...)
JELIA(560)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 97 occurrences of 79 keywords

Results
Found 560 publication records. Showing 560 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
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
1Saïd Jabbour, João Marques-Silva, Lakhdar Sais, Yakoub Salhi Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Bartholomew, Joohyung Lee System aspmt2smt: Computing ASPMT Theories by SMT Solvers. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Johannes Marti, Riccardo Pinosio Similarity Orders from Causal Equations. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego Revisiting Reductants in the Multi-adjoint Logic Programming Framework. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso Verification of Context-Sensitive Knowledge and Action Bases. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michel Ludwig, Rafael Peñaloza Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Giuseppe Marra, Francesco Ricca, Giorgio Terracina, Domenico Ursino Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marija Slavkovik, Thomas Ågotnes Measuring Dissimilarity between Judgment Sets. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1François Schwarzentruber, Jin-Kao Hao Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Cosmina Croitoru Argumentative Aggregation of Individual Opinions. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hector Geffner Non-classical Planning with a Classical Planner: The Power of Transformations. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Konstantinos Georgatos A Logic for Belief Contraction. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada Efficient Program Transformers for Translating LCC to PDL. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anthony Hunter Opportunities for Argument-Centric Persuasion in Behaviour Change. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 Computing Repairs for Inconsistent DL-programs over EL Ontologies. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Jussi Rintanen SAT Modulo Graphs: Acyclicity. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sylwia Polberg, Dragan Doder Probabilistic Abstract Dialectical Frameworks. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandiño, Michael Fink 0001 A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Diego Calvanese Query Answering over Description Logic Ontologies. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer Reasoning about Dynamic Normative Systems. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Thomas Eiter, Nicola Leone Modular Paracoherent Answer Sets. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jori Bomanson, Martin Gebser, Tomi Janhunen Improving the Normalization of Weight Rules in Answer Set Programs. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pedro 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 JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond Finitary S5-Theories. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dimitris Askounis, Costas D. Koutras, Christos Moyzes, Yorgos Zikos Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian Eichhorn, Gabriele Kern-Isberner LEG Networks for Ranking Functions. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Henning Köhler, Uwe Leck, Sebastian Link, Henri Prade Logical Foundations of Possibilistic Keys. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ismail Ilkan Ceylan, Rafael Peñaloza Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Salem Benferhat, Zied Bouraoui, Odile Papini, Eric Würbel A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hans Rott Four Floors for the Theory of Theory Change: The Case of Imperfect Discrimination. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Giovanni Casini, Thomas Meyer 0002, Kodylan Moodley, Riku Nortje Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexander Baumgartner, Temur Kutsia A Library of Anti-unification Algorithms. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran The D-FLAT System for Dynamic Programming on Tree Decompositions. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Lara Spendier Tools for the Investigation of Substructural and Paraconsistent Logics. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yi Wang Stable Models of Fuzzy Propositional Formulas. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Henning Köhler, Sebastian Link Logics for Approximating Implication Problems of Saturated Conditional Independence. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente Logic Foundations of the OCL Modelling Language. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis A Translation-Based Approach for Revision of Argumentation Frameworks. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fabio Patrizi, Stavros Vassos Action Theories over Generalized Databases with Equality Constraints. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias Knorr, José Júlio Alferes Preserving Strong Equivalence while Forgetting. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pavlos Peppas, Mary-Anne Williams Constructive Models for Contraction with Intransitive Plausibility Indifference. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Eduardo Fermé, João Leite (eds.) Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Guillaume Feuillade, Andreas Herzig A Dynamic View of Active Integrity Constraints. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Constraint-Based Algorithm for Computing Temporal Invariants. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stefan 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 JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Costas D. Koutras, Christos Moyzes, Yorgos Zikos A Modal Logic of Knowledge, Belief, and Estimation. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anna Zamansky A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicolas Troquard, Dirk Walther 0002 On Satisfiability in ATL with Strategy Contexts. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato A Minimal Model Semantics for Nonmonotonic Reasoning. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 560 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
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