Edit Profile (opens in new tab) Fariñas del Cerro, Luis Compute Distance To: Compute Author ID: farinas-del-cerro.luis Published as: Fariñas del Cerro, Luis; Fariñas del Cerro, L.; Farinas del Cerro, Luis; Fariñas Del Cerro, Luis; del Cerro, Luis Fariñas; 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 · IdRef · theses.fr Member of Collective: Sombé, Léa Documents Indexed: 83 Publications since 1977, including 2 Books 7 Contributions as Editor Biographic References: 1 Publication Co-Authors: 51 Co-Authors with 80 Joint Publications 825 Co-Co-Authors all top 5 Co-Authors 10 single-authored 20 Herzig, Andreas 8 Balbiani, Philippe 8 Demolombe, Robert 8 Fandinno, Jorge 6 Gasquet, Olivier 5 Cabalar, Pedro 4 Cayrol, Claudette 4 Enjalbert, Patrice 4 Lagasquie-Schiex, Marie-Christine 3 Alliot, Jean-Marc 3 Audureau, Éric 3 Crocco, Gabriella 3 Diéguez, Martín 3 Frias Delgado, Antonio 3 Obeid, Naji 3 Penttonen, Martti 3 Su, Ezgi Iraz 2 Cavalli, Ana R. 2 Chetcuti-Sperandio, Nathalie 2 Condotta, Jean-François 2 Coniglio, Marcelo Esteban 2 Dix, Jurgen 2 Furbach, Ulrich 2 Longin, Dominique 2 Lugardon, V. 2 Orłowska, Ewa S. 2 Peron, Newton M. 2 Prade, Henri M. 2 Tinchev, Tinko 2 Vakarelov, Dimiter 2 Valverde, Agustín 1 Borillo, Mario 1 Carnielli, Walter Alexandre 1 Castilho, Marcos Alexandre 1 Cialdea, Marta 1 Dubois, Didier 1 Dugat, Vincent 1 Fauthoux, David 1 Favre, Gilles 1 Faye, Jean-Charles 1 Haeusler, Edward Hermann 1 Inoue, Katsumi 1 Lang, Jérôme 1 Lopez, Anne 1 Marques, Mameda Lima 1 Mengin, Jérôme 1 Raggio, Andres R. 1 Rifi, Omar 1 Sahade, Mohamad 1 Sordet, Olivier 1 Virbel, J. all top 5 Serials 5 Logique et Analyse. Nouvelle Série 4 Journal of Logic and Computation 3 Artificial Intelligence 3 Theoretical Computer Science 3 Journal of Applied Non-Classical Logics 2 RAIRO, Informatique Théorique 2 Annales Societatis Mathematicae Polonae. Series IV 2 The Journal of Logic Programming 2 Theoria. Segunda Epoca 2 Technique et Science Informatiques 2 Annals of Mathematics and Artificial Intelligence 2 Theory and Practice of Logic Programming 2 Journal of Applied Logic 2 Lecture Notes in Computer Science 2 Studies in Logic and Computation 1 Information Processing Letters 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 New Generation Computing 1 International Journal of Intelligent Systems 1 Logic Journal of the IGPL 1 Fundamenta Informaticae 1 Journal of Universal Computer Science 1 Logic and Logical Philosophy 1 Electronic Notes in Theoretical Computer Science 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle (RAIRO). Informatique all top 5 Fields 66 Mathematical logic and foundations (03-XX) 64 Computer science (68-XX) 5 General and overarching topics; collections (00-XX) 4 Biology and other natural sciences (92-XX) 3 Geometry (51-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 67 Publications have been cited 288 times in 219 Documents Cited by ▼ Year ▼ DAL – a logic for data analysis. Zbl 0565.68032Fariñas del Cerro, Luis; Orłowska, Ewa 23 1985 MOLOG: A system that extends PROLOG with modal logic. Zbl 0598.68063Fariñas del Cerro, L. 22 1986 Modal resolution in clausal form. Zbl 0669.03009Enjalbert, Patrice; Fariñas del Cerro, Luis 16 1989 A modal analysis of possibility theory. Zbl 0793.03019Fariñas del Cerro, Luis; Herzig, Andreas 16 1991 From ordering-based nonmonotonic reasoning to conditional logics. Zbl 0807.68083Fariñas del Cerro, Luis; Herzig, Andreas; Lang, Jérôme 12 1994 Modal logics for incidence geometries. Zbl 0868.03009Balbiani, 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.03010Fariñas del Cerro, Luis; Herzig, Andreas 9 1996 A note on the complexity of the satisfiability of modal Horn clauses. Zbl 0624.03010Fariñas del Cerro, Luis; Penttonen, Martti 9 1987 Rough sets, twofold fuzzy sets and modal logic. Fuzziness in indiscernibility and partial information. Zbl 0593.03032Farinas del Cerro, Luis; Prade, Henri 8 1986 A simple deduction method for modal logic. Zbl 0515.03009Farinas del Cerro, Luis 8 1982 Resolution modal logic. Zbl 0631.03007Fariñas-del-Cerro, Luis 7 1985 An inference rule for hypothesis generation. Zbl 0745.68088Demolombe, Robert; Fariñas del Cerro, Luis 6 1991 Grammar logics. Zbl 0728.03025Fariñas del Cerro, Luis; Penttonen, Martti 6 1988 Splitting epistemic logic programs. Zbl 07115970Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis 6 2019 Finite non-deterministic semantics for some modal systems. Zbl 1398.03089Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M. 5 2015 A tractable subclass of the block algebra: Constraint propagation and preconvex relations. Zbl 0964.68126Balbiani, Philippe; Condotta, Jean-François; Fariñas del Cerro, Luis 5 1999 A mixed decision method for duration calculus. Zbl 0965.03013Chetcuti-Serandio, Nathalie; Fariñas del Cerro, Luis 5 2000 Modal tableaux with propagation rules and structural rules. Zbl 0926.03020Castilho, Marcos A.; Fariñas del Cerro, Luis; Gasquet, Olivier; Herzig, Andreas 5 1997 Lotrec: The generic tableau prover for modal and description logics. Zbl 0988.68592Fariñas del Cerro, Luis; Fauthoux, David; Gasquet, Olivier; Herzig, Andreas; Longin, Dominique 5 2001 Contingency-based equilibrium logic. Zbl 1327.03015Fariñas del Cerro, Luis; Herzig, Andreas 5 2011 Tractability results in the block algebra. Zbl 1021.68087Balbiani, Philippe; Condotta, Jean-François; Fariñas del Cerro, Luis 4 2002 Functional ASP with intensional sets: application to Gelfond-Zhang aggregates. Zbl 1451.68255Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis; Pearce, David 4 2018 Resolution modal logics. Zbl 0582.68057Fariñas-del-Cerro, Luis 4 1985 A modal Herbrand’s property. Zbl 0589.03004Cialdea, Marta; Fariñas del Cerro, Luis 4 1986 A decision method for linear temporal logic. Zbl 0547.03008Cavalli, Ana R.; Fariñas del Cerro, Luis 4 1984 A roadmap of qualitative independence. Zbl 0943.03013Dubois, D.; Fariñas del Cerro, L.; Herzig, A.; Prade, H. 4 1999 Complete axiomatization of a relative modal logic with composition and intersection. Zbl 0923.03043Balbiani, Philippe; Fariñas del Cerro, Luis 4 1998 A general framework for pattern-driven modal tableaux. Zbl 0997.03010Fariñas del Cerro, Luis; Gasquet, Olivier 4 2002 Linear modal deductions. Zbl 0654.03007Fariñas del Cerro, Luis; Herzig, Andreas 4 1988 Argumentation frameworks with recursive attacks and evidence-based supports. Zbl 06894598Cayrol, Claudette; Fandinno, Jorge; Fariñas del Cerro, Luis; Lagasquie-Schiex, Marie-Christine 3 2018 Un principe de résolution en logique modale. Zbl 0566.03007Fariñas del Cerro, Luis 3 1984 Corrigendum to: “DAL – a logic for data analysis”. Zbl 0618.68032Fariñas Del Cerro, Luis; Orłowska, Ewa 3 1986 A free logic for stable models with partial intensional functions. Zbl 1432.68430Cabalar, Pedro; del Cerro, Luis Fariñas; Pearce, David; Valverde, Agustin 3 2014 Some results in intuitionistic modal logic. Zbl 0544.03001Fariñas del Cerro, Luis; Raggio, Andrés R. 3 1983 Interference logic = conditional logic + frame axiom. Zbl 0805.68113Fariñas del Cerro, Luis; Herzig, Andreas 3 1994 Contextual negations and reasoning with contradictions. Zbl 0742.68052Carnielli, Walter Alexandre; Fariñas del Cerro, Luis; Marques, Mameda Lima 3 1991 Conditionals: from philosophy to computer science. Zbl 1001.03503 3 1995 Combining equilibrium logic and dynamic logic. Zbl 1405.68352Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz 3 2013 Capturing equilibrium models in modal logic. Zbl 1328.03018Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz 3 2014 Tableaux based decision procedures for modal logics of confluence and density. Zbl 0942.03009Fariñas del Cerro, Luis; Gasquet, Olivier 2 1999 Sequents for dependence logics. Zbl 0799.03032Fariñas del Cerro, L.; Lugardon, V. 2 1991 Towards a logical characterisation of sentences of the kind “sentence \(P\) is about object \(c\)”. Zbl 1018.03008Demolombe, Robert; Fariñas del Cerro, Luis 2 2000 The modal logic of equilibrium models. Zbl 1347.68041Fariñas del Cerro, Luis; Herzig, Andreas 2 2011 Translation of first order formulas into ground formulas via a completion theory. Zbl 1436.03100Demolombe, Robert; Fariñas del Cerro, Luis; Obeid, Naji 2 2016 Autoepistemic equilibrium logic and epistemic specifications. Zbl 1432.68453Su, Ezgi Iraz; Fariñas del Cerro, Luis; Herzig, Andreas 2 2020 Errata and addenda to: “Finite non-deterministic semantics for some modal systems”. Zbl 1398.03090Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M. 1 2016 Modalities for total correctness. Zbl 0576.68008Farinas del Cerro, Luis 1 1984 Les modalites de la correction totale. Zbl 0506.03004Farinas del Cerro, Luis 1 1982 Logique modal et processus communicants. Zbl 0509.03010Farinas Del Cerro, L. 1 1982 Structure, consequence relation and logic. Zbl 0823.03013Crocco, G.; Fariñas del Cerro, L. 1 1994 Diagrammatic reasoning in projective geometry. Zbl 0949.03008Balbiani, Philippe; Fariñas del Cerro, Luis 1 1999 All other things being equal: On a notion of inertia in conditional logic. Zbl 0945.03014Fariñas del Cerro, Luis; Herzig, Andreas 1 1997 A decision method for duration calculus. Zbl 0968.68146Chetcuti-Sperandio, Nathalie; Fariñas del Cerro, Luis 1 1999 Logique temporelle. Semantique et validation de programmes parallèles. Zbl 0702.68050Audureau, Eric; Farinas del Cerro, Luis; Enjalbert, Patrice 1 1989 Intensional logics for programming. Zbl 0787.03018 1 1992 Quantification and dependence logics. Zbl 0897.03023Fariñas del Cerro, L.; Lugardon, V. 1 1997 Elements of mechanical geometry. (Éléments de géométrie mécanique.) Zbl 0871.51010Balbiani, Philippe; Dugat, Vincent; Fariñas del Cerro, Luis; Lopez, Anne 1 1994 Counterfactuals: Foundations for nonmonotonic inferences. Sequent systems. Zbl 0916.03022Crocco, Gabriella; Fariñas del Cerro, Luis 1 1996 Revisions, updates, and interference. Zbl 0915.03026Fariñas del Cerro, Luis; Herzig, Andreas 1 1996 Belief reconstruction in cooperative dialogues. Zbl 0927.03033Fariñas del Cerro, Luis; Herzig, Andreas; Longin, Dominique; Rifi, Omar 1 1998 Information about a given entity: from semantics towards automated deduction. Zbl 1222.68360Demolombe, Robert; Fariñas del Cerro, Luis 1 2010 Minimal structures for modal tableaux: Some examples. Zbl 1005.03025Fariñas del Cerro, Luis; Gasquet, Olivier 1 2000 Structure-based semantics of argumentation frameworks with higher-order attacks and supports. Zbl 1430.68301Cayrol, 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.68261Cayrol, Claudette; Fandinno, Jorge; del Cerro, Luis Farinas; Lagasquie-Schiex, M-Christine 1 2018 An algebraic evaluation method for deduction in incomplete databases. Zbl 0647.68111Demolombe, R.; Fariñas del Cerro, L. 1 1988 Théorie de la programmation et logique temporelle. II. Validation d’algorithmes parallèles. Zbl 0656.03019Audureau, Éric; Fariñas del Cerro, Luis; Enjalbert, Patrice 1 1988 Logical modeling of biological systems. Zbl 1294.92001 1 2014 Autoepistemic equilibrium logic and epistemic specifications. Zbl 1432.68453Su, Ezgi Iraz; Fariñas del Cerro, Luis; Herzig, Andreas 2 2020 Splitting epistemic logic programs. Zbl 07115970Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis 6 2019 Functional ASP with intensional sets: application to Gelfond-Zhang aggregates. Zbl 1451.68255Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis; Pearce, David 4 2018 Argumentation frameworks with recursive attacks and evidence-based supports. Zbl 06894598Cayrol, Claudette; Fandinno, Jorge; Fariñas del Cerro, Luis; Lagasquie-Schiex, Marie-Christine 3 2018 Structure-based semantics of argumentation frameworks with higher-order attacks and supports. Zbl 1430.68301Cayrol, 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.68261Cayrol, 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.03100Demolombe, Robert; Fariñas del Cerro, Luis; Obeid, Naji 2 2016 Errata and addenda to: “Finite non-deterministic semantics for some modal systems”. Zbl 1398.03090Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M. 1 2016 Finite non-deterministic semantics for some modal systems. Zbl 1398.03089Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M. 5 2015 A free logic for stable models with partial intensional functions. Zbl 1432.68430Cabalar, Pedro; del Cerro, Luis Fariñas; Pearce, David; Valverde, Agustin 3 2014 Capturing equilibrium models in modal logic. Zbl 1328.03018Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz 3 2014 Logical modeling of biological systems. Zbl 1294.92001 1 2014 Combining equilibrium logic and dynamic logic. Zbl 1405.68352Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz 3 2013 Contingency-based equilibrium logic. Zbl 1327.03015Fariñas del Cerro, Luis; Herzig, Andreas 5 2011 The modal logic of equilibrium models. Zbl 1347.68041Fariñas del Cerro, Luis; Herzig, Andreas 2 2011 Information about a given entity: from semantics towards automated deduction. Zbl 1222.68360Demolombe, Robert; Fariñas del Cerro, Luis 1 2010 Tractability results in the block algebra. Zbl 1021.68087Balbiani, Philippe; Condotta, Jean-François; Fariñas del Cerro, Luis 4 2002 A general framework for pattern-driven modal tableaux. Zbl 0997.03010Fariñas del Cerro, Luis; Gasquet, Olivier 4 2002 Lotrec: The generic tableau prover for modal and description logics. Zbl 0988.68592Fariñas del Cerro, Luis; Fauthoux, David; Gasquet, Olivier; Herzig, Andreas; Longin, Dominique 5 2001 A mixed decision method for duration calculus. Zbl 0965.03013Chetcuti-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.03008Demolombe, Robert; Fariñas del Cerro, Luis 2 2000 Minimal structures for modal tableaux: Some examples. Zbl 1005.03025Fariñas del Cerro, Luis; Gasquet, Olivier 1 2000 A tractable subclass of the block algebra: Constraint propagation and preconvex relations. Zbl 0964.68126Balbiani, Philippe; Condotta, Jean-François; Fariñas del Cerro, Luis 5 1999 A roadmap of qualitative independence. Zbl 0943.03013Dubois, D.; Fariñas del Cerro, L.; Herzig, A.; Prade, H. 4 1999 Tableaux based decision procedures for modal logics of confluence and density. Zbl 0942.03009Fariñas del Cerro, Luis; Gasquet, Olivier 2 1999 Diagrammatic reasoning in projective geometry. Zbl 0949.03008Balbiani, Philippe; Fariñas del Cerro, Luis 1 1999 A decision method for duration calculus. Zbl 0968.68146Chetcuti-Sperandio, Nathalie; Fariñas del Cerro, Luis 1 1999 Complete axiomatization of a relative modal logic with composition and intersection. Zbl 0923.03043Balbiani, Philippe; Fariñas del Cerro, Luis 4 1998 Belief reconstruction in cooperative dialogues. Zbl 0927.03033Fariñas del Cerro, Luis; Herzig, Andreas; Longin, Dominique; Rifi, Omar 1 1998 Modal logics for incidence geometries. Zbl 0868.03009Balbiani, Philippe; Fariñas del Cerro, Luis; Tinchev, Tinko; Vakarelov, Dimiter 10 1997 Modal tableaux with propagation rules and structural rules. Zbl 0926.03020Castilho, 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.03014Fariñas del Cerro, Luis; Herzig, Andreas 1 1997 Quantification and dependence logics. Zbl 0897.03023Fariñas del Cerro, L.; Lugardon, V. 1 1997 Combining classical and intuitionistic logic. Or: Intuitionistic implication as a conditional. Zbl 0896.03010Fariñas del Cerro, Luis; Herzig, Andreas 9 1996 Counterfactuals: Foundations for nonmonotonic inferences. Sequent systems. Zbl 0916.03022Crocco, Gabriella; Fariñas del Cerro, Luis 1 1996 Revisions, updates, and interference. Zbl 0915.03026Fariñas del Cerro, Luis; Herzig, Andreas 1 1996 Conditionals: from philosophy to computer science. Zbl 1001.03503 3 1995 From ordering-based nonmonotonic reasoning to conditional logics. Zbl 0807.68083Fariñas del Cerro, Luis; Herzig, Andreas; Lang, Jérôme 12 1994 Interference logic = conditional logic + frame axiom. Zbl 0805.68113Fariñas del Cerro, Luis; Herzig, Andreas 3 1994 Structure, consequence relation and logic. Zbl 0823.03013Crocco, G.; Fariñas del Cerro, L. 1 1994 Elements of mechanical geometry. (Éléments de géométrie mécanique.) Zbl 0871.51010Balbiani, Philippe; Dugat, Vincent; Fariñas del Cerro, Luis; Lopez, Anne 1 1994 Intensional logics for programming. Zbl 0787.03018 1 1992 A modal analysis of possibility theory. Zbl 0793.03019Fariñas del Cerro, Luis; Herzig, Andreas 16 1991 An inference rule for hypothesis generation. Zbl 0745.68088Demolombe, Robert; Fariñas del Cerro, Luis 6 1991 Contextual negations and reasoning with contradictions. Zbl 0742.68052Carnielli, Walter Alexandre; Fariñas del Cerro, Luis; Marques, Mameda Lima 3 1991 Sequents for dependence logics. Zbl 0799.03032Fariñas del Cerro, L.; Lugardon, V. 2 1991 Modal resolution in clausal form. Zbl 0669.03009Enjalbert, Patrice; Fariñas del Cerro, Luis 16 1989 Logique temporelle. Semantique et validation de programmes parallèles. Zbl 0702.68050Audureau, Eric; Farinas del Cerro, Luis; Enjalbert, Patrice 1 1989 Grammar logics. Zbl 0728.03025Fariñas del Cerro, Luis; Penttonen, Martti 6 1988 Linear modal deductions. Zbl 0654.03007Fariñas del Cerro, Luis; Herzig, Andreas 4 1988 An algebraic evaluation method for deduction in incomplete databases. Zbl 0647.68111Demolombe, R.; Fariñas del Cerro, L. 1 1988 Théorie de la programmation et logique temporelle. II. Validation d’algorithmes parallèles. Zbl 0656.03019Audureau, Éric; Fariñas del Cerro, Luis; Enjalbert, Patrice 1 1988 A note on the complexity of the satisfiability of modal Horn clauses. Zbl 0624.03010Fariñas del Cerro, Luis; Penttonen, Martti 9 1987 MOLOG: A system that extends PROLOG with modal logic. Zbl 0598.68063Fariñas del Cerro, L. 22 1986 Rough sets, twofold fuzzy sets and modal logic. Fuzziness in indiscernibility and partial information. Zbl 0593.03032Farinas del Cerro, Luis; Prade, Henri 8 1986 A modal Herbrand’s property. Zbl 0589.03004Cialdea, Marta; Fariñas del Cerro, Luis 4 1986 Corrigendum to: “DAL – a logic for data analysis”. Zbl 0618.68032Fariñas Del Cerro, Luis; Orłowska, Ewa 3 1986 DAL – a logic for data analysis. Zbl 0565.68032Fariñas del Cerro, Luis; Orłowska, Ewa 23 1985 Resolution modal logic. Zbl 0631.03007Fariñas-del-Cerro, Luis 7 1985 Resolution modal logics. Zbl 0582.68057Fariñas-del-Cerro, Luis 4 1985 A decision method for linear temporal logic. Zbl 0547.03008Cavalli, Ana R.; Fariñas del Cerro, Luis 4 1984 Un principe de résolution en logique modale. Zbl 0566.03007Fariñas del Cerro, Luis 3 1984 Modalities for total correctness. Zbl 0576.68008Farinas del Cerro, Luis 1 1984 Some results in intuitionistic modal logic. Zbl 0544.03001Fariñas del Cerro, Luis; Raggio, Andrés R. 3 1983 A simple deduction method for modal logic. Zbl 0515.03009Farinas del Cerro, Luis 8 1982 Les modalites de la correction totale. Zbl 0506.03004Farinas del Cerro, Luis 1 1982 Logique modal et processus communicants. Zbl 0509.03010Farinas Del Cerro, L. 1 1982 all cited Publications top 5 cited Publications all top 5 Cited by 318 Authors 19 Fariñas del Cerro, Luis 12 Dubois, Didier 11 Balbiani, Philippe 9 Prade, Henri M. 8 Cabalar, Pedro 8 Herzig, Andreas 7 Fandinno, Jorge 7 Sciavicco, Guido 6 Demri, Stéphane P. 6 Goranko, Valentin F. 5 Demolombe, Robert 5 Diéguez, Martín 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 Muñoz-Velasco, Emilio 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 Bresolin, Davide 2 Cayrol, Claudette 2 Chen, Cheng-Chia 2 Chen, Xiaoyu 2 Da Silva Neves, Rui 2 de Nivelle, Hans 2 Esteva, Francesc 2 Gabbay, Dov M. 2 Gao, Jianming 2 Garcia, Pere 2 Georgatos, Konstantinos 2 Girard, Patrick R. 2 Haeusler, Edward Hermann 2 Izmirlioglu, Yusuf 2 Koutras, Costas D. 2 Legastelois, Bénédicte 2 Lesot, Marie-Jeanne 2 Lin, Bertrand I-peng 2 Lopes, Bruno Domeniciano 2 Lorini, Emiliano 2 Navarrete, Isabel 2 Nomikos, Christos 2 Obeid, Naji 2 Ognjanović, Zoran 2 Orgun, Mehmet Ali 2 Parent, Xavier 2 Pawłowski, Paweł 2 Pérez, Gilberto 2 Peron, Newton M. 2 Perrussel, Laurent 2 Rantsoudis, Christos 2 Rasga, João 2 Sala, Pietro 2 Schwarzentruber, François 2 Sernadas, Amilcar C. 2 Sernadas, Cristina S. 2 She, Yanhong 2 Song, Dan 2 Szałas, Andrzej 2 Triplett, Marcus Anthony 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 Besin, Viktor 1 Besnard, Philippe 1 Beyersdorff, Olaf 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 ...and 218 more Authors all top 5 Cited in 40 Serials 24 Journal of Applied Non-Classical Logics 18 Artificial Intelligence 17 Theoretical Computer Science 14 International Journal of Approximate Reasoning 9 Fuzzy Sets and Systems 9 Journal of Automated Reasoning 9 Annals of Mathematics and Artificial Intelligence 9 Theory and Practice of Logic Programming 6 Annals of Pure and Applied Logic 6 Journal of Applied Logic 5 Information Processing Letters 5 Information Sciences 5 Studia Logica 4 Synthese 4 Journal of Logic, Language and Information 3 Journal of Philosophical Logic 3 The Journal of Symbolic Logic 3 Journal of Symbolic Computation 3 New Generation Computing 3 The Review of Symbolic Logic 2 Notre Dame Journal of Formal Logic 2 Mathematical and Computer Modelling 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 Soft Computing 2 Journal of Logical and Algebraic Methods in Programming 1 RAIRO, Informatique Théorique 1 History and Philosophy of Logic 1 Journal of Computer Science and Technology 1 Information and Computation 1 International Journal of Intelligent Systems 1 Applied Intelligence 1 International Journal of Computer Mathematics 1 Data Mining and Knowledge Discovery 1 Fundamenta Informaticae 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Logic and Logical Philosophy 1 ACM Transactions on Computational Logic 1 Logica Universalis 1 Logical Methods in Computer Science 1 Frontiers of Computer Science all top 5 Cited in 15 Fields 155 Mathematical logic and foundations (03-XX) 155 Computer science (68-XX) 6 Geometry (51-XX) 3 General and overarching topics; collections (00-XX) 3 Biology and other natural sciences (92-XX) 3 Information and communication theory, circuits (94-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 General topology (54-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Topological groups, Lie groups (22-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) Citations by Year