×

zbMATH — the first resource for mathematics

Fariñas del Cerro, Luis

Compute Distance To:
Author ID: farinas-del-cerro.luis Recent zbMATH articles by "Fariñas del Cerro, Luis"
Published as: Fariñas del Cerro, Luis; Fariñas del Cerro, L.; Farinas del Cerro, Luis; del Cerro, Luis Fariñas; Fariñas-del-Cerro, Luis; Fariñas Del Cerro, Luis; Farinas del Cerro, L.; del Cerro, Luis Farinas; Del Cerro, Luis Fariñas; Farinas-del-Cerro, Luis; Fariñas del Cerro, Luís; Farinas Del Cerro, L.
Homepage: https://www.irit.fr/~Luis.Farinas/
External Links: MGP · dblp
Member of Collective: Sombé, Léa
Documents Indexed: 88 Publications since 1977, including 8 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

63 Publications have been cited 263 times in 203 Documents Cited by Year
DAL – a logic for data analysis. Zbl 0565.68032
Fariñas del Cerro, Luis; Orłowska, Ewa
23
1985
MOLOG: A system that extends PROLOG with modal logic. Zbl 0598.68063
Fariñas del Cerro, L.
21
1986
A modal analysis of possibility theory. Zbl 0793.03019
Fariñas del Cerro, Luis; Herzig, Andreas
16
1991
Modal resolution in clausal form. Zbl 0669.03009
Enjalbert, Patrice; Fariñas del Cerro, Luis
15
1989
From ordering-based nonmonotonic reasoning to conditional logics. Zbl 0807.68083
Fariñas del Cerro, Luis; Herzig, Andreas; Lang, Jérôme
11
1994
Modal logics for incidence geometries. Zbl 0868.03009
Balbiani, Philippe; Fariñas del Cerro, Luis; Tinchev, Tinko; Vakarelov, Dimiter
10
1997
Combining classical and intuitionistic logic. Or: Intuitionistic implication as a conditional. Zbl 0896.03010
Fariñas del Cerro, Luis; Herzig, Andreas
9
1996
A note on the complexity of the satisfiability of modal Horn clauses. Zbl 0624.03010
Fariñas del Cerro, Luis; Penttonen, Martti
8
1987
Rough sets, twofold fuzzy sets and modal logic. Fuzziness in indiscernibility and partial information. Zbl 0593.03032
Farinas del Cerro, Luis; Prade, Henri
8
1986
A simple deduction method for modal logic. Zbl 0515.03009
Farinas del Cerro, Luis
8
1982
Resolution modal logic. Zbl 0631.03007
Fariñas-del-Cerro, Luis
7
1985
An inference rule for hypothesis generation. Zbl 0745.68088
Demolombe, Robert; Fariñas del Cerro, Luis
6
1991
Modal tableaux with propagation rules and structural rules. Zbl 0926.03020
Castilho, Marcos A.; Fariñas del Cerro, Luis; Gasquet, Olivier; Herzig, Andreas
5
1997
Finite non-deterministic semantics for some modal systems. Zbl 1398.03089
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
5
2015
Grammar logics. Zbl 0728.03025
Fariñas del Cerro, Luis; Penttonen, Martti
5
1988
A mixed decision method for duration calculus. Zbl 0965.03013
Chetcuti-Serandio, Nathalie; Fariñas del Cerro, Luis
5
2000
A decision method for linear temporal logic. Zbl 0547.03008
Cavalli, Ana R.; Fariñas del Cerro, Luis
4
1984
A roadmap of qualitative independence. Zbl 0943.03013
Dubois, D.; Fariñas del Cerro, L.; Herzig, A.; Prade, H.
4
1999
A tractable subclass of the block algebra: Constraint propagation and preconvex relations. Zbl 0964.68126
Balbiani, Philippe; Condotta, Jean-François; Fariñas del Cerro, Luis
4
1999
Linear modal deductions. Zbl 0654.03007
Fariñas del Cerro, Luis; Herzig, Andreas
4
1988
Contingency-based equilibrium logic. Zbl 1327.03015
Fariñas del Cerro, Luis; Herzig, Andreas
4
2011
Resolution modal logics. Zbl 0582.68057
Fariñas-del-Cerro, Luis
4
1985
A modal Herbrand’s property. Zbl 0589.03004
Cialdea, Marta; Fariñas del Cerro, Luis
4
1986
A general framework for pattern-driven modal tableaux. Zbl 0997.03010
Fariñas del Cerro, Luis; Gasquet, Olivier
4
2002
Lotrec: The generic tableau prover for modal and description logics. Zbl 0988.68592
Fariñas del Cerro, Luis; Fauthoux, David; Gasquet, Olivier; Herzig, Andreas; Longin, Dominique
4
2001
Tractability results in the block algebra. Zbl 1021.68087
Balbiani, Philippe; Condotta, Jean-François; Fariñas del Cerro, Luis
4
2002
Complete axiomatization of a relative modal logic with composition and intersection. Zbl 0923.03043
Balbiani, Philippe; Fariñas del Cerro, Luis
3
1998
Capturing equilibrium models in modal logic. Zbl 1328.03018
Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz
3
2014
Contextual negations and reasoning with contradictions. Zbl 0742.68052
Carnielli, Walter Alexandre; Fariñas del Cerro, Luis; Marques, Mameda Lima
3
1991
A free logic for stable models with partial intensional functions. Zbl 1432.68430
Cabalar, Pedro; del Cerro, Luis Fariñas; Pearce, David; Valverde, Agustin
3
2014
Corrigendum to: “DAL – a logic for data analysis”. Zbl 0618.68032
Fariñas Del Cerro, Luis; Orłowska, Ewa
3
1986
Combining equilibrium logic and dynamic logic. Zbl 1405.68352
Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz
3
2013
Some results in intuitionistic modal logic. Zbl 0544.03001
Fariñas del Cerro, Luis; Raggio, Andrés R.
3
1983
Un principe de résolution en logique modale. Zbl 0566.03007
Fariñas del Cerro, Luis
3
1984
Conditionals: from philosophy to computer science. Zbl 1001.03503
Crocco, G. (ed.); Fariñas del Cerro, L. (ed.); Herzig, A. (ed.)
3
1995
Interference logic = conditional logic + frame axiom. Zbl 0805.68113
Fariñas del Cerro, Luis; Herzig, Andreas
2
1994
Tableaux based decision procedures for modal logics of confluence and density. Zbl 0942.03009
Fariñas del Cerro, Luis; Gasquet, Olivier
2
1999
Translation of first order formulas into ground formulas via a completion theory. Zbl 1436.03100
Demolombe, Robert; Fariñas del Cerro, Luis; Obeid, Naji
2
2016
Functional ASP with intensional sets: application to Gelfond-Zhang aggregates. Zbl 1451.68255
Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis; Pearce, David
2
2018
The modal logic of equilibrium models. Zbl 1347.68041
Fariñas del Cerro, Luis; Herzig, Andreas
2
2011
Towards a logical characterisation of sentences of the kind “sentence \(P\) is about object \(c\)”. Zbl 1018.03008
Demolombe, Robert; Fariñas del Cerro, Luis
2
2000
Information about a given entity: from semantics towards automated deduction. Zbl 1222.68360
Demolombe, Robert; Fariñas del Cerro, Luis
1
2010
Structure-based semantics of argumentation frameworks with higher-order attacks and supports. Zbl 1430.68301
Cayrol, Claudette; Fandinno, Jorge; Farinas del Cerro, Luis; Lagasquie-Schiex, M.-Christine
1
2018
Autoepistemic equilibrium logic and epistemic specifications. Zbl 1432.68453
Su, Ezgi Iraz; Fariñas del Cerro, Luis; Herzig, Andreas
1
2020
Structure-based semantics of argumentation frameworks with higher-order attacks and supports. Zbl 1440.68261
Cayrol, Claudette; Fandinno, Jorge; del Cerro, Luis Farinas; Lagasquie-Schiex, M-Christine
1
2018
Logique temporelle. Semantique et validation de programmes parallèles. Zbl 0702.68050
Audureau, Eric; Farinas del Cerro, Luis; Enjalbert, Patrice
1
1989
Belief reconstruction in cooperative dialogues. Zbl 0927.03033
Fariñas del Cerro, Luis; Herzig, Andreas; Longin, Dominique; Rifi, Omar
1
1998
Intensional logics for programming. Zbl 0787.03018
Fariñas del Cerro, Luis (ed.); Penttonen, Martti (ed.)
1
1992
Sequents for dependence logics. Zbl 0799.03032
Fariñas del Cerro, L.; Lugardon, V.
1
1991
Structure, consequence relation and logic. Zbl 0823.03013
Crocco, G.; Fariñas del Cerro, L.
1
1994
Elements of mechanical geometry. (Éléments de géométrie mécanique.) Zbl 0871.51010
Balbiani, Philippe; Dugat, Vincent; Fariñas del Cerro, Luis; Lopez, Anne
1
1994
Diagrammatic reasoning in projective geometry. Zbl 0949.03008
Balbiani, Philippe; Fariñas del Cerro, Luis
1
1999
All other things being equal: On a notion of inertia in conditional logic. Zbl 0945.03014
Fariñas del Cerro, Luis; Herzig, Andreas
1
1997
A decision method for duration calculus. Zbl 0968.68146
Chetcuti-Sperandio, Nathalie; Fariñas del Cerro, Luis
1
1999
Logical modeling of biological systems. Zbl 1294.92001
Fariñas del Cerro, Luis (ed.); Inoue, Katsumi (ed.)
1
2014
Errata and addenda to: “Finite non-deterministic semantics for some modal systems”. Zbl 1398.03090
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
1
2016
Counterfactuals: Foundations for nonmonotonic inferences. Sequent systems. Zbl 0916.03022
Crocco, Gabriella; Fariñas del Cerro, Luis
1
1996
An algebraic evaluation method for deduction in incomplete databases. Zbl 0647.68111
Demolombe, R.; Fariñas del Cerro, L.
1
1988
Théorie de la programmation et logique temporelle. II. Validation d’algorithmes parallèles. Zbl 0656.03019
Audureau, Éric; Fariñas del Cerro, Luis; Enjalbert, Patrice
1
1988
Modalities for total correctness. Zbl 0576.68008
Farinas del Cerro, Luis
1
1984
Minimal structures for modal tableaux: Some examples. Zbl 1005.03025
Fariñas del Cerro, Luis; Gasquet, Olivier
1
2000
Les modalites de la correction totale. Zbl 0506.03004
Farinas del Cerro, Luis
1
1982
Logique modal et processus communicants. Zbl 0509.03010
Farinas Del Cerro, L.
1
1982
Autoepistemic equilibrium logic and epistemic specifications. Zbl 1432.68453
Su, Ezgi Iraz; Fariñas del Cerro, Luis; Herzig, Andreas
1
2020
Functional ASP with intensional sets: application to Gelfond-Zhang aggregates. Zbl 1451.68255
Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis; Pearce, David
2
2018
Structure-based semantics of argumentation frameworks with higher-order attacks and supports. Zbl 1430.68301
Cayrol, Claudette; Fandinno, Jorge; Farinas del Cerro, Luis; Lagasquie-Schiex, M.-Christine
1
2018
Structure-based semantics of argumentation frameworks with higher-order attacks and supports. Zbl 1440.68261
Cayrol, Claudette; Fandinno, Jorge; del Cerro, Luis Farinas; Lagasquie-Schiex, M-Christine
1
2018
Translation of first order formulas into ground formulas via a completion theory. Zbl 1436.03100
Demolombe, Robert; Fariñas del Cerro, Luis; Obeid, Naji
2
2016
Errata and addenda to: “Finite non-deterministic semantics for some modal systems”. Zbl 1398.03090
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
1
2016
Finite non-deterministic semantics for some modal systems. Zbl 1398.03089
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
5
2015
Capturing equilibrium models in modal logic. Zbl 1328.03018
Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz
3
2014
A free logic for stable models with partial intensional functions. Zbl 1432.68430
Cabalar, Pedro; del Cerro, Luis Fariñas; Pearce, David; Valverde, Agustin
3
2014
Logical modeling of biological systems. Zbl 1294.92001
Fariñas del Cerro, Luis; Inoue, Katsumi
1
2014
Combining equilibrium logic and dynamic logic. Zbl 1405.68352
Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz
3
2013
Contingency-based equilibrium logic. Zbl 1327.03015
Fariñas del Cerro, Luis; Herzig, Andreas
4
2011
The modal logic of equilibrium models. Zbl 1347.68041
Fariñas del Cerro, Luis; Herzig, Andreas
2
2011
Information about a given entity: from semantics towards automated deduction. Zbl 1222.68360
Demolombe, Robert; Fariñas del Cerro, Luis
1
2010
A general framework for pattern-driven modal tableaux. Zbl 0997.03010
Fariñas del Cerro, Luis; Gasquet, Olivier
4
2002
Tractability results in the block algebra. Zbl 1021.68087
Balbiani, Philippe; Condotta, Jean-François; Fariñas del Cerro, Luis
4
2002
Lotrec: The generic tableau prover for modal and description logics. Zbl 0988.68592
Fariñas del Cerro, Luis; Fauthoux, David; Gasquet, Olivier; Herzig, Andreas; Longin, Dominique
4
2001
A mixed decision method for duration calculus. Zbl 0965.03013
Chetcuti-Serandio, Nathalie; Fariñas del Cerro, Luis
5
2000
Towards a logical characterisation of sentences of the kind “sentence \(P\) is about object \(c\)”. Zbl 1018.03008
Demolombe, Robert; Fariñas del Cerro, Luis
2
2000
Minimal structures for modal tableaux: Some examples. Zbl 1005.03025
Fariñas del Cerro, Luis; Gasquet, Olivier
1
2000
A roadmap of qualitative independence. Zbl 0943.03013
Dubois, D.; Fariñas del Cerro, L.; Herzig, A.; Prade, H.
4
1999
A tractable subclass of the block algebra: Constraint propagation and preconvex relations. Zbl 0964.68126
Balbiani, Philippe; Condotta, Jean-François; Fariñas del Cerro, Luis
4
1999
Tableaux based decision procedures for modal logics of confluence and density. Zbl 0942.03009
Fariñas del Cerro, Luis; Gasquet, Olivier
2
1999
Diagrammatic reasoning in projective geometry. Zbl 0949.03008
Balbiani, Philippe; Fariñas del Cerro, Luis
1
1999
A decision method for duration calculus. Zbl 0968.68146
Chetcuti-Sperandio, Nathalie; Fariñas del Cerro, Luis
1
1999
Complete axiomatization of a relative modal logic with composition and intersection. Zbl 0923.03043
Balbiani, Philippe; Fariñas del Cerro, Luis
3
1998
Belief reconstruction in cooperative dialogues. Zbl 0927.03033
Fariñas del Cerro, Luis; Herzig, Andreas; Longin, Dominique; Rifi, Omar
1
1998
Modal logics for incidence geometries. Zbl 0868.03009
Balbiani, Philippe; Fariñas del Cerro, Luis; Tinchev, Tinko; Vakarelov, Dimiter
10
1997
Modal tableaux with propagation rules and structural rules. Zbl 0926.03020
Castilho, Marcos A.; Fariñas del Cerro, Luis; Gasquet, Olivier; Herzig, Andreas
5
1997
All other things being equal: On a notion of inertia in conditional logic. Zbl 0945.03014
Fariñas del Cerro, Luis; Herzig, Andreas
1
1997
Combining classical and intuitionistic logic. Or: Intuitionistic implication as a conditional. Zbl 0896.03010
Fariñas del Cerro, Luis; Herzig, Andreas
9
1996
Counterfactuals: Foundations for nonmonotonic inferences. Sequent systems. Zbl 0916.03022
Crocco, Gabriella; Fariñas del Cerro, Luis
1
1996
Conditionals: from philosophy to computer science. Zbl 1001.03503
Crocco, G.; Fariñas del Cerro, L.; Herzig, A.
3
1995
From ordering-based nonmonotonic reasoning to conditional logics. Zbl 0807.68083
Fariñas del Cerro, Luis; Herzig, Andreas; Lang, Jérôme
11
1994
Interference logic = conditional logic + frame axiom. Zbl 0805.68113
Fariñas del Cerro, Luis; Herzig, Andreas
2
1994
Structure, consequence relation and logic. Zbl 0823.03013
Crocco, G.; Fariñas del Cerro, L.
1
1994
Elements of mechanical geometry. (Éléments de géométrie mécanique.) Zbl 0871.51010
Balbiani, Philippe; Dugat, Vincent; Fariñas del Cerro, Luis; Lopez, Anne
1
1994
Intensional logics for programming. Zbl 0787.03018
Fariñas del Cerro, Luis; Penttonen, Martti
1
1992
A modal analysis of possibility theory. Zbl 0793.03019
Fariñas del Cerro, Luis; Herzig, Andreas
16
1991
An inference rule for hypothesis generation. Zbl 0745.68088
Demolombe, Robert; Fariñas del Cerro, Luis
6
1991
Contextual negations and reasoning with contradictions. Zbl 0742.68052
Carnielli, Walter Alexandre; Fariñas del Cerro, Luis; Marques, Mameda Lima
3
1991
Sequents for dependence logics. Zbl 0799.03032
Fariñas del Cerro, L.; Lugardon, V.
1
1991
Modal resolution in clausal form. Zbl 0669.03009
Enjalbert, Patrice; Fariñas del Cerro, Luis
15
1989
Logique temporelle. Semantique et validation de programmes parallèles. Zbl 0702.68050
Audureau, Eric; Farinas del Cerro, Luis; Enjalbert, Patrice
1
1989
Grammar logics. Zbl 0728.03025
Fariñas del Cerro, Luis; Penttonen, Martti
5
1988
Linear modal deductions. Zbl 0654.03007
Fariñas del Cerro, Luis; Herzig, Andreas
4
1988
An algebraic evaluation method for deduction in incomplete databases. Zbl 0647.68111
Demolombe, R.; Fariñas del Cerro, L.
1
1988
Théorie de la programmation et logique temporelle. II. Validation d’algorithmes parallèles. Zbl 0656.03019
Audureau, Éric; Fariñas del Cerro, Luis; Enjalbert, Patrice
1
1988
A note on the complexity of the satisfiability of modal Horn clauses. Zbl 0624.03010
Fariñas del Cerro, Luis; Penttonen, Martti
8
1987
MOLOG: A system that extends PROLOG with modal logic. Zbl 0598.68063
Fariñas del Cerro, L.
21
1986
Rough sets, twofold fuzzy sets and modal logic. Fuzziness in indiscernibility and partial information. Zbl 0593.03032
Farinas del Cerro, Luis; Prade, Henri
8
1986
A modal Herbrand’s property. Zbl 0589.03004
Cialdea, Marta; Fariñas del Cerro, Luis
4
1986
Corrigendum to: “DAL – a logic for data analysis”. Zbl 0618.68032
Fariñas Del Cerro, Luis; Orłowska, Ewa
3
1986
DAL – a logic for data analysis. Zbl 0565.68032
Fariñas del Cerro, Luis; Orłowska, Ewa
23
1985
Resolution modal logic. Zbl 0631.03007
Fariñas-del-Cerro, Luis
7
1985
Resolution modal logics. Zbl 0582.68057
Fariñas-del-Cerro, Luis
4
1985
A decision method for linear temporal logic. Zbl 0547.03008
Cavalli, Ana R.; Fariñas del Cerro, Luis
4
1984
Un principe de résolution en logique modale. Zbl 0566.03007
Fariñas del Cerro, Luis
3
1984
Modalities for total correctness. Zbl 0576.68008
Farinas del Cerro, Luis
1
1984
Some results in intuitionistic modal logic. Zbl 0544.03001
Fariñas del Cerro, Luis; Raggio, Andrés R.
3
1983
A simple deduction method for modal logic. Zbl 0515.03009
Farinas del Cerro, Luis
8
1982
Les modalites de la correction totale. Zbl 0506.03004
Farinas del Cerro, Luis
1
1982
Logique modal et processus communicants. Zbl 0509.03010
Farinas Del Cerro, L.
1
1982
all top 5

Cited by 291 Authors

17 Fariñas del Cerro, Luis
12 Dubois, Didier
11 Balbiani, Philippe
9 Prade, Henri M.
8 Herzig, Andreas
6 Cabalar, Pedro
6 Demri, Stéphane P.
6 Goranko, Valentin F.
6 Sciavicco, Guido
5 Demolombe, Robert
5 Diéguez, Martín
5 Fandinno, Jorge
5 Godo, Lluís
4 Banerjee, Mohua
4 Liau, Churn-Jung
4 Nguyen, Linh Anh
4 Schmidt, Renate A.
4 Vakarelov, Dimiter
3 Areces, Carlos
3 Cialdea, Marta
3 Coniglio, Marcelo Esteban
3 Enjalbert, Patrice
3 Gorín, Daniel
3 Khan, Md. Aquil
3 Lang, Jérôme
3 Montanari, Angelo
3 Orłowska, Ewa S.
3 Schaub, Torsten H.
3 Su, Ezgi Iraz
3 Tinchev, Tinko
3 Vidal, Concepción
2 Aguado, Felicidad
2 Aiello, Marco
2 Alliot, Jean-Marc
2 Auffray, Yves
2 Benevides, Mario R. F.
2 Bonnefon, Jean-François
2 Cayrol, Claudette
2 Chen, Cheng-Chia
2 Chen, Xiaoyu
2 Da Silva Neves, Rui
2 de Nivelle, Hans
2 Esteva, Francesc
2 Gao, Jianming
2 Garcia, Pere
2 Georgatos, Konstantinos
2 Haeusler, Edward Hermann
2 Legastelois, Bénédicte
2 Lesot, Marie-Jeanne
2 Lin, Bertrand I-peng
2 Lopes, Bruno Domeniciano
2 Muñoz-Velasco, Emilio
2 Navarrete, Isabel
2 Obeid, Naji
2 Ognjanović, Zoran
2 Orgun, Mehmet Ali
2 Pawłowski, Paweł
2 Pérez, Gilberto
2 Peron, Newton M.
2 Perrussel, Laurent
2 Rasga, João
2 Sala, Pietro
2 Sernadas, Cristina S.
2 She, Yanhong
2 Song, Dan
2 Szałas, Andrzej
2 Wang, Dongming
2 Wobcke, Wayne
1 Afrati, Foto N.
1 Aitken, J. Stuart
1 Alfano, Gianvincenzo
1 Andronikos, Theodore
1 Atzeni, Paolo
1 Baldi, Michele Pra
1 Benferhat, Salem
1 Benítez-Caballero, M. José
1 Bennett, Brandon
1 Besnard, Philippe
1 Bezhanishvili, Guram
1 Bhattacharjee, G. P.
1 Bibel, Wolfgang
1 Bison, Paolo
1 Bloch, Isabelle
1 Bolander, Thomas
1 Bolotov, Alexander
1 Both, Alan
1 Boudou, Joseph
1 Boutilier, Craig
1 Bozzelli, Laura
1 Bresolin, Davide
1 Brzoska, Christoph
1 Caferra, Ricardo
1 Caleiro, Carlos
1 Cardenas-Viedma, M. Antonia
1 Carlucci Aiello, Luigia
1 Carnielli, Walter Alexandre
1 Catach, Laurent
1 Cerrito, Serenella
1 Chandru, Vijaya
1 Chemello, Gaetano
...and 191 more Authors

Citations by Year