Luis Fariñas del Cerro

According to our database1, Luis Fariñas del Cerro authored at least 93 papers between 1977 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Setting the Basis for Here and There Modal Logics.
FLAP, 2019

Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning.
CoRR, 2019

Founded World Views with Autoepistemic Equilibrium Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Splitting Epistemic Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

2018
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates.
Theory Pract. Log. Program., 2018

Constructive Logic Covers Argumentation and Logic Programming.
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.
Proceedings of the Foundations of Information and Knowledge Systems, 2018

Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports.
Proceedings of the Computational Models of Argument, 2018

2017
On the Properties of Atom Definability and Well-Supportedness in Logic Programming.
Proceedings of the Progress in Artificial Intelligence, 2017

Valid Attacks in Argumentation Frameworks with Recursive Attacks.
Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

2016
Temporal Logic Modeling of Biological Systems.
Proceedings of the Towards Paraconsistent Engineering, 2016

Translation of first order formulas into ground formulas via a completion theory.
J. Appl. Log., 2016

Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'.
Journal of Applied Non-Classical Logics, 2016

Metabolic Pathways as Temporal Logic Programs.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015
Finite non-deterministic semantics for some modal systems.
Journal of Applied Non-Classical Logics, 2015

Epistemic Equilibrium Logic.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014
Capturing equilibrium models in modal logic.
J. Appl. Log., 2014

A Free Logic for Stable Models with Partial Intensional Functions.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Logical Modeling of Biological Systems.
Bioengineering and Health Science Series, iSTE / Wiley, ISBN: 978-1-84821-680-8, 2014

2013
Combining Equilibrium Logic and Dynamic Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions.
Proceedings of the IJCAI 2013, 2013

Automated Reasoning in Metabolic Networks with Inhibition.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012
La logique modale des modèles d'équilibre.
Revue d'Intelligence Artificielle, 2012

Bi-state Logic.
Proceedings of the Correct Reasoning, 2012

2011
Contingency-Based Equilibrium Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The Modal Logic of Equilibrium Models.
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

Logics of Contingency.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
Information About a Given Entity: From Semantics Towards Automated Deduction.
J. Log. Comput., 2010

Preface.
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.
Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009

Global and Local Graph Modifiers.
Electron. Notes Theor. Comput. Sci., 2009

2005
Modal Tableaux: Completeness vs. Termination.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2003
Foreword.
Journal of Applied Non-Classical Logics, 2003

2002
Tractability Results in the Block Algebra.
J. Log. Comput., 2002

A General Framework for Pattern-Driven Modal Tableaux.
Logic Journal of the IGPL, 2002

2001
Lotrec : The Generic Tableau Prover for Modal and Description Logics.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000
A mixed decision method for duration calculus.
J. Log. Comput., 2000

Towards a Logical Characterization of Sentences of the Kind "Sentence p is about Object c".
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.
J. UCS, 1999

Tableaux Based Decision Procedures for Modal Logics of Confluence and Density.
Fundam. Inform., 1999

A New Tractable Subclass of the Rectangle Algebra.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations.
Proceedings of the Progress in Artificial Intelligence, 1999

1998
Complete axiomatization of a relative modal logic with composition and intersection.
Journal of Applied Non-Classical Logics, 1998

A Model for Reasoning about Bidemsional Temporal Relations.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Belief Reconstruction in Cooperative Dialogues.
Proceedings of the Artificial Intelligence: Methodology, 1998

Reasoning about Generalized Intervals.
Proceedings of the Artificial Intelligence: Methodology, 1998

Modal tableaux based on graph-rules.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997
Modal Logics for Incidence Geometries.
J. Log. Comput., 1997

Modal Tableaux with Propagation Rules and Structural Rules.
Fundam. Inform., 1997

Qualitative Relevance and Independence: A Roadmap.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996
Belief Change and Dependence.
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

Counterfactuals: Foundations for Nonmonotonic Inferences Sequent Systems.
Proceedings of the Logic, Action, and Information, 1996

Revisions, Updated, and Interference.
Proceedings of the Logic, Action, and Information, 1996

Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional.
Proceedings of the Frontiers of Combining Systems, 1996

Talkin'bout Consistency, or: When Logically Possible Becomes Possible.
Proceedings of the Practical Reasoning, 1996

Geometrical Structures and Modal Logic.
Proceedings of the Practical Reasoning, 1996

Logical Handling of Inconsistent and Default Information.
Proceedings of the Uncertainty Management in Information Systems: From Needs to Solution., 1996

1994
Interference logic = conditional logic + frame axiom.
Int. J. Intell. Syst., 1994

From Ordering-Based Nonmonotonic Reasoning to Conditional Logics.
Artif. Intell., 1994

An Ordinal View of Independence with Application to Plausible Reasoning.
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.
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

Possibility Theory and Independence.
Proceedings of the Advances in Intelligent Computing, 1994

1993
DRUMS: Defeasible Reasoning and Uncertainty Management Systems.
AI Commun., 1993

Affine Geometry of Collinearity and Conditional Term Rewriting.
Proceedings of the Term Rewriting, 1993

1992
Metaprogramming Through Intensional Deduction: Some Examples.
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

1991
An Inference Rule for Hypothesis Generation.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Contextual Negations and Reasoning with Contradictions.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

A Modal Analysis of Possibility Theory.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1990
Deterministic Modal Logics for Automated Deduction.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

Logics with Structured Contexts.
Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990

1989
Modal Resolution in Clausal Form.
Theor. Comput. Sci., 1989

Plan Generation by Linear Proofs: On Semantics.
Proceedings of the GWAI-89, 1989

1988
An Algebraic Evaluation Method for Deduction in Incomplete Data Bases.
J. Log. Program., 1988

Declarative Semantics for Modal Logic Programs.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Linear Modal Deductions.
Proceedings of the 9th International Conference on Automated Deduction, 1988

MOLOG: a Modal PROLOG.
Proceedings of the 9th International Conference on Automated Deduction, 1988

1987
A Note of the Complexity of the Satisfiability of Modal Horn Clauses.
J. Log. Program., 1987

1986
Corrigendum: DAL-A Logic for Data Analysis.
Theor. Comput. Sci., 1986

MOLOG: A System That Extends PROLOG with Modal Logic.
New Generation Comput., 1986

A Modal Herbrand's Property.
Math. Log. Q., 1986

1985
DAL - A Logic for Data Analysis.
Theor. Comput. Sci., 1985

Efficient Representation of Incomplete Information About Structured Objects.
Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

1984
Un Principe de Résolution en Logique Modale.
ITA, 1984

Specification and Verification of Networks Protocols Using.
Proceedings of the International Symposium on Programming, 1984

Mutual Belief Logic for Processing Definite Reference.
Proceedings of the Natural Language Understanding and Logic Programming, 1984

A Decision Method for Linear Temporal Logic.
Proceedings of the 7th International Conference on Automated Deduction, 1984

1983
Space as Time.
Inf. Process. Lett., 1983

Temporal Reasoning and Termination of Programs.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
Les Modalités de la Correction Totale.
ITA, 1982

A Simple Deduction Method for Modal Logic.
Inf. Process. Lett., 1982

A Deduction Method for Modal Logic.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982

1977
Analyse de l'evolution des utilisations des sols (construction de modeles explicatifs).
Comput. Graph., 1977

Validation Problems in Pattern Recognition Study of a Particular Case.
Proceedings of the Information Processing, 1977


  Loading...