Luis Fariñas del Cerro

126 papers A* 9A 9B 9C 4Misc 7Journal 53Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Bounded and multi-adjoint lattice algebraizable logics. Int. J. Approx. Reason. Maria Eugenia Cornejo, Francesc Esteva, Luis Fariñas del Cerro, Lluís Godo, Jesús Medina
2024	J	`jnl`	Metric Dynamic Equilibrium Logic. CoRR Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
2023	J	`jnl`	Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic. Theory Pract. Log. Program. Jorge Fandinno, Luis Fariñas del Cerro
2023	J	`jnl`	Logical connectives for two-state semantics. J. Appl. Non Class. Logics Marta Cialdea Mayer, Luis Fariñas del Cerro
2023	J	`jnl`	Metric dynamic equilibrium logic. J. Appl. Non Class. Logics Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
2022	J	`jnl`	Abstract argumentation and answer set programming: two faces of Nelson's logic. CoRR Jorge Fandinno, Luis Fariñas del Cerro
2022	J	`jnl`	Modal Logic With Non-Deterministic Semantics: Part II - Quantified Case. Log. J. IGPL Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron
2022	Misc	`conf`	Multi-adjoint Lattice Logic. Properties and Query Answering. EPIA Maria Eugenia Cornejo, Luis Fariñas del Cerro, Jesús Medina
2022	J	`jnl`	Multi-adjoint lattice logic and truth-stressing hedges. Fuzzy Sets Syst. Maria Eugenia Cornejo, Luis Fariñas del Cerro, Jesús Medina
2021	J	`jnl`	A Framework for Modelling Molecular Interaction Maps. FLAP Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro
2021	J	`jnl`	A logical characterization of multi-adjoint algebras. Fuzzy Sets Syst. Maria Eugenia Cornejo, Luis Fariñas del Cerro, Jesús Medina
2021	J	`jnl`	Splitting Epistemic Logic Programs. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2021	J	`jnl`	Valid attacks in argumentation frameworks with recursive attacks. Ann. Math. Artif. Intell. Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
2020	J	`jnl`	A framework for modelling Molecular Interaction Maps. CoRR Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro
2020	J	`jnl`	Autoepistemic answer set programming. Artif. Intell. Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2020	J	`jnl`	Autoepistemic equilibrium logic and epistemic specifications. Artif. Intell. Ezgi Iraz Su, Luis Fariñas del Cerro, Andreas Herzig
2020	—	`conf`	Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. ICLP Workshops Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2020	J	`jnl`	Modal logic with non-deterministic semantics: Part I - Propositional case. Log. J. IGPL Marcelo E. Coniglio, Luis Fariñas del Cerro, Marques Peron Newton
2020	A*	`conf`	On the Splitting Property for Epistemic Logic Programs (Extended Abstract). IJCAI Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2019	J	`jnl`	Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. CoRR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2019	B	`conf`	Founded World Views with Autoepistemic Equilibrium Logic. LPNMR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2019	J	`jnl`	Founded World Views with Autoepistemic Equilibrium Logic. CoRR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2019	J	`jnl`	Setting the Basis for Here and There Modal Logics. FLAP Philippe Balbiani, Martín Diéguez, Luis Fariñas del Cerro
2019	B	`conf`	Splitting Epistemic Logic Programs. LPNMR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2018	—	`conf`	Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports. FoIKS Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
2018	A*	`conf`	Constructive Logic Covers Argumentation and Logic Programming. KR Jorge Fandinno, Luis Fariñas del Cerro
2018	J	`jnl`	Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. CoRR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
2018	J	`jnl`	Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
2018	J	`jnl`	Splitting Epistemic Logic Programs. CoRR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2018	C	`conf`	Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports. COMMA Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
2017	Misc	`conf`	On the Properties of Atom Definability and Well-Supportedness in Logic Programming. EPIA Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2017	—	`conf`	Valid Attacks in Argumentation Frameworks with Recursive Attacks. COMMONSENSE Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
2016	J	`jnl`	Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'. J. Appl. Non Class. Logics Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron
2016	B	`conf`	Metabolic Pathways as Temporal Logic Programs. JELIA Jean-Marc Alliot, Martín Diéguez, Luis Fariñas del Cerro
2016	—	`ch.`	Temporal Logic Modeling of Biological Systems. Towards Paraconsistent Engineering Jean-Marc Alliot, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro, Gilles Favre, Jean-Charles Faye, Naji Obeid, Olivier Sordet
2016	J	`jnl`	Translation of first order formulas into ground formulas via a completion theory. J. Appl. Log. Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
2015	A*	`conf`	Epistemic Equilibrium Logic. IJCAI Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
2015	J	`jnl`	Finite non-deterministic semantics for some modal systems. J. Appl. Non Class. Logics Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron
2014	B	`conf`	A Free Logic for Stable Models with Partial Intensional Functions. JELIA Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2014	J	`jnl`	Capturing equilibrium models in modal logic. J. Appl. Log. Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
2014	—	`book`	Logical Modeling of Biological Systems. Luis Fariñas del Cerro, Katsumi Inoue
2013	J	`jnl`	An Ordinal View of Independence with Application to Plausible Reasoning CoRR Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
2013	—	`conf`	Automated Reasoning in Metabolic Networks with Inhibition. AI*IA Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
2013	B	`conf`	Combining Equilibrium Logic and Dynamic Logic. LPNMR Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
2013	A*	`conf`	FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. IJCAI Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2012	—	`conf`	Bi-state Logic. Correct Reasoning Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2012	J	`jnl`	La logique modale des modèles d'équilibre. Rev. d'Intelligence Artif. Luis Fariñas del Cerro, Andreas Herzig
2012	B	`ed.`	Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings JELIA Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin
2011	B	`conf`	Contingency-Based Equilibrium Logic. LPNMR Luis Fariñas del Cerro, Andreas Herzig
2011	—	`conf`	Logics of Contingency. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Luis Fariñas del Cerro, Andreas Herzig
2011	—	`ed.`	Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010 LSFA Edward Hermann Haeusler, Luis Fariñas del Cerro
2011	—	`conf`	The Modal Logic of Equilibrium Models. FroCoS Luis Fariñas del Cerro, Andreas Herzig
2010	J	`jnl`	Foreword. J. Appl. Non Class. Logics Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
2010	J	`jnl`	Information About a Given Entity: From Semantics Towards Automated Deduction. J. Log. Comput. Robert Demolombe, Luis Fariñas del Cerro
2010	—	`conf`	Preface. LSFA Edward Hermann Haeusler, Luis Fariñas del Cerro
2009	—	`conf`	How to Produce Information About a Given Entity Using Automated Deduction Methods. LSFA Robert Demolombe, Luis Fariñas del Cerro
2007	—	`conf`	Global and Local Graph Modifiers. M4M Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
2005	—	`conf`	Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
2003	J	`jnl`	Foreword. J. Appl. Non Class. Logics Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig
2002	J	`jnl`	A General Framework for Pattern-Driven Modal Tableaux. Log. J. IGPL Luis Fariñas del Cerro, Olivier Gasquet
2002	J	`jnl`	Tractability Results in the Block Algebra. J. Log. Comput. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
2001	A	`conf`	Lotrec : The Generic Tableau Prover for Modal and Description Logics. IJCAR Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci
2000	—	`conf`	A Decision Method for Duration Calculus. RelMiCS Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
2000	J	`jnl`	A mixed decision method for duration calculus. J. Log. Comput. Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
2000	—	`conf`	Towards a Logical Characterization of Sentences of the Kind "Sentence Intellectics and Computational Logic Robert Demolombe, Luis Fariñas del Cerro
1999	J	`jnl`	A Decision Method for Duration Calculus. J. Univers. Comput. Sci. Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
1999	A*	`conf`	A New Tractable Subclass of the Rectangle Algebra. IJCAI Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
1999	Misc	`conf`	A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. EPIA Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
1999	J	`jnl`	Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. Fundam. Informaticae Luis Fariñas del Cerro, Olivier Gasquet
1998	A*	`conf`	A Model for Reasoning about Bidemsional Temporal Relations. KR Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
1998	Misc	`conf`	Belief Reconstruction in Cooperative Dialogues. AIMSA Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi
1998	J	`jnl`	Complete axiomatization of a relative modal logic with composition and intersection. J. Appl. Non Class. Logics Philippe Balbiani, Luis Fariñas del Cerro
1998	B	`ed.`	Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings JELIA Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach
1998	—	`conf`	Modal tableaux based on graph-rules. RelMiCS Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
1998	Misc	`conf`	Reasoning about Generalized Intervals. AIMSA Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani
1997	J	`jnl`	Modal Logics for Incidence Geometries. J. Log. Comput. Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
1997	J	`jnl`	Modal Tableaux with Propagation Rules and Structural Rules. Fundam. Informaticae Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
1997	—	`conf`	Qualitative Relevance and Independence: A Roadmap. IJCAI (1) Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
1996	B	`conf`	Belief Change and Dependence. TARK Luis Fariñas del Cerro, Andreas Herzig
1996	—	`conf`	Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. FroCoS Luis Fariñas del Cerro, Andreas Herzig
1996	—	`ch.`	Counterfactuals: Foundations for Nonmonotonic Inferences Sequent Systems. Logic, Action, and Information Gabriella Crocco, Luis Fariñas del Cerro
1996	—	`conf`	Geometrical Structures and Modal Logic. FAPR Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
1996	—	`ch.`	Logical Handling of Inconsistent and Default Information. Uncertainty Management in Information Systems Philippe Besnard, Luis Fariñas del Cerro, Dov M. Gabbay, Anthony Hunter
1996	—	`ch.`	Revisions, Updated, and Interference. Logic, Action, and Information Luis Fariñas del Cerro, Andreas Herzig
1996	—	`conf`	Talkin'bout Consistency, or: When Logically Possible Becomes Possible. FAPR Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig
1994	Misc	`conf`	A Conditional Logic for Updating in the Possible Models Approach. KI Luis Fariñas del Cerro, Andreas Herzig
1994	A	`conf`	An Ordinal View of Independence with Application to Plausible Reasoning. UAI Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
1994	J	`jnl`	From Ordering-Based Nonmonotonic Reasoning to Conditional Logics. Artif. Intell. Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang
1994	J	`jnl`	Interference logic = conditional logic + frame axiom. Int. J. Intell. Syst. Luis Fariñas del Cerro, Andreas Herzig
1994	C	`conf`	Possibility Theory and Independence. IPMU Luis Fariñas del Cerro, Andreas Herzig
1993	—	`conf`	Affine Geometry of Collinearity and Conditional Term Rewriting. Term Rewriting Philippe Balbiani, Luis Fariñas del Cerro
1993	J	`jnl`	DRUMS: Defeasible Reasoning and Uncertainty Management Systems. AI Commun. Philippe Besnard, Yves Moinard, Wilmer Pereira, Michael Clarke, Nic Wilson, Miguel Delgado, Serafín Moral, Juan Cano, Didier Dubois, Henri Prade, Luis Fariñas del Cerro, Jérôme Lang, Stéphane Amarger, John Fox, Paul J. Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramón López de Mántaras, Lluís Godo, E. H. Mamdani, John Bigham, Simon Parsons, Rudolf Kruse, Olivier Paillet, Pierre Siegel, Philippe Smets, Yen-Teh Hsia, Alessandro Saffiotti, Robert Kennes, Hong Xu, Elizabeth Umkehrer, Kurt Sundermeyer, Chris Whitney
1993	C	`conf`	Interference Logic = Conditional Logic + Frame Axiom. ECSQARU Luis Fariñas del Cerro, Andreas Herzig
1992	A	`conf`	From Ordering Based Nonmonotonic Reasoning to Conditional Logics. ECAI Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang
1992	—	`conf`	Metaprogramming Through Intensional Deduction: Some Examples. META Luis Fariñas del Cerro, Andreas Herzig
1991	C	`conf`	A Modal Analysis of Possibility Theory. ECSQARU Luis Fariñas del Cerro, Andreas Herzig
1991	—	`conf`	A modal analysis of possibility theory. FAIR Luis Fariñas del Cerro, Andreas Herzig
1991	A*	`conf`	An Inference Rule for Hypothesis Generation. IJCAI Robert Demolombe, Luis Fariñas del Cerro
1991	A*	`conf`	Contextual Negations and Reasoning with Contradictions. IJCAI Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques
1990	A	`conf`	Deterministic Modal Logics for Automated Deduction. ECAI Luis Fariñas del Cerro, Andreas Herzig
1990	Misc	`conf`	Logics with Structured Contexts. AIMSA Luis Fariñas del Cerro, Martti Penttonen
1989	J	`jnl`	Modal Resolution in Clausal Form. Theor. Comput. Sci. Patrice Enjalbert, Luis Fariñas del Cerro
1989	—	`conf`	Plan Generation by Linear Proofs: On Semantics. GWAI Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig
1988	J	`jnl`	An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. J. Log. Program. Robert Demolombe, Luis Fariñas del Cerro
1988	—	`conf`	Declarative Semantics for Modal Logic Programs. FGCS Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
1988	A	`conf`	Linear Modal Deductions. CADE Luis Fariñas del Cerro, Andreas Herzig
1988	A	`conf`	MOLOG: a Modal PROLOG. CADE Pierre Bieber, Luis Fariñas del Cerro, Andreas Herzig
1987	J	`jnl`	A Note of the Complexity of the Satisfiability of Modal Horn Clauses. J. Log. Program. Luis Fariñas del Cerro, Martti Penttonen
1986	J	`jnl`	A Modal Herbrand's Property. Math. Log. Q. Marta Cialdea, Luis Fariñas del Cerro
1986	J	`jnl`	MOLOG: A System That Extends PROLOG with Modal Logic. New Gener. Comput. Luis Fariñas del Cerro
1985	J	`jnl`	DAL - A Logic for Data Analysis. Theor. Comput. Sci. Luis Fariñas del Cerro, Ewa Orlowska
1985	—	`conf`	Efficient Representation of Incomplete Information About Structured Objects. Foundations of Knowledge Base Management (Xania) Robert Demolombe, Luis Fariñas del Cerro
1984	A	`conf`	A Decision Method for Linear Temporal Logic. CADE Ana R. Cavalli, Luis Fariñas del Cerro
1984	—	`conf`	DAL - A Logic for Data Analysis. FGCS Luis Fariñas del Cerro, Ewa Orlowska
1984	A	`conf`	DAL: A Logic for Data Analysis. ECAI Luis Fariñas del Cerro, Ewa Orlowska
1984	—	`conf`	Mutual Belief Logic for Processing Definite Reference. Natural Language Understanding and Natural Language Understanding Workshop Luis Fariñas del Cerro, Said Soulhi
1984	—	`conf`	Resolution Modal Logics. Logics and Models of Concurrent Systems Luis Fariñas del Cerro
1984	—	`conf`	Specification and Verification of Networks Protocols Using. Symposium on Programming Ana R. Cavalli, Luis Fariñas del Cerro
1984	J	`jnl`	Un Principe de Résolution en Logique Modale. RAIRO Theor. Informatics Appl. Luis Fariñas del Cerro
1983	J	`jnl`	Space as Time. Inf. Process. Lett. Luis Fariñas del Cerro
1983	A*	`conf`	Temporal Reasoning and Termination of Programs. IJCAI Luis Fariñas del Cerro
1982	A	`conf`	A Deduction Method for Modal Logic. ECAI Luis Fariñas del Cerro
1982	J	`jnl`	A Simple Deduction Method for Modal Logic. Inf. Process. Lett. Luis Fariñas del Cerro
1982	J	`jnl`	Les Modalités de la Correction Totale. RAIRO Theor. Informatics Appl. Luis Fariñas del Cerro
1977	J	`jnl`	Analyse de l'evolution des utilisations des sols (construction de modeles explicatifs). Comput. Graph. Jean-Paul Cheylan, Luis Fariñas del Cerro
1977	—	`conf`	Validation Problems in Pattern Recognition Study of a Particular Case. IFIP Congress Mario Borillo, Luis Fariñas del Cerro, Jacques Virbel