Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli 0001 |
Discovering Anomalies in Evidential Knowledge by Logic Programming. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Samir Chopra, Eric Pacuit, Rohit Parikh |
Knowledge-Theoretic Properties of Strategic Voting. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Cesare Tinelli, Calogero G. Zarba |
Combining Decision Procedures for Sorted Theories. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Juan José Moreno-Navarro, Susana Muñoz-Hernández |
Soundness and Completeness of an "Efficient" Negation for Prolog. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
Negation in Prolog, LP and nonmonotonic reasoning, Constructive Negation |
1 | Tommi Syrjänen |
Cardinality Constraint Programs. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rui Camacho |
IndLog - Induction in Logic. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | José Júlio Alferes, João Alexandre Leite (eds.) |
Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Mengin |
Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
Abductive Logic Programming with CIFF: System Description. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro |
A System with Template Answer Set Programs. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Ben-Naim, Salem Benferhat, Odile Papini, Éric Würbel |
An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001, Aljoscha Burchardt |
Logic Programming Infrastructure for Inferences on FrameNet. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Finzi, Thomas Lukasiewicz |
Relational Markov Games. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader |
Engineering of Logics for the Content-Based Representation of Information. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Wernhard |
Semantic Knowledge Partitioning. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nivea de Carvalho Ferreira, Michael Fisher 0001, Wiebe van der Hoek |
Practical Reasoning for Uncertain Agents. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Laura Giordano 0001, Alberto Martelli, Camilla Schwind |
Verifying Communicating Agents by Model Checking in a Temporal Action Logic. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi Dastani, Leendert W. N. van der Torre |
Games for Cognitive Agents. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
The CIFF Proof Procedure for Abductive Logic Programming with Constraints. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paul E. Dunne, Trevor J. M. Bench-Capon |
Complexity in Value-Based Argument Systems. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sylvie Doutre, Jérôme Mengin |
On Sceptical Versus Credulous Acceptance for Abstract Argument Systems. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jan M. Broersen |
On the Logic of 'Being Motivated to Achieve rho, Before delta'. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michel Ferreira, Ricardo Rocha 0001 |
The MyYapDB Deductive Database System. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Peltier |
Some Techniques for Branch-Saturation in Free-Variable Tableaux. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marco Cadoli, Toni Mancini |
Exploiting Functional Dependencies in Declarative Problem Specifications. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Arjen Hommersom, Peter J. F. Lucas, Michael Balser |
Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lee Flax |
An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luca Padovani, Alessandro Provetti |
Qsmodels: ASP Planning in Interactive Gaming Environment. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Nebel |
Formal Methods in Robotics. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Demis Ballis, Moreno Falaschi |
Verdi: An Automated Tool for Web Sites Verification. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Espen H. Lian, Tore Langholm, Arild Waaler |
Only Knowing with Confidence Levels: Reductions and Complexity. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Luca Compagna, Yuliya Lierler |
Automatic Compilation of Protocol Insecurity Problems into Logic Programming. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Bösel, Thomas Linke, Torsten Schaub |
Profiling Answer Set Programming: The Visualization Component of the noMoRe System. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Costantini, Arianna Tocchio |
The DALI Logic Programming Agent-Oriented Language. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer |
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä |
Parallel Encodings of Classical Planning as Satisfiability. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Rossi 0001 |
Representing and Reasoning with Preferences. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Cumbo, Salvatore Iiritano, Pasquale Rullo |
OLEX - A Reasoning-Based Text Classifier. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Schlobach |
Explaining Subsumption by Optimal Interpolation. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Woltran |
Characterizations for Relativized Notions of Equivalence in Answer Set Programming. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Umberto Straccia |
Transforming Fuzzy Description Logics into Classical Description Logics. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | David Pearce 0001, Agustín Valverde |
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Katsumi Inoue, Chiaki Sakama |
Equivalence of Logic Programs Under Updates. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Wölfl 0001 |
Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Luca Compagna |
SATMC: A SAT-Based Model Checker for Security Protocols. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan |
Computing the Least Common Subsumer w.r.t. a Background Terminology. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mehmet Giritli |
Measure Logics for Spatial Reasoning. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yevgeny Kazakov |
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Maarten Mariën, David Gilis, Marc Denecker |
On the Relation Between ID-Logic and Answer Set Programming. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, David Lorenzo |
Logic Programs with Functions and Default Values. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gregory R. Wheeler, Carlos Viegas Damásio |
An Implementation of Statistical Default Logic. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic |
A Logic with Conditional Probabilities. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Viegas Damásio, Jesús Medina 0001, Manuel Ojeda-Aciego |
Sorted Multi-adjoint Logic Programs: Termination Results and Applications. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer |
New DLV Features for Data Integration. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta |
The PLP System. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Agustín Valverde |
tabeql: A Tableau Based Suite for Equilibrium Logic. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Finger |
Polynomial Approximations of Full Propositional Logic via Limited Bivalence. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Marchioni, Lluís Godo |
A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tomi Janhunen, Emilia Oikarinen |
Capturing Parallel Circumscription with Disjunctive Logic Programs. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Hierarchical Decision Making by Autonomous Agents. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Doherty 0001, Steve Kertes, Martin Magnusson 0001, Andrzej Szalas |
Towards a Logical Analysis of Biochemical Pathways. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Linh Anh Nguyen |
Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Alechina, Brian Logan 0001, Mark Whitsey |
Modelling Communicating Agents in Timed Reasoning Logics. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bresolin, Angelo Montanari, Gabriele Puppis |
Time Granularities and Ultimately Periodic Automata. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paul E. Dunne, Wiebe van der Hoek |
Representation and Complexity in Boolean Games. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Ojeda-Aciego, Agustín Valverde |
tascpl: TAS Solver for Classical Propositional Logic. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Tinko Tinchev |
Line-Based Affine Reasoning in Euclidean Plane. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Linh Anh Nguyen |
The Modal Logic Programming System MProlog. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | James P. Delgrande, Torsten Schaub |
Two Approaches to Merging Knowledge Bases. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Calejo |
InterProlog: Towards a Declarative Embedding of Logic Programming in Java. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira |
Evolving Logic Programs. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Moshe Y. Vardi |
Alternation. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Cesare Tinelli |
A DPLL-Based Calculus for Ground Satisfiability Modulo Theories. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mazen El-Sayed, Daniel Pacholczyk |
A Qualitative Reasoning with Nuanced Information. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
Multiset theory, Many-valued logic, Vagueness, Knowledge representation and reasoning, Imprecision |
1 | Tomi Janhunen, Emilia Oikarinen |
Testing the Equivalence of Logic Programs under Stable Model Semantics. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Davy Van Nieuwenborgh, Dirk Vermeir |
Preferred Answer Sets for Ordered Logic Programs. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Piero A. Bonatti |
Towards Service Description Logics. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
Semantic Web, Description Logics |
1 | Fariba Sadri, Francesca Toni, Paolo Torroni |
An Abductive Logic Programming Architecture for Negotiating Agents. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres |
Answer Set Planning under Action Costs. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Helle Hvid Hansen, Marc Pauly |
Axiomatising Nash-Consistent Coalition Logic. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Guido Schimm |
Process Miner - A Tool for Mining Process Schemes from Event-Based Data. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael Minock, Hansi Kraus |
Z-log: Applying System-Z. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski |
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev |
Complexity of Multi-agent Systems Behavior. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
Multi-Agent System, Model checking, Complexity, Logic program, Temporal logics, Intelligent agent |
1 | Eyal Amir |
Interpolation Theorems for Nonmonotonic Reasoning Systems. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | James P. Delgrande, Aaron Hunter 0001, Torsten Schaub |
COBA: A Consistency-Based Belief Revision System. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev |
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Guido Governatori, Vineet Padmanabhan, Abdul Sattar 0001 |
On Fibring Semantics for BDI Logics. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang |
Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
multi agent systems, planning |
1 | Deborah East, Miroslaw Truszczynski |
The aspps System. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Costantini, Arianna Tocchio |
A Logic Programming Language for Multi-agent Systems. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Christian Anger, Kathrin Konczak, Thomas Linke |
NoMoRe : Non-monotonic Reasoning with Logic Programs. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gianluigi Greco, Ester Zumpano |
Complexity and Algorithms for the Matching of Bag and Set Terms. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Renate A. Schmidt, Dmitry Tishkovsky |
Multi-agent Logics of Dynamic Belief and Knowledge. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen |
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres |
The DLVK Planning System: Progress Report. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Fosca Giannotti, Giuseppe Manco 0001 |
LDL-Mine: Integrating Data Mining with Intelligent Query Answering. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Richard J. Wallace |
Representing Possibilities in Relation to Constraints and Agents. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni |
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|