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

Luis Fariñas del Cerro Coauthor index pubzone.org

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

DBLP keys2012
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: La logique modale des modèles d'équilibre. Revue d'Intelligence Artificielle 26(1-2): 85-102 (2012)
2011
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Logics of Contingency. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: The Modal Logic of Equilibrium Models. FroCos 2011: 135-146
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Contingency-Based Equilibrium Logic. LPNMR 2011: 223-228
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward Hermann Haeusler, Luis Fariñas del Cerro: Preface. Electr. Notes Theor. Comput. Sci. 269: 1-2 (2011)
2010
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Demolombe, Luis Fariñas del Cerro: Information About a Given Entity: From Semantics Towards Automated Deduction. J. Log. Comput. 20(6): 1231-1250 (2010)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Foreword. Journal of Applied Non-Classical Logics 20(4): 311 (2010)
2009
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Global and Local Graph Modifiers. Electr. Notes Theor. Comput. Sci. 231: 293-307 (2009)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Demolombe, Luis Fariñas del Cerro: How to Produce Information About a Given Entity Using Automated Deduction Methods. Electr. Notes Theor. Comput. Sci. 256: 19-31 (2009)
2005
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade: Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) 2005: 587-614
2003
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig: Foreword. Journal of Applied Non-Classical Logics 13(1): 7-8 (2003)
2002
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro: Tractability Results in the Block Algebra. J. Log. Comput. 12(5): 885-909 (2002)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Chetcuti-Sperandio, Luis Fariñas del Cerro: A Decision Method for Duration Calculus. RelMiCS 2000: 31-44
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Chetcuti-Sperandio, Luis Fariñas del Cerro: A mixed decision method for duration calculus. J. Log. Comput. 10(6): 877-895 (2000)
1999
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe 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
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro: A New Tractable Subclass of the Rectangle Algebra. IJCAI 1999: 442-447
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Olivier Gasquet: Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. Fundam. Inform. 40(4): 317-333 (1999)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Chetcuti-Sperandio, Luis Fariñas del Cerro: A Decision Method for Duration Calculus. J. UCS 5(11): 743-764 (1999)
1998
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi: Belief Reconstruction in Cooperative Dialogues. AIMSA 1998: 254-266
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani: Reasoning about Generalized Intervals. AIMSA 1998: 50-61
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro: A Model for Reasoning about Bidemsional Temporal Relations. KR 1998: 124-130
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig: Modal tableaux based on graph-rules. RelMiCS 1998: 37-42
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe 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
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDidier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade: Qualitative Relevance and Independence: A Roadmap. IJCAI (1) 1997: 62-67
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcos 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)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov: Modal Logics for Incidence Geometries. J. Log. Comput. 7(1): 59-78 (1997)
1996
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig: Talkin'bout Consistency, or: When Logically Possible Becomes Possible. FAPR 1996: 141-150
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov: Geometrical Structures and Modal Logic. FAPR 1996: 43-57
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriella Crocco, Luis Fariñas del Cerro: Counterfactuals: Foundations for Nonmonotonic Inferences Sequent Systems. Logic, Action, and Information 1996: 173-188
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Revisions, Updated, and Interference. Logic, Action, and Information 1996: 189-207
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Belief Change and Dependence. TARK 1996: 147-161
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Possibility Theory and Independence. IPMU 1994: 292-301
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: A Conditional Logic for Updating in the Possible Models Approach. KI 1994: 237-247
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDidier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade: An Ordinal View of Independence with Application to Plausible Reasoning. UAI 1994: 195-203
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Interference Logic = Conditional Logic + Frame Axiom. ECSQARU 1993: 105-112
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Luis Fariñas del Cerro: Affine Geometry of Collinearity and Conditional Term Rewriting. Term Rewriting 1993: 196-213
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe 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
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig, Jérôme Lang: From Ordering Based Nonmonotonic Reasoning to Conditional Logics. ECAI 1992: 314-318
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Metaprogramming Through Intensional Deduction: Some Examples. META 1992: 11-25
1991
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: A Modal Analysis of Possibility Theory. ECSQARU 1991: 58-62
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: A modal analysis of possibility theory. FAIR 1991: 11-18
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Demolombe, Luis Fariñas del Cerro: An Inference Rule for Hypothesis Generation. IJCAI 1991: 152-157
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWalter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques: Contextual Negations and Reasoning with Contradictions. IJCAI 1991: 532-537
1990
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Martti Penttonen: Logics with Structured Contexts. AIMSA 1990: 43-50
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Deterministic Modal Logics for Automated Deduction. ECAI 1990: 262-267
1989
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig: Plan Generation by Linear Proofs: On Semantics. GWAI 1989: 49-62
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrice Enjalbert, Luis Fariñas del Cerro: Modal Resolution in Clausal Form. Theor. Comput. Sci. 65(1): 1-33 (1989)
1988
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Linear Modal Deductions. CADE 1988: 487-499
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Bieber, Luis Fariñas del Cerro, Andreas Herzig: MOLOG: a Modal PROLOG. CADE 1988: 762-763
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Declarative Semantics for Modal Logic Programs. FGCS 1988: 507-514
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro: MOLOG: A System That Extends PROLOG with Modal Logic. New Generation Comput. 4(1): 35-50 (1986)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Ewa Orlowska: Corrigendum: DAL-A Logic for Data Analysis. Theor. Comput. Sci. 47(3): 345 (1986)
1985
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Demolombe, Luis Fariñas del Cerro: Efficient Representation of Incomplete Information About Structured Objects. Foundations of Knowledge Base Management (Xania) 1985: 73-89
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Ewa Orlowska: DAL - A Logic for Data Analysis. Theor. Comput. Sci. 36: 251-264 (1985)
1984
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna R. Cavalli, Luis Fariñas del Cerro: A Decision Method for Linear Temporal Logic. CADE 1984: 113-127
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Ewa Orlowska: DAL: A Logic for Data Analysis. ECAI 1984: 337-346
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Ewa Orlowska: DAL - A Logic for Data Analysis. FGCS 1984: 254-261
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Said Soulhi: Mutual Belief Logic for Processing Definite Reference. Natural Language Understanding and Natural Language Understanding Workshop 1984: 65-78
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna R. Cavalli, Luis Fariñas del Cerro: Specification and Verification of Networks Protocols Using. Symposium on Programming 1984: 59-73
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro: Un Principe de Résolution en Logique Modale. ITA 18(2): 161-170 (1984)
1983
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro: Temporal Reasoning and Termination of Programs. IJCAI 1983: 926-929
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro: Space as Time. Inf. Process. Lett. 17(3): 113-115 (1983)
1982
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro: A Deduction Method for Modal Logic. ECAI 1982: 60-61
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro: Les Modalités de la Correction Totale. ITA 16(4): 349-363 (1982)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro: A Simple Deduction Method for Modal Logic. Inf. Process. Lett. 14(2): 49-51 (1982)
1977
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Borillo, Luis Fariñas del Cerro, Jacques Virbel: Validation Problems in Pattern Recognition Study of a Particular Case. IFIP Congress 1977: 253-257
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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 [69]
3Philippe Balbiani [20] [34] [45] [47] [50] [52] [53] [58] [59] [65] [66] [69] [70]
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 (Miguel Delgado Calvo-Flores) [33]
20Robert Demolombe [15] [19] [28] [62] [68] [71]
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]
33Edward Hermann Haeusler [72]
34Andreas 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] [69] [70] [73] [74] [75] [76]
35Yen-Teh Hsia [33]
36Anthony Hunter [40]
37Robert Kennes [33]
38Paul Krause [33]
39Rudolf Kruse [33]
40Jérôme Lang [32] [33] [36]
41Mamede Lima-Marques [27]
42Dominique Longin [54] [63]
43E. H. Mamdani (Ebrahim H. Mamdani, Ebrahim Mamdani) [33]
44Ramon López de Mántaras [33]
45Fabio Massacci [63]
46Jérôme Mengin [33]
47Yves Moinard [33]
48Serafín Moral [33]
49Ewa Orlowska [11] [12] [14] [16]
50Aomar Osmani [53]
51Olivier Paillet [33]
52Simon Parsons [33]
53Martti Penttonen [18] [26]
54Wilmer Pereira [33]
55Henri Prade [33] [37] [49]
56Omar Rifi [54]
57Alessandro Saffiotti [33]
58Mohamad Sahade [67]
59Pierre Siegel [33]
60Philippe Smets [33]
61Said Soulhi [10]
62Kurt Sundermeyer [33]
63Tinko Tinchev (Tinko Velichkov Tinchev) [45] [47]
64Elizabeth Umkehrer [33]
65Dimiter Vakarelov (Dimitar Ivanov Vakarelov) [45] [47]
66Jacques Virbel [2]
67Chris Whitney [33]
68Nic Wilson [33]
69Hong Xu [33]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page