2009 | ||
---|---|---|
68 | EE | Guillaume 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 | ||
65 | EE | 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) |
64 | EE | Luis 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 | ||
63 | EE | 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 | ||
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 | |
60 | EE | Nathalie 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) | |
56 | EE | Nathalie 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 | |
54 | EE | Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi: Belief Reconstruction in Cooperative Dialogues. AIMSA 1998: 254-266 |
53 | EE | Philippe 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 | |
37 | EE | 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 |
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 | ||
22 | Luis Fariñas del Cerro, Andreas Herzig: Linear Modal Deductions. CADE 1988: 487-499 | |
21 | Pierre 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 | ||
13 | Ana 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 | |
1 | EE | Jean-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) |