default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuis Fariñas del Cerro
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i8]Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann:
Metric Dynamic Equilibrium Logic. CoRR abs/2401.10781 (2024)- 2023
- [j45]Arvid Becker, Pedro Cabalar, Martín Diéguez
, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann:
Metric dynamic equilibrium logic. J. Appl. Non Class. Logics 33(3-4): 495-519 (2023) - [j44]Marta Cialdea Mayer, Luis Fariñas del Cerro:
Logical connectives for two-state semantics. J. Appl. Non Class. Logics 33(3-4): 520-536 (2023) - [j43]Jorge Fandinno, Luis Fariñas del Cerro:
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic. Theory Pract. Log. Program. 23(2): 444-467 (2023) - 2022
- [j42]Maria Eugenia Cornejo, Luis Fariñas del Cerro, Jesús Medina:
Multi-adjoint lattice logic and truth-stressing hedges. Fuzzy Sets Syst. 445: 43-65 (2022) - [j41]Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron:
Modal Logic With Non-Deterministic Semantics: Part II - Quantified Case. Log. J. IGPL 30(5): 695-727 (2022) - [c65]Maria Eugenia Cornejo, Luis Fariñas del Cerro, Jesús Medina:
Multi-adjoint Lattice Logic. Properties and Query Answering. EPIA 2022: 701-712 - [i7]Jorge Fandinno, Luis Fariñas del Cerro:
Abstract argumentation and answer set programming: two faces of Nelson's logic. CoRR abs/2203.14405 (2022) - 2021
- [j40]Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex:
Valid attacks in argumentation frameworks with recursive attacks. Ann. Math. Artif. Intell. 89(1-2): 53-101 (2021) - [j39]Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro:
A Framework for Modelling Molecular Interaction Maps. FLAP 8(7): 1917-1952 (2021) - [j38]Maria Eugenia Cornejo, Luis Fariñas del Cerro, Jesús Medina:
A logical characterization of multi-adjoint algebras. Fuzzy Sets Syst. 425: 140-156 (2021) - [j37]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Splitting Epistemic Logic Programs. Theory Pract. Log. Program. 21(3): 296-316 (2021) - 2020
- [j36]Ezgi Iraz Su, Luis Fariñas del Cerro, Andreas Herzig:
Autoepistemic equilibrium logic and epistemic specifications. Artif. Intell. 282: 103249 (2020) - [j35]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Autoepistemic answer set programming. Artif. Intell. 289: 103382 (2020) - [j34]Marcelo E. Coniglio, Luis Fariñas del Cerro, Marques Peron Newton:
Modal logic with non-deterministic semantics: Part I - Propositional case. Log. J. IGPL 28(3): 281-315 (2020) - [c64]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. ICLP Workshops 2020 - [c63]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
On the Splitting Property for Epistemic Logic Programs (Extended Abstract). IJCAI 2020: 4721-4725 - [i6]Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro:
A framework for modelling Molecular Interaction Maps. CoRR abs/2008.09546 (2020)
2010 – 2019
- 2019
- [j33]Philippe Balbiani, Martín Diéguez, Luis Fariñas del Cerro:
Setting the Basis for Here and There Modal Logics. FLAP 6(6): 1475-1500 (2019) - [c62]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Splitting Epistemic Logic Programs. LPNMR 2019: 120-133 - [c61]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Founded World Views with Autoepistemic Equilibrium Logic. LPNMR 2019: 134-147 - [i5]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Founded World Views with Autoepistemic Equilibrium Logic. CoRR abs/1902.07741 (2019) - [i4]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. CoRR abs/1905.10621 (2019) - 2018
- [j32]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce:
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Theory Pract. Log. Program. 18(3-4): 390-405 (2018) - [c60]Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex:
Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports. COMMA 2018: 29-36 - [c59]Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex:
Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports. FoIKS 2018: 150-169 - [c58]Jorge Fandinno, Luis Fariñas del Cerro:
Constructive Logic Covers Argumentation and Logic Programming. KR 2018: 128-137 - [i3]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce:
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. CoRR abs/1805.00660 (2018) - [i2]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Splitting Epistemic Logic Programs. CoRR abs/1812.08763 (2018) - 2017
- [c57]Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex:
Valid Attacks in Argumentation Frameworks with Recursive Attacks. COMMONSENSE 2017 - [c56]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
On the Properties of Atom Definability and Well-Supportedness in Logic Programming. EPIA 2017: 624-636 - 2016
- [j31]Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron:
Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'. J. Appl. Non Class. Logics 26(4): 336-345 (2016) - [j30]Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid:
Translation of first order formulas into ground formulas via a completion theory. J. Appl. Log. 15: 130-149 (2016) - [c55]Jean-Marc Alliot, Martín Diéguez, Luis Fariñas del Cerro:
Metabolic Pathways as Temporal Logic Programs. JELIA 2016: 3-17 - [p4]Jean-Marc Alliot, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro, Gilles Favre, Jean-Charles Faye, Naji Obeid, Olivier Sordet:
Temporal Logic Modeling of Biological Systems. Towards Paraconsistent Engineering 2016: 205-226 - 2015
- [j29]Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron:
Finite non-deterministic semantics for some modal systems. J. Appl. Non Class. Logics 25(1): 20-45 (2015) - [c54]Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su:
Epistemic Equilibrium Logic. IJCAI 2015: 2964-2970 - 2014
- [b1]Luis Fariñas del Cerro, Katsumi Inoue:
Logical Modeling of Biological Systems. Bioengineering and Health Science Series, iSTE / Wiley 2014, ISBN 978-1-84821-680-8, pp. I-XVI, 1-410 - [j28]Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su:
Capturing equilibrium models in modal logic. J. Appl. Log. 12(2): 192-207 (2014) - [c53]Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
A Free Logic for Stable Models with Partial Intensional Functions. JELIA 2014: 340-354 - 2013
- [c52]Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid:
Automated Reasoning in Metabolic Networks with Inhibition. AI*IA 2013: 37-47 - [c51]Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. IJCAI 2013: 891-897 - [c50]Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su:
Combining Equilibrium Logic and Dynamic Logic. LPNMR 2013: 304-316 - [i1]Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade:
An Ordinal View of Independence with Application to Plausible Reasoning. CoRR abs/1302.6803 (2013) - 2012
- [j27]Luis Fariñas del Cerro, Andreas Herzig:
La logique modale des modèles d'équilibre. Rev. d'Intelligence Artif. 26(1-2): 85-102 (2012) - [c49]Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
Bi-state Logic. Correct Reasoning 2012: 265-278 - [e3]Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin:
Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Lecture Notes in Computer Science 7519, Springer 2012, ISBN 978-3-642-33352-1 [contents] - 2011
- [c48]Luis Fariñas del Cerro, Andreas Herzig:
Logics of Contingency. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c47]Luis Fariñas del Cerro, Andreas Herzig:
The Modal Logic of Equilibrium Models. FroCoS 2011: 135-146 - [c46]Luis Fariñas del Cerro, Andreas Herzig:
Contingency-Based Equilibrium Logic. LPNMR 2011: 223-228 - [e2]Edward Hermann Haeusler, Luis Fariñas del Cerro:
Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010. Electronic Notes in Theoretical Computer Science 269, Elsevier 2011 [contents] - 2010
- [j26]Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig:
Foreword. J. Appl. Non Class. Logics 20(4): 311 (2010) - [j25]Robert Demolombe, Luis Fariñas del Cerro:
Information About a Given Entity: From Semantics Towards Automated Deduction. J. Log. Comput. 20(6): 1231-1250 (2010) - [c45]Edward Hermann Haeusler, Luis Fariñas del Cerro:
Preface. LSFA 2010: 1-2
2000 – 2009
- 2009
- [c44]Robert Demolombe, Luis Fariñas del Cerro:
How to Produce Information About a Given Entity Using Automated Deduction Methods. LSFA 2009: 19-31 - 2007
- [c43]Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig:
Global and Local Graph Modifiers. M4M 2007: 293-307 - 2005
- [c42]Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade:
Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) 2005: 587-614 - 2003
- [j24]Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig:
Foreword. J. Appl. Non Class. Logics 13(1): 7-8 (2003) - 2002
- [j23]Luis Fariñas del Cerro, Olivier Gasquet:
A General Framework for Pattern-Driven Modal Tableaux. Log. J. IGPL 10(1): 51-83 (2002) - [j22]Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
Tractability Results in the Block Algebra. J. Log. Comput. 12(5): 885-909 (2002) - 2001
- [c41]Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci:
Lotrec : The Generic Tableau Prover for Modal and Description Logics. IJCAR 2001: 453-458 - 2000
- [j21]Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro:
A mixed decision method for duration calculus. J. Log. Comput. 10(6): 877-895 (2000) - [c40]Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro:
A Decision Method for Duration Calculus. RelMiCS 2000: 31-44 - [c39]Robert Demolombe, Luis Fariñas del Cerro:
Towards a Logical Characterization of Sentences of the Kind "Sentence p is about Object c". Intellectics and Computational Logic 2000: 85-99
1990 – 1999
- 1999
- [j20]Luis Fariñas del Cerro, Olivier Gasquet:
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. Fundam. Informaticae 40(4): 317-333 (1999) - [j19]Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro:
A Decision Method for Duration Calculus. J. Univers. Comput. Sci. 5(11): 743-764 (1999) - [c38]Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. EPIA 1999: 75-89 - [c37]Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
A New Tractable Subclass of the Rectangle Algebra. IJCAI 1999: 442-447 - 1998
- [j18]Philippe Balbiani, Luis Fariñas del Cerro:
Complete axiomatization of a relative modal logic with composition and intersection. J. Appl. Non Class. Logics 8(4): 325-335 (1998) - [c36]Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig:
Modal tableaux based on graph-rules. RelMiCS 1998: 37-42 - [c35]Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani:
Reasoning about Generalized Intervals. AIMSA 1998: 50-61 - [c34]Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi:
Belief Reconstruction in Cooperative Dialogues. AIMSA 1998: 254-266 - [c33]Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
A Model for Reasoning about Bidemsional Temporal Relations. KR 1998: 124-130 - [e1]Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach:
Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Lecture Notes in Computer Science 1489, Springer 1998, ISBN 3-540-65141-1 [contents] - 1997
- [j17]Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig:
Modal Tableaux with Propagation Rules and Structural Rules. Fundam. Informaticae 32(3-4): 281-297 (1997) - [j16]Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov:
Modal Logics for Incidence Geometries. J. Log. Comput. 7(1): 59-78 (1997) - [c32]Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade:
Qualitative Relevance and Independence: A Roadmap. IJCAI (1) 1997: 62-67 - 1996
- [c31]Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov:
Geometrical Structures and Modal Logic. FAPR 1996: 43-57 - [c30]Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig:
Talkin'bout Consistency, or: When Logically Possible Becomes Possible. FAPR 1996: 141-150 - [c29]Luis Fariñas del Cerro, Andreas Herzig:
Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. FroCoS 1996: 93-102 - [c28]Luis Fariñas del Cerro, Andreas Herzig:
Belief Change and Dependence. TARK 1996: 147-161 - [p3]Philippe Besnard, Luis Fariñas del Cerro, Dov M. Gabbay, Anthony Hunter:
Logical Handling of Inconsistent and Default Information. Uncertainty Management in Information Systems 1996: 325-342 - [p2]Gabriella Crocco, Luis Fariñas del Cerro:
Counterfactuals: Foundations for Nonmonotonic Inferences Sequent Systems. Logic, Action, and Information 1996: 173-188 - [p1]Luis Fariñas del Cerro, Andreas Herzig:
Revisions, Updated, and Interference. Logic, Action, and Information 1996: 189-207 - 1994
- [j15]Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang:
From Ordering-Based Nonmonotonic Reasoning to Conditional Logics. Artif. Intell. 66(2): 375-393 (1994) - [j14]Luis Fariñas del Cerro, Andreas Herzig:
Interference logic = conditional logic + frame axiom. Int. J. Intell. Syst. 9(1): 119-130 (1994) - [c27]Luis Fariñas del Cerro, Andreas Herzig:
Possibility Theory and Independence. IPMU 1994: 292-301 - [c26]Luis Fariñas del Cerro, Andreas Herzig:
A Conditional Logic for Updating in the Possible Models Approach. KI 1994: 237-247 - [c25]Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade:
An Ordinal View of Independence with Application to Plausible Reasoning. UAI 1994: 195-203 - 1993
- [j13]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:
DRUMS: Defeasible Reasoning and Uncertainty Management Systems. AI Commun. 6(1): 27-46 (1993) - [c24]Philippe Balbiani, Luis Fariñas del Cerro:
Affine Geometry of Collinearity and Conditional Term Rewriting. Term Rewriting 1993: 196-213 - [c23]Luis Fariñas del Cerro, Andreas Herzig:
Interference Logic = Conditional Logic + Frame Axiom. ECSQARU 1993: 105-112 - 1992
- [c22]Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang:
From Ordering Based Nonmonotonic Reasoning to Conditional Logics. ECAI 1992: 314-318 - [c21]Luis Fariñas del Cerro, Andreas Herzig:
Metaprogramming Through Intensional Deduction: Some Examples. META 1992: 11-25 - 1991
- [c20]Luis Fariñas del Cerro, Andreas Herzig:
A Modal Analysis of Possibility Theory. ECSQARU 1991: 58-62 - [c19]Luis Fariñas del Cerro, Andreas Herzig:
A modal analysis of possibility theory. FAIR 1991: 11-18 - [c18]Robert Demolombe, Luis Fariñas del Cerro:
An Inference Rule for Hypothesis Generation. IJCAI 1991: 152-157 - [c17]Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques:
Contextual Negations and Reasoning with Contradictions. IJCAI 1991: 532-537 - 1990
- [c16]Luis Fariñas del Cerro, Martti Penttonen:
Logics with Structured Contexts. AIMSA 1990: 43-50 - [c15]Luis Fariñas del Cerro, Andreas Herzig:
Deterministic Modal Logics for Automated Deduction. ECAI 1990: 262-267
1980 – 1989
- 1989
- [j12]Patrice Enjalbert, Luis Fariñas del Cerro:
Modal Resolution in Clausal Form. Theor. Comput. Sci. 65(1): 1-33 (1989) - [c14]Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig:
Plan Generation by Linear Proofs: On Semantics. GWAI 1989: 49-62 - 1988
- [j11]Robert Demolombe, Luis Fariñas del Cerro:
An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. J. Log. Program. 5(3): 183-206 (1988) - [c13]Luis Fariñas del Cerro, Andreas Herzig:
Linear Modal Deductions. CADE 1988: 487-499 - [c12]Pierre Bieber, Luis Fariñas del Cerro, Andreas Herzig:
MOLOG: a Modal PROLOG. CADE 1988: 762-763 - [c11]Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig:
Declarative Semantics for Modal Logic Programs. FGCS 1988: 507-514 - 1987
- [j10]Luis Fariñas del Cerro, Martti Penttonen:
A Note of the Complexity of the Satisfiability of Modal Horn Clauses. J. Log. Program. 4(1): 1-10 (1987) - 1986
- [j9]Marta Cialdea, Luis Fariñas del Cerro:
A Modal Herbrand's Property. Math. Log. Q. 32(31-34): 523-530 (1986) - [j8]Luis Fariñas del Cerro:
MOLOG: A System That Extends PROLOG with Modal Logic. New Gener. Comput. 4(1): 35-50 (1986) - [j7]Luis Fariñas del Cerro, Ewa Orlowska:
Corrigendum: DAL-A Logic for Data Analysis. Theor. Comput. Sci. 47(3): 345 (1986) - 1985
- [j6]Luis Fariñas del Cerro, Ewa Orlowska:
DAL - A Logic for Data Analysis. Theor. Comput. Sci. 36: 251-264 (1985) - [c10]Robert Demolombe, Luis Fariñas del Cerro:
Efficient Representation of Incomplete Information About Structured Objects. Foundations of Knowledge Base Management (Xania) 1985: 73-89 - 1984
- [j5]Luis Fariñas del Cerro:
Un Principe de Résolution en Logique Modale. RAIRO Theor. Informatics Appl. 18(2): 161-170 (1984) - [c9]Ana R. Cavalli, Luis Fariñas del Cerro:
A Decision Method for Linear Temporal Logic. CADE 1984: 113-127 - [c8]Luis Fariñas del Cerro, Ewa Orlowska:
DAL: A Logic for Data Analysis. ECAI 1984: 337-346 - [c7]Luis Fariñas del Cerro, Ewa Orlowska:
DAL - A Logic for Data Analysis. FGCS 1984: 254-261 - [c6]Luis Fariñas del Cerro:
Resolution Modal Logics. Logics and Models of Concurrent Systems 1984: 27-55 - [c5]Luis Fariñas del Cerro, Said Soulhi:
Mutual Belief Logic for Processing Definite Reference. Natural Language Understanding and Natural Language Understanding Workshop 1984: 65-78 - [c4]Ana R. Cavalli, Luis Fariñas del Cerro:
Specification and Verification of Networks Protocols Using. Symposium on Programming 1984: 59-73 - 1983
- [j4]Luis Fariñas del Cerro:
Space as Time. Inf. Process. Lett. 17(3): 113-115 (1983) - [c3]Luis Fariñas del Cerro:
Temporal Reasoning and Termination of Programs. IJCAI 1983: 926-929 - 1982
- [j3]Luis Fariñas del Cerro:
A Simple Deduction Method for Modal Logic. Inf. Process. Lett. 14(2): 49-51 (1982) - [j2]Luis Fariñas del Cerro:
Les Modalités de la Correction Totale. RAIRO Theor. Informatics Appl. 16(4): 349-363 (1982) - [c2]Luis Fariñas del Cerro:
A Deduction Method for Modal Logic. ECAI 1982: 60-61
1970 – 1979
- 1977
- [j1]Jean-Paul Cheylan, Luis Fariñas del Cerro:
Analyse de l'evolution des utilisations des sols (construction de modeles explicatifs). Comput. Graph. 2(4): 255- (1977) - [c1]Mario Borillo, Luis Fariñas del Cerro, Jacques Virbel:
Validation Problems in Pattern Recognition Study of a Particular Case. IFIP Congress 1977: 253-257
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
