Luis Fariñas del Cerro

Martín Diéguez

FLAP, 2019

Founded World Views with Autoepistemic Equilibrium Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

2018

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Constructive Logic Covers Argumentation and Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports.

[BibT_eX]

[DOI]

Claudette Cayrol

Marie-Christine Lagasquie-Schiex

Proceedings of the Foundations of Information and Knowledge Systems, 2018

Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports.

[BibT_eX]

[DOI]

Claudette Cayrol

Marie-Christine Lagasquie-Schiex

Proceedings of the Computational Models of Argument, 2018

2017

On the Properties of Atom Definability and Well-Supportedness in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2017

2016

Temporal Logic Modeling of Biological Systems.

[BibT_eX]

[DOI]

Jean-Marc Alliot

Martín Diéguez

Proceedings of the Towards Paraconsistent Engineering, 2016

Translation of first order formulas into ground formulas via a completion theory.

[BibT_eX]

[DOI]

Naji Obeid

J. Appl. Log., 2016

Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'.

[BibT_eX]

[DOI]

Marcelo E. Coniglio

Newton Marques Peron

J. Appl. Non Class. Logics, 2016

Metabolic Pathways as Temporal Logic Programs.

[BibT_eX]

[DOI]

Jean-Marc Alliot

Martín Diéguez

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015

Finite non-deterministic semantics for some modal systems.

[BibT_eX]

[DOI]

Marcelo E. Coniglio

Newton Marques Peron

J. Appl. Non Class. Logics, 2015

Epistemic Equilibrium Logic.

[BibT_eX]

[DOI]

Ezgi Iraz Su

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Capturing equilibrium models in modal logic.

[BibT_eX]

[DOI]

Ezgi Iraz Su

J. Appl. Log., 2014

A Free Logic for Stable Models with Partial Intensional Functions.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Logical Modeling of Biological Systems.

[BibT_eX]

[DOI]

Katsumi Inoue

Bioengineering and Health Science Series, iSTE / Wiley, ISBN: 978-1-84821-680-8, 2014

2013

Combining Equilibrium Logic and Dynamic Logic.

[BibT_eX]

[DOI]

Ezgi Iraz Su

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Automated Reasoning in Metabolic Networks with Inhibition.

[BibT_eX]

[DOI]

Naji Obeid

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012

La logique modale des modèles d'équilibre.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2012

Bi-state Logic.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

2011

Contingency-Based Equilibrium Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The Modal Logic of Equilibrium Models.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

Logics of Contingency.

[BibT_eX]

[DOI]

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

Information About a Given Entity: From Semantics Towards Automated Deduction.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

Preface.

[BibT_eX]

[DOI]

Edward Hermann Haeusler

Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

2009

How to Produce Information About a Given Entity Using Automated Deduction Methods.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009

2007

Global and Local Graph Modifiers.

[BibT_eX]

[DOI]

Guillaume Aucher

Proceedings of the 5th Workshop on Methods for Modalities, 2007

2005

Modal Tableaux: Completeness vs. Termination.

[BibT_eX]

Mohamad Sahade

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2003

Foreword.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2003

2002

Tractability Results in the Block Algebra.

[BibT_eX]

[DOI]

J. Log. Comput., 2002

A General Framework for Pattern-Driven Modal Tableaux.

[BibT_eX]

[DOI]

Log. J. IGPL, 2002

2001

Lotrec : The Generic Tableau Prover for Modal and Description Logics.

[BibT_eX]

[DOI]

Nathalie Chetcuti-Sperandio

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

A mixed decision method for duration calculus.

[BibT_eX]

[DOI]

J. Log. Comput., 2000

Towards a Logical Characterization of Sentences of the Kind "Sentence p is about Object c".

[BibT_eX]

Nathalie Chetcuti-Sperandio

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

1999

A Decision Method for Duration Calculus.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1999

Tableaux Based Decision Procedures for Modal Logics of Confluence and Density.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

A New Tractable Subclass of the Rectangle Algebra.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1999

1998

Complete axiomatization of a relative modal logic with composition and intersection.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1998

A Model for Reasoning about Bidemsional Temporal Relations.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Belief Reconstruction in Cooperative Dialogues.

[BibT_eX]

[DOI]

Dominique Longin

Omar Rifi

Proceedings of the Artificial Intelligence: Methodology, 1998

Reasoning about Generalized Intervals.

[BibT_eX]

[DOI]

Aomar Osmani

Proceedings of the Artificial Intelligence: Methodology, 1998

Modal tableaux based on graph-rules.

[BibT_eX]

Marcos A. Castilho

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Modal Logics for Incidence Geometries.

[BibT_eX]

[DOI]

Tinko Tinchev

Dimiter Vakarelov

J. Log. Comput., 1997

Modal Tableaux with Propagation Rules and Structural Rules.

[BibT_eX]

[DOI]

Marcos A. Castilho

Fundam. Informaticae, 1997

Qualitative Relevance and Independence: A Roadmap.

[BibT_eX]

[DOI]

Didier Dubois

Henri Prade

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

Belief Change and Dependence.

[BibT_eX]

Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

Counterfactuals: Foundations for Nonmonotonic Inferences Sequent Systems.

[BibT_eX]

Gabriella Crocco

Proceedings of the Logic, Action, and Information, 1996

Revisions, Updated, and Interference.

[BibT_eX]

Proceedings of the Logic, Action, and Information, 1996

Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional.

[BibT_eX]

Proceedings of the Frontiers of Combining Systems, 1996

Talkin'bout Consistency, or: When Logically Possible Becomes Possible.

[BibT_eX]

[DOI]

Antonio Frias Delgado

Proceedings of the Practical Reasoning, 1996

Geometrical Structures and Modal Logic.

[BibT_eX]

[DOI]

Tinko Tinchev

Dimiter Vakarelov

Proceedings of the Practical Reasoning, 1996

Logical Handling of Inconsistent and Default Information.

[BibT_eX]

Philippe Besnard

Dov M. Gabbay

Anthony Hunter

Proceedings of the Uncertainty Management in Information Systems: From Needs to Solution., 1996

1994

Interference logic = conditional logic + frame axiom.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1994

From Ordering-Based Nonmonotonic Reasoning to Conditional Logics.

[BibT_eX]

[DOI]

Jérôme Lang

Artif. Intell., 1994

An Ordinal View of Independence with Application to Plausible Reasoning.

[BibT_eX]

[DOI]

Didier Dubois

Henri Prade

Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

A Conditional Logic for Updating in the Possible Models Approach.

[BibT_eX]

[DOI]

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

Possibility Theory and Independence.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent Computing, 1994

1993

DRUMS: Defeasible Reasoning and Uncertainty Management Systems.

[BibT_eX]

[DOI]

AI Commun., 1993

Affine Geometry of Collinearity and Conditional Term Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Term Rewriting, 1993

1992

Metaprogramming Through Intensional Deduction: Some Examples.

[BibT_eX]

[DOI]

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

1991

An Inference Rule for Hypothesis Generation.

[BibT_eX]

[DOI]

Walter Alexandre Carnielli

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Contextual Negations and Reasoning with Contradictions.

[BibT_eX]

[DOI]

Mamede Lima-Marques

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

A Modal Analysis of Possibility Theory.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1990

Deterministic Modal Logics for Automated Deduction.

[BibT_eX]

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

Logics with Structured Contexts.

[BibT_eX]

Martti Penttonen

Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990

1989

Modal Resolution in Clausal Form.

[BibT_eX]

[DOI]

Patrice Enjalbert

Theor. Comput. Sci., 1989

Plan Generation by Linear Proofs: On Semantics.

[BibT_eX]

[DOI]

Wolfgang Bibel

Bertram Fronhöfer

Proceedings of the GWAI-89, 1989

1988

An Algebraic Evaluation Method for Deduction in Incomplete Data Bases.

[BibT_eX]

[DOI]

J. Log. Program., 1988

Declarative Semantics for Modal Logic Programs.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Linear Modal Deductions.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Automated Deduction, 1988

MOLOG: a Modal PROLOG.

[BibT_eX]

[DOI]

Pierre Bieber

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

A Note of the Complexity of the Satisfiability of Modal Horn Clauses.

[BibT_eX]

[DOI]

Martti Penttonen

J. Log. Program., 1987

1986

Corrigendum: DAL-A Logic for Data Analysis.

[BibT_eX]

Ewa Orlowska

Theor. Comput. Sci., 1986

MOLOG: A System That Extends PROLOG with Modal Logic.

[BibT_eX]

[DOI]

New Gener. Comput., 1986

A Modal Herbrand's Property.

[BibT_eX]

[DOI]

Marta Cialdea

Math. Log. Q., 1986

1985

DAL - A Logic for Data Analysis.

[BibT_eX]

[DOI]

Ewa Orlowska

Theor. Comput. Sci., 1985

Efficient Representation of Incomplete Information About Structured Objects.

[BibT_eX]

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

1984

Un Principe de Résolution en Logique Modale.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1984

Specification and Verification of Networks Protocols Using.

[BibT_eX]

[DOI]

Ana R. Cavalli

Proceedings of the International Symposium on Programming, 1984

Mutual Belief Logic for Processing Definite Reference.

[BibT_eX]

Said Soulhi

Proceedings of the Natural Language Understanding and Logic Programming, 1984

Resolution Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics and Models of Concurrent Systems, 1984

A Decision Method for Linear Temporal Logic.

[BibT_eX]

[DOI]

Ana R. Cavalli

Proceedings of the 7th International Conference on Automated Deduction, 1984

1983

Space as Time.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1983

Temporal Reasoning and Termination of Programs.

[BibT_eX]

[DOI]

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

Les Modalités de la Correction Totale.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1982

A Simple Deduction Method for Modal Logic.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1982

A Deduction Method for Modal Logic.

[BibT_eX]

Proceedings of the 5th European Conference on Artificial Intelligence, 1982

1977

Analyse de l'evolution des utilisations des sols (construction de modeles explicatifs).

[BibT_eX]

[DOI]

Jean-Paul Cheylan

Comput. Graph., 1977

Validation Problems in Pattern Recognition Study of a Particular Case.

[BibT_eX]

Mario Borillo