Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana |
SMILES: A Multi-purpose Learning System. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
data mining, machine learning, comprehensibility, cost-sensitive learning, ensemble methods, Decision tree learning |
1 | Thomas Linke, Christian Anger, Kathrin Konczak |
More on noMoRe. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yann Loyer, Umberto Straccia |
Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tran Cao Son, Enrico Pontelli |
Reasoning about Actions in Prioritized Default Theory. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael Gelfond |
The USA-Advisor: A Case Study in Answer Set Programming. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Koji Iwanuma, Katsumi Inoue |
Minimal Answer Computation and SOL. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Haenni |
Argumentative Reasoning with ABEL. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Panos Rondogiannis, William W. Wadge |
An Infinite-Valued Semantics for Logic Programs with Negation. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hudson Turner |
Polynomial-Length Planning Spans the Polynomial Hierarchy. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Graham White 0001 |
A Modal Formulation of McCain and Turner's Theory of Causal Reasoning. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Nicolas, Frédéric Saubion, Igor Stéphan |
Answer Set Programming by Ant Colony Optimization. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Konieczny, Pierre Marquis |
Three-Valued Logics for Inconsistency Handling. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Laura Giordano 0001, Camilla Schwind |
Towards a Conditional Logic of Actions and Causation. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni (eds.) |
Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira |
Paraconsistent Logic Programs. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rosalba Giugno, Thomas Lukasiewicz |
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Szalas |
Second-Order Quantifier Elimination in Modal Contexts. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna |
Decidability of Interval Temporal Logics over Split-Frames via Granularity. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stanislav Krajci, Rastislav Lencses, Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás |
Non-commutativity and Expressive Deductive Logic Databases. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Dongmo Zhang, Norman Y. Foo |
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Leila Amgoud, Simon Parsons |
An Argumentation Framework for Merging Conflicting Knowledge Bases. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
Dependent and Independent Variables in Propositional Satisfiability. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Beierle, Gabriele Kern-Isberner |
Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Georg Gottlob |
Hypergraph Transversal Computation and Related Problems in Logic and AI. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | José Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira |
A Compilation of Updates plus Preferences. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nicola 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. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Josefina Sierra-Santibáñez |
Declarative Formalization of Strategies for Action Selection: Applications to Planning. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tomi Janhunen |
Capturing Stationary and Regular Extensions with Reiter's Extensions. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits |
Considerations on Updates of Logic Programs. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Wiebe van der Hoek, Jan Jaspars, Elias Thijsse |
A General Approach to Multi-agent Minimal Knowledge. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Liberatore |
A Framework for Belief Update. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Wooldridge, Alessio Lomuscio |
Multi-agent VSK Logic. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Thomas Lukasiewicz |
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Abhaya C. Nayak |
Acceptance Without Minimality. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Riazanov, Andrei Voronkov |
Partially Adaptive Code Trees. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
term indexing, code trees, matching, automated theorem proving, subsumption |
1 | Marina De Vos, Dirk Vermeir |
A Logic for Modeling Decision Making with Dynamic Preferences. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Holger Sturm, Frank Wolter, Michael Zakharyaschev |
Monodic Epistemic Predicate Logic. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Viegas Damásio, Luís Moniz Pereira |
Hybrid Probabilistic Logic Programs as Residuated Logic Programs. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Johan van Benthem |
'On Being Informed': Update Logics for Knowledge States. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Chunping Li |
Representing the Process Semantics in the Event Calculus. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Frias Delgado, Jose Antonio Jimenez Millan |
An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Manuel 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 |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Henry Prakken |
On Dialogue Systems with Speech Acts, Arguments, and Counterarguments. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gerard Vreeswijk, Henry Prakken |
Credulous and Sceptical Argument Games for Preferred Semantics. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Marco Aiello 0001 |
Topo-distance: Measuring the Difference between Spatial Patterns. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
RCC, model comparison games, qualitative spatial reasoning, mereotopology |
1 | José Júlio Alferes, Luís Moniz Pereira |
Updates plus Preferences. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ofer Arieli |
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
Semi-qualitative Reasoning about Distances: A Preliminary Report. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez 0001, Manuel Ojeda-Aciego, Agustín Valverde |
Reduction Theorems for Boolean Formulas Using Delta-Trees. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | James P. Delgrande, Torsten Schaub, Hans Tompits |
A Compilation of Brewka and Eiter's Approach to Prioritization. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang 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. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Pedro J. Martín, Antonio Gavilanes |
Simultaneous Rigid Sorted Unification. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Moreno, Ulises Cortés, Ton Sales |
Avoiding Logical Omniscience by Using Subjective Situations. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
A Modal Logic for Network Topologies. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jianguo Lu, Masateru Harao, Masami Hagiya |
Higher Order Generalization. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Koriche |
A Logic for Anytime Deduction and Anytime Compilation. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti |
A Conditional Logic for Belief Revision. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jü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 |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Mantel, Christoph Kreitz |
A Matrix Characterization for MELL. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Implicates and Reduction Techniques for Temporal Logics. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Michael Thielscher |
Towards State Update Axioms: Reifying Successor State Axioms. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Tomi Janhunen |
On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Christof Monz, Maarten de Rijke |
A Resolution Calculus for Dynamic Semantics. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal |
Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Linke, Torsten Schaub |
An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Marco Cadoli, Luigi Palopoli 0001, Francesco Scarcello |
Propositional Lower Bounds: Generalization and Algorithms. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | François Bry, Sunna Torge 0001 |
A Deduction Method Complete for Refutation and Finite Satisfiability. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
Towards Inference and Computation Mobility: The Jinni Experiment. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Osorio 0001 |
Semantics of Partial-Order Programs. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Marc Denecker |
The Well-Founded Semantics Is the Principle of Inductive Definition. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina |
Analysis of Distributed-Search Contraction-Based Strategies. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy E. Dawson, Rajeev Goré |
A Mechanised Proof System for Relation Algebra using Display Logic. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Wenjin Lu, Ulrich Furbach |
Disjunctive Logic Program = Horn Program + Control Program. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Kerber |
On Knowledge, Strings, and Paradoxes. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Wiebe van der Hoek, Jan Jaspars, Elias Thijsse |
Persistence and Minimality in Epistemic Logic. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni |
Combining Introspection and Communication with Rationality and Reactivity in Agents. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Erik Sandewall |
The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Leendert W. N. van der Torre, Yao-Hua Tan |
Prohairetic Deontic Logic (PDL). |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Pichler |
Algorithms on Atomic Representations of Herbrand Models. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Fuchs |
Requirement-Based Cooperative Theorem Proving. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri, Beata Konikowska |
Relative Similarity Logics are Decidable: Reduction to FO2 with Equality. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Leendert W. N. van der Torre |
Phased Labeled Logics of Conditional Goals. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Cees Witteveen, Wiebe van der Hoek |
Revising and Updating Using a Back-Up Semantics. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
Updating, Nonmonotonic Reasoning, Theory Revision |
1 | Brandon Bennett |
Carving Up Space: Steps Towards Construction of an Absolutely Complete Theory of Spatial Regions. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Filipe Santos, José Carmo |
A Modal Action Logic Based Framework for Organization Specification and Analysis. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Peter Fröhlich 0001, Wolfgang Nejdl, Michael Schroeder 0001 |
Design and Implementation of Diagnostic Strategies Using Modal Logic. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001, Ulrich Furbach, Ilkka Niemelä |
Hyper Tableaux. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Bourely, Gilles Défourneaux, Nicolas Peltier |
Building Proofs or Counterexamples by Analogy in a Resoluton Framework. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
extended resolution, second order terms, generalization, analogy, model building |
1 | Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin |
Extensions for Open Default Theories via the Domain Closure Assumption. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino |
Informational Logic for Automated Reasoning. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Regimantas Pliuskevicius |
Similarity Saturation for First Order Linear Temporal Logic with UNLESS. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brass, Jürgen Dix |
Characterizing D-WFS: Confluence and Iterated GCWA. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Robert A. Kowalski |
Logic Programming with Integrity Constraints. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Hans de Nivelle |
An Algorithm for the Retrieval of Unifiers from Discrimination Trees. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
Algorithms, Implementation, Automated Theorem Proving |
1 | Philippe Besnard, Torsten Schaub |
A Simple Signed System for Paraconsistent Reasoning. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Anatoli Degtyarev, Andrei Voronkov |
What You Always Wanted to Know About Rigid E-Unification. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Chandrabose Aravindan |
An Abductive Framework for Negation in Disjunctive Logic Programming. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gert Smolka |
The Oz Programming Model. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski |
Infinitary Default Logic for Specification of Nonmonotonic Reasoning. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
infinitary default logic, representability, extensions, default logic |
1 | Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo |
Labelled Proofs for Quantified Modal Logic. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|