dblp.uni-trier.dewww.uni-trier.de

Luis Fariñas del Cerro Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Stéphane Amarger [33]
2Guillaume Aucher [68]
3Philippe Balbiani [20] [34] [45] [47] [50] [52] [53] [58] [59] [65] [66] [68]
4Philippe Besnard [33] [40]
5Wolfgang Bibel [24]
6Pierre Bieber [21]
7John Bigham [33]
8Mario Borillo [2]
9Juan Cano [33]
10Walter Alexandre Carnielli [27]
11Marcos A. Castilho [48] [51]
12Ana R. Cavalli [9] [13]
13Nathalie Chetcuti-Sperandio [56] [60] [61]
14Jean-Paul Cheylan [1]
15Michael Clarke [33]
16Jean-François Condotta [52] [53] [58] [59] [65]
17Gabriella Crocco [43]
18Antonio Frias Delgado [46]
19Miguel Delgado [33]
20Robert Demolombe [15] [19] [28] [62]
21Jürgen Dix [55]
22Michael Dohnal [33]
23Didier Dubois [33] [37] [49]
24Patrice Enjalbert [23]
25David Fauthoux [63]
26John Fox [33]
27Christine Froidevaux [33]
28Bertram Fronhöfer [24]
29Ulrich Furbach [55]
30Dov M. Gabbay [40]
31Olivier Gasquet [48] [51] [57] [63] [64] [67]
32Lluis Godo [33]
33Andreas Herzig [20] [21] [22] [24] [25] [29] [30] [31] [32] [35] [36] [37] [38] [39] [41] [42] [44] [46] [48] [49] [51] [54] [63] [66] [67] [68]
34Yen-Teh Hsia [33]
35Anthony Hunter [40]
36Robert Kennes [33]
37Paul Krause [33]
38Rudolf Kruse [33]
39Jérôme Lang [32] [33] [36]
40Mamede Lima-Marques [27]
41Dominique Longin [54] [63]
42E. H. Mamdani [33]
43Ramon López de Mántaras [33]
44Fabio Massacci [63]
45Jérôme Mengin [33]
46Yves Moinard [33]
47Serafín Moral [33]
48Ewa Orlowska [11] [12] [14] [16]
49Aomar Osmani [53]
50Olivier Paillet [33]
51Simon Parsons [33]
52Martti Penttonen [18] [26]
53Wilmer Pereira [33]
54Henri Prade [33] [37] [49]
55Omar Rifi [54]
56Alessandro Saffiotti [33]
57Mohamad Sahade [67]
58Pierre Siegel [33]
59Philippe Smets [33]
60Said Soulhi [10]
61Kurt Sundermeyer [33]
62Tinko Tinchev [45] [47]
63Elizabeth Umkehrer [33]
64Dimiter Vakarelov [45] [47]
65Jacques Virbel [2]
66Chris Whitney [33]
67Nic Wilson [33]
68Hong Xu [33]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)