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
1Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Guido Governatori, Vineet Padmanabhan, Abdul Sattar 0001 On Fibring Semantics for BDI Logics. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF multi agent systems, planning
1Deborah East, Miroslaw Truszczynski The aspps System. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Arianna Tocchio A Logic Programming Language for Multi-agent Systems. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Christian Anger, Kathrin Konczak, Thomas Linke NoMoRe : Non-monotonic Reasoning with Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gianluigi Greco, Ester Zumpano Complexity and Algorithms for the Matching of Bag and Set Terms. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Renate A. Schmidt, Dmitry Tishkovsky Multi-agent Logics of Dynamic Belief and Knowledge. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres The DLVK Planning System: Progress Report. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Fosca Giannotti, Giuseppe Manco LDL-Mine: Integrating Data Mining with Intelligent Query Answering. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Richard J. Wallace Representing Possibilities in Relation to Constraints and Agents. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana SMILES: A Multi-purpose Learning System. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF data mining, machine learning, comprehensibility, cost-sensitive learning, ensemble methods, Decision tree learning
1Thomas Linke, Christian Anger, Kathrin Konczak More on noMoRe. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yann Loyer, Umberto Straccia Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Tran Cao Son, Enrico Pontelli Reasoning about Actions in Prioritized Default Theory. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michael Gelfond The USA-Advisor: A Case Study in Answer Set Programming. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Koji Iwanuma, Katsumi Inoue Minimal Answer Computation and SOL. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Rolf Haenni Argumentative Reasoning with ABEL. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge An Infinite-Valued Semantics for Logic Programs with Negation. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hudson Turner Polynomial-Length Planning Spans the Polynomial Hierarchy. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Graham White 0001 A Modal Formulation of McCain and Turner's Theory of Causal Reasoning. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Pascal Nicolas, Frédéric Saubion, Igor Stéphan Answer Set Programming by Ant Colony Optimization. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sébastien Konieczny, Pierre Marquis Three-Valued Logics for Inconsistency Handling. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Camilla Schwind Towards a Conditional Logic of Actions and Causation. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni (eds.) Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira Paraconsistent Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Rosalba Giugno, Thomas Lukasiewicz P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Andrzej Szalas Second-Order Quantifier Elimination in Modal Contexts. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna Decidability of Interval Temporal Logics over Split-Frames via Granularity. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás Non-commutativity and Expressive Deductive Logic Databases. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Dongmo Zhang, Norman Y. Foo Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Leila Amgoud, Simon Parsons An Argumentation Framework for Merging Conflicting Knowledge Bases. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Marco Maratea, Armando Tacchella Dependent and Independent Variables in Propositional Satisfiability. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Christoph Beierle, Gabriele Kern-Isberner Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob Hypergraph Transversal Computation and Related Problems in Logic and AI. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira A Compilation of Updates plus Preferences. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch 0001, Simona Perri, Axel Polleres The DLV System. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Josefina Sierra-Santibáñez Declarative Formalization of Strategies for Action Selection: Applications to Planning. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen Capturing Stationary and Regular Extensions with Reiter's Extensions. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits Considerations on Updates of Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Wiebe van der Hoek, Jan Jaspars, Elias Thijsse A General Approach to Multi-agent Minimal Knowledge. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Paolo Liberatore A Framework for Belief Update. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michael J. Wooldridge, Alessio Lomuscio Multi-agent VSK Logic. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Thomas Lukasiewicz New Tractable Cases in Default Reasoning from Conditional Knowledge Bases. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Abhaya C. Nayak Acceptance Without Minimality. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Alexandre Riazanov, Andrei Voronkov Partially Adaptive Code Trees. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF term indexing, code trees, matching, automated theorem proving, subsumption
1Marina De Vos, Dirk Vermeir A Logic for Modeling Decision Making with Dynamic Preferences. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Holger Sturm, Frank Wolter, Michael Zakharyaschev Monodic Epistemic Predicate Logic. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Luís Moniz Pereira Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Johan van Benthem 'On Being Informed': Update Logics for Knowledge States. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Chunping Li Representing the Process Semantics in the Event Calculus. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Antonio Frias Delgado, Jose Antonio Jimenez Millan An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.) Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Henry Prakken On Dialogue Systems with Speech Acts, Arguments, and Counterarguments. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gerard Vreeswijk, Henry Prakken Credulous and Sceptical Argument Games for Preferred Semantics. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marco Aiello 0001 Topo-distance: Measuring the Difference between Spatial Patterns. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF RCC, model comparison games, qualitative spatial reasoning, mereotopology
1José Júlio Alferes, Luís Moniz Pereira Updates plus Preferences. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ofer Arieli An Algorithmic Approach to Recover Inconsistent Knowledge-Bases. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev Semi-qualitative Reasoning about Distances: A Preliminary Report. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde Reduction Theorems for Boolean Formulas Using Delta-Trees. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits A Compilation of Brewka and Eiter's Approach to Prioritization. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt The KeY Approach: Integrating Object Oriented Design and Formal Verification. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Pedro J. Martín, Antonio Gavilanes Simultaneous Rigid Sorted Unification. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Antonio Moreno, Ulises Cortés, Ton Sales Avoiding Logical Omniscience by Using Subjective Situations. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer A Modal Logic for Network Topologies. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jianguo Lu, Masateru Harao, Masami Hagiya Higher Order Generalization. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Frédéric Koriche A Logic for Anytime Deduction and Anytime Compilation. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti A Conditional Logic for Belief Revision. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (eds.) Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Heiko Mantel, Christoph Kreitz A Matrix Characterization for MELL. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde Implicates and Reduction Techniques for Temporal Logics. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Thielscher Towards State Update Axioms: Reifying Successor State Axioms. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Christof Monz, Maarten de Rijke A Resolution Calculus for Dynamic Semantics. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Thomas Linke, Torsten Schaub An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Luigi Palopoli, Francesco Scarcello Propositional Lower Bounds: Generalization and Algorithms. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1François Bry, Sunna Torge A Deduction Method Complete for Refutation and Finite Satisfiability. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Paul Tarau Towards Inference and Computation Mobility: The Jinni Experiment. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001 Semantics of Partial-Order Programs. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Marc Denecker The Well-Founded Semantics Is the Principle of Inductive Definition. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Maria Paola Bonacina Analysis of Distributed-Search Contraction-Based Strategies. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jeremy E. Dawson, Rajeev Goré A Mechanised Proof System for Relation Algebra using Display Logic. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Wenjin Lu, Ulrich Furbach Disjunctive Logic Program = Horn Program + Control Program. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Manfred Kerber On Knowledge, Strings, and Paradoxes. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Wiebe van der Hoek, Jan Jaspars, Elias Thijsse Persistence and Minimality in Epistemic Logic. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni Combining Introspection and Communication with Rationality and Reactivity in Agents. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Erik Sandewall The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Leendert W. N. van der Torre, Yao-Hua Tan Prohairetic Deontic Logic (PDL). Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Reinhard Pichler Algorithms on Atomic Representations of Herbrand Models. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Dirk Fuchs Requirement-Based Cooperative Theorem Proving. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Stéphane Demri, Beata Konikowska Relative Similarity Logics are Decidable: Reduction to FO2 with Equality. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Leendert W. N. van der Torre Phased Labeled Logics of Conditional Goals. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Cees Witteveen, Wiebe van der Hoek Revising and Updating Using a Back-Up Semantics. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Updating, Nonmonotonic Reasoning, Theory Revision
1Brandon Bennett Carving Up Space: Steps Towards Construction of an Absolutely Complete Theory of Spatial Regions. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Filipe Santos, José Carmo A Modal Action Logic Based Framework for Organization Specification and Analysis. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder 0001 Design and Implementation of Diagnostic Strategies Using Modal Logic. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner 0001, Ulrich Furbach, Ilkka Niemelä Hyper Tableaux. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #401 - #500 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