The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luis Fariñas del Cerro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luis Fariñas del Cerro
    A Simple Deduction Method for Modal Logic. [Citation Graph (1, 0)][DBLP]
    Inf. Process. Lett., 1982, v:14, n:2, pp:49-51 [Journal]
  2. Robert Demolombe, Luis Fariñas del Cerro
    An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1988, v:5, n:3, pp:183-206 [Journal]
  3. Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
    Modal tableaux based on graph-rules. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:37-42 [Conf]
  4. Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
    A Decision Method for Duration Calculus. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:31-44 [Conf]
  5. Philippe Balbiani, Luis Fariñas del Cerro
    Affine Geometry of Collinearity and Conditional Term Rewriting. [Citation Graph (0, 0)][DBLP]
    Term Rewriting, 1993, pp:196-213 [Conf]
  6. Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi
    Belief Reconstruction in Cooperative Dialogues. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:254-266 [Conf]
  7. Luis Fariñas del Cerro, Martti Penttonen
    Logics with Structured Contexts. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1990, pp:43-50 [Conf]
  8. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani
    Reasoning about Generalized Intervals. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:50-61 [Conf]
  9. Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
    Modal Tableaux: Completeness vs. Termination. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:587-614 [Conf]
  10. Robert Demolombe, Luis Fariñas del Cerro
    Towards a Logical Characterization of Sentences of the Kind "Sentence p is about Object c". [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:85-99 [Conf]
  11. Pierre Bieber, Luis Fariñas del Cerro, Andreas Herzig
    MOLOG: a Modal PROLOG. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:762-763 [Conf]
  12. Ana R. Cavalli, Luis Fariñas del Cerro
    A Decision Method for Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1984, pp:113-127 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:453-458 [Conf]
  14. Luis Fariñas del Cerro, Andreas Herzig
    Linear Modal Deductions. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:487-499 [Conf]
  15. Robert Demolombe, Luis Fariñas del Cerro
    Efficient Representation of Incomplete Information About Structured Objects. [Citation Graph (0, 0)][DBLP]
    Foundations of Knowledge Base Management (Xania), 1985, pp:73-89 [Conf]
  16. Luis Fariñas del Cerro
    A Deduction Method for Modal Logic. [Citation Graph (0, 0)][DBLP]
    ECAI, 1982, pp:60-61 [Conf]
  17. Luis Fariñas del Cerro, Andreas Herzig
    Deterministic Modal Logics for Automated Deduction. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:262-267 [Conf]
  18. Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang
    From Ordering Based Nonmonotonic Reasoning to Conditional Logics. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:314-318 [Conf]
  19. Luis Fariñas del Cerro, Ewa Orlowska
    DAL: A Logic for Data Analysis. [Citation Graph (0, 0)][DBLP]
    ECAI, 1984, pp:337-346 [Conf]
  20. Luis Fariñas del Cerro, Andreas Herzig
    A Modal Analysis of Possibility Theory. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1991, pp:58-62 [Conf]
  21. Luis Fariñas del Cerro, Andreas Herzig
    Interference Logic = Conditional Logic + Frame Axiom. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:105-112 [Conf]
  22. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
    A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. [Citation Graph (0, 0)][DBLP]
    EPIA, 1999, pp:75-89 [Conf]
  23. Luis Fariñas del Cerro, Andreas Herzig
    A modal analysis of possibility theory. [Citation Graph (0, 0)][DBLP]
    FAIR, 1991, pp:11-18 [Conf]
  24. Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
    Geometrical Structures and Modal Logic. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:43-57 [Conf]
  25. Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig
    Talkin'bout Consistency, or: When Logically Possible Becomes Possible. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:141-150 [Conf]
  26. Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
    Declarative Semantics for Modal Logic Programs. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:507-514 [Conf]
  27. Luis Fariñas del Cerro, Ewa Orlowska
    DAL - A Logic for Data Analysis. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:254-261 [Conf]
  28. Luis Fariñas del Cerro, Andreas Herzig
    Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:93-102 [Conf]
  29. Mario Borillo, Luis Fariñas del Cerro, Jacques Virbel
    Validation Problems in Pattern Recognition Study of a Particular Case. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:253-257 [Conf]
  30. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
    A New Tractable Subclass of the Rectangle Algebra. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:442-447 [Conf]
  31. Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima Marques
    Contextual Negations and Reasoning with Contradictions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:532-537 [Conf]
  32. Luis Fariñas del Cerro
    Temporal Reasoning and Termination of Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:926-929 [Conf]
  33. Robert Demolombe, Luis Fariñas del Cerro
    An Inference Rule for Hypothesis Generation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:152-157 [Conf]
  34. Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
    Qualitative Relevance and Independence: A Roadmap. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:62-67 [Conf]
  35. Luis Fariñas del Cerro, Andreas Herzig
    Possibility Theory and Independence. [Citation Graph (0, 0)][DBLP]
    IPMU, 1994, pp:292-301 [Conf]
  36. Luis Fariñas del Cerro, Andreas Herzig
    A Conditional Logic for Updating in the Possible Models Approach. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:237-247 [Conf]
  37. Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig
    Plan Generation by Linear Proofs: On Semantics. [Citation Graph (0, 0)][DBLP]
    GWAI, 1989, pp:49-62 [Conf]
  38. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
    A Model for Reasoning about Bidemsional Temporal Relations. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:124-130 [Conf]
  39. Luis Fariñas del Cerro, Andreas Herzig
    Revisions, Updated, and Interference. [Citation Graph (0, 0)][DBLP]
    Logic, Action, and Information, 1996, pp:189-207 [Conf]
  40. Gabriella Crocco, Luis Fariñas del Cerro
    Counterfactuals: Foundations for Nonmonotonic Inferences Sequent Systems. [Citation Graph (0, 0)][DBLP]
    Logic, Action, and Information, 1996, pp:173-188 [Conf]
  41. Luis Fariñas del Cerro, Andreas Herzig
    Metaprogramming Through Intensional Deduction: Some Examples. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:11-25 [Conf]
  42. Luis Fariñas del Cerro, Said Soulhi
    Mutual Belief Logic for Processing Definite Reference. [Citation Graph (0, 0)][DBLP]
    Natural Language Understanding and Natural Language Understanding Workshop, 1984, pp:65-78 [Conf]
  43. Ana R. Cavalli, Luis Fariñas del Cerro
    Specification and Verification of Networks Protocols Using. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:59-73 [Conf]
  44. Luis Fariñas del Cerro, Andreas Herzig
    Belief Change and Dependence. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:147-161 [Conf]
  45. Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
    An Ordinal View of Independence with Application to Plausible Reasoning. [Citation Graph (0, 0)][DBLP]
    UAI, 1994, pp:195-203 [Conf]
  46. Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang
    From Ordering-Based Nonmonotonic Reasoning to Conditional Logics. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1994, v:66, n:2, pp:375-393 [Journal]
  47. 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 Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramon López de Mántaras, Lluis 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. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1993, v:6, n:1, pp:27-46 [Journal]
  48. Jean-Paul Cheylan, Luis Fariñas del Cerro
    Analyse de l'evolution des utilisations des sols (construction de modeles explicatifs). [Citation Graph (0, 0)][DBLP]
    Computers & Graphics, 1977, v:2, n:4, pp:255-0 [Journal]
  49. Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
    Modal Tableaux with Propagation Rules and Structural Rules. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:3-4, pp:281-297 [Journal]
  50. Luis Fariñas del Cerro, Olivier Gasquet
    Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:40, n:4, pp:317-333 [Journal]
  51. Luis Fariñas del Cerro, Olivier Gasquet
    A General Framework for Pattern-Driven Modal Tableaux. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:1, pp:51-83 [Journal]
  52. Luis Fariñas del Cerro
    Space as Time. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1983, v:17, n:3, pp:113-115 [Journal]
  53. Luis Fariñas del Cerro
    Les Modalités de la Correction Totale. [Citation Graph (0, 0)][DBLP]
    ITA, 1982, v:16, n:4, pp:349-363 [Journal]
  54. Luis Fariñas del Cerro
    Un Principe de Résolution en Logique Modale. [Citation Graph (0, 0)][DBLP]
    ITA, 1984, v:18, n:2, pp:161-170 [Journal]
  55. Philippe Balbiani, Luis Fariñas del Cerro
    Complete axiomatization of a relative modal logic with composition and intersection. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1998, v:8, n:4, pp:- [Journal]
  56. Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig
    Foreword. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:1, pp:7-8 [Journal]
  57. Luis Fariñas del Cerro, Martti Penttonen
    A Note of the Complexity of the Satisfiability of Modal Horn Clauses. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1987, v:4, n:1, pp:1-10 [Journal]
  58. Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
    A Decision Method for Duration Calculus. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1999, v:5, n:11, pp:743-764 [Journal]
  59. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
    Tractability Results in the Block Algebra. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:5, pp:885-909 [Journal]
  60. Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
    Modal Logics for Incidence Geometries. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:1, pp:59-78 [Journal]
  61. Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
    A mixed decision method for duration calculus. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:6, pp:877-895 [Journal]
  62. Luis Fariñas del Cerro
    MOLOG: A System That Extends PROLOG with Modal Logic. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1986, v:4, n:1, pp:35-50 [Journal]
  63. Luis Fariñas del Cerro, Ewa Orlowska
    DAL - A Logic for Data Analysis. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:36, n:, pp:251-264 [Journal]
  64. Luis Fariñas del Cerro, Ewa Orlowska
    Corrigendum: DAL-A Logic for Data Analysis. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:47, n:3, pp:345- [Journal]
  65. Patrice Enjalbert, Luis Fariñas del Cerro
    Modal Resolution in Clausal Form. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1989, v:65, n:1, pp:1-33 [Journal]

  66. Global and Local Graph Modifiers. [Citation Graph (, )][DBLP]


  67. How to Produce Information About a Given Entity Using Automated Deduction Methods. [Citation Graph (, )][DBLP]


Search in 0.022secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002