The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Luis Fariñas del Cerro" ( http://dblp.L3S.de/Authors/Luis_Fariñas_del_Cerro )

  Author page on DBLP  Author page in RDF  Community of Luis Fariñas del Cerro in ASPL-2

Publication years (Num. hits)
1977-1985 (15) 1986-1991 (16) 1992-1996 (17) 1997-2000 (16) 2001-2012 (16) 2013-2017 (15) 2018-2019 (10)
Publication types (Num. hits)
article(40) book(1) incollection(4) inproceedings(58) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 106 publication records. Showing 105 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro Founded World Views with Autoepistemic Equilibrium Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro Splitting Epistemic Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro Founded World Views with Autoepistemic Equilibrium Logic. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001 Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro Splitting Epistemic Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001 Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports. Search on Bibsonomy COMMA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jorge Fandinno, Luis Fariñas del Cerro Constructive Logic Covers Argumentation and Logic Programming. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports. Search on Bibsonomy FoIKS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde On the Properties of Atom Definability and Well-Supportedness in Logic Programming. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex Valid Attacks in Argumentation Frameworks with Recursive Attacks. Search on Bibsonomy COMMONSENSE The full citation details ... 2017 DBLP  BibTeX  RDF
1Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid Translation of first order formulas into ground formulas via a completion theory. Search on Bibsonomy J. Applied Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jean-Marc Alliot, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro, Gilles Favre, Jean-Charles Faye, Naji Obeid, Olivier Sordet Temporal Logic Modeling of Biological Systems. Search on Bibsonomy Towards Paraconsistent Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jean-Marc Alliot, Martín Diéguez, Luis Fariñas del Cerro Metabolic Pathways as Temporal Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron Finite non-deterministic semantics for some modal systems. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su Epistemic Equilibrium Logic. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su Capturing equilibrium models in modal logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Katsumi Inoue Logical Modeling of Biological Systems. Search on Bibsonomy 2014   RDF
1Pedro Cabalar, Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde A Free Logic for Stable Models with Partial Intensional Functions. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade An Ordinal View of Independence with Application to Plausible Reasoning Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su Combining Equilibrium Logic and Dynamic Logic. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid Automated Reasoning in Metabolic Networks with Inhibition. Search on Bibsonomy AI*IA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig La logique modale des modèles d'équilibre. Search on Bibsonomy Revue d'Intelligence Artificielle The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde Bi-state Logic. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.) Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Edward Hermann Haeusler, Luis Fariñas del Cerro Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig Contingency-Based Equilibrium Logic. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig Logics of Contingency. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig The Modal Logic of Equilibrium Models. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig Foreword. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robert Demolombe, Luis Fariñas del Cerro Information About a Given Entity: From Semantics Towards Automated Deduction. Search on Bibsonomy J. Log. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig Global and Local Graph Modifiers. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robert Demolombe, Luis Fariñas del Cerro How to Produce Information About a Given Entity Using Automated Deduction Methods. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade Modal Tableaux: Completeness vs. Termination. Search on Bibsonomy We Will Show Them! (1) The full citation details ... 2005 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig Foreword. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro Tractability Results in the Block Algebra. Search on Bibsonomy J. Log. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Olivier Gasquet A General Framework for Pattern-Driven Modal Tableaux. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci Lotrec : The Generic Tableau Prover for Modal and Description Logics. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro A mixed decision method for duration calculus. Search on Bibsonomy J. Log. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro A Decision Method for Duration Calculus. Search on Bibsonomy RelMiCS The full citation details ... 2000 DBLP  BibTeX  RDF
1Robert Demolombe, Luis Fariñas del Cerro Towards a Logical Characterization of Sentences of the Kind "Sentence p is about Object c". Search on Bibsonomy Intellectics and Computational Logic The full citation details ... 2000 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Olivier Gasquet Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. Search on Bibsonomy Fundam. Inform. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro A Decision Method for Duration Calculus. Search on Bibsonomy J. UCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. Search on Bibsonomy EPIA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro A New Tractable Subclass of the Rectangle Algebra. Search on Bibsonomy IJCAI The full citation details ... 1999 DBLP  BibTeX  RDF
1Philippe Balbiani, Luis Fariñas del Cerro Complete axiomatization of a relative modal logic with composition and intersection. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig Modal tableaux based on graph-rules. Search on Bibsonomy RelMiCS The full citation details ... 1998 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi Belief Reconstruction in Cooperative Dialogues. Search on Bibsonomy AIMSA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani Reasoning about Generalized Intervals. Search on Bibsonomy AIMSA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (eds.) Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro A Model for Reasoning about Bidemsional Temporal Relations. Search on Bibsonomy KR The full citation details ... 1998 DBLP  BibTeX  RDF
1Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig Modal Tableaux with Propagation Rules and Structural Rules. Search on Bibsonomy Fundam. Inform. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov Modal Logics for Incidence Geometries. Search on Bibsonomy J. Log. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade Qualitative Relevance and Independence: A Roadmap. Search on Bibsonomy IJCAI (1) The full citation details ... 1997 DBLP  BibTeX  RDF
1Philippe Besnard, Luis Fariñas del Cerro, Dov M. Gabbay, Anthony Hunter Logical Handling of Inconsistent and Default Information. Search on Bibsonomy Uncertainty Management in Information Systems The full citation details ... 1996 DBLP  BibTeX  RDF
1Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov Geometrical Structures and Modal Logic. Search on Bibsonomy FAPR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig Talkin'bout Consistency, or: When Logically Possible Becomes Possible. Search on Bibsonomy FAPR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig Belief Change and Dependence. Search on Bibsonomy TARK The full citation details ... 1996 DBLP  BibTeX  RDF
1Gabriella Crocco, Luis Fariñas del Cerro Counterfactuals: Foundations for Nonmonotonic Inferences Sequent Systems. Search on Bibsonomy Logic, Action, and Information The full citation details ... 1996 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig Revisions, Updated, and Interference. Search on Bibsonomy Logic, Action, and Information The full citation details ... 1996 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. Search on Bibsonomy FroCoS The full citation details ... 1996 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig Interference logic = conditional logic + frame axiom. Search on Bibsonomy Int. J. Intell. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang From Ordering-Based Nonmonotonic Reasoning to Conditional Logics. Search on Bibsonomy Artif. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig A Conditional Logic for Updating in the Possible Models Approach. Search on Bibsonomy KI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade An Ordinal View of Independence with Application to Plausible Reasoning. Search on Bibsonomy UAI The full citation details ... 1994 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig Possibility Theory and Independence. Search on Bibsonomy IPMU The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Philippe 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 J. Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramón 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. Search on Bibsonomy AI Commun. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Luis Fariñas del Cerro Affine Geometry of Collinearity and Conditional Term Rewriting. Search on Bibsonomy Term Rewriting The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig Interference Logic = Conditional Logic + Frame Axiom. Search on Bibsonomy ECSQARU The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig Metaprogramming Through Intensional Deduction: Some Examples. Search on Bibsonomy META The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang From Ordering Based Nonmonotonic Reasoning to Conditional Logics. Search on Bibsonomy ECAI The full citation details ... 1992 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig A Modal Analysis of Possibility Theory. Search on Bibsonomy ECSQARU The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig A modal analysis of possibility theory. Search on Bibsonomy FAIR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Robert Demolombe, Luis Fariñas del Cerro An Inference Rule for Hypothesis Generation. Search on Bibsonomy IJCAI The full citation details ... 1991 DBLP  BibTeX  RDF
1Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques Contextual Negations and Reasoning with Contradictions. Search on Bibsonomy IJCAI The full citation details ... 1991 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig Deterministic Modal Logics for Automated Deduction. Search on Bibsonomy ECAI The full citation details ... 1990 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Martti Penttonen Logics with Structured Contexts. Search on Bibsonomy AIMSA The full citation details ... 1990 DBLP  BibTeX  RDF
1Patrice Enjalbert, Luis Fariñas del Cerro Modal Resolution in Clausal Form. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig Plan Generation by Linear Proofs: On Semantics. Search on Bibsonomy GWAI The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Robert Demolombe, Luis Fariñas del Cerro An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. Search on Bibsonomy J. Log. Program. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Pierre Bieber, Luis Fariñas del Cerro, Andreas Herzig MOLOG: a Modal PROLOG. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Andreas Herzig Linear Modal Deductions. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig Declarative Semantics for Modal Logic Programs. Search on Bibsonomy FGCS The full citation details ... 1988 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Martti Penttonen A Note of the Complexity of the Satisfiability of Modal Horn Clauses. Search on Bibsonomy J. Log. Program. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro MOLOG: A System That Extends PROLOG with Modal Logic. Search on Bibsonomy New Generation Comput. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Marta Cialdea, Luis Fariñas del Cerro A Modal Herbrand's Property. Search on Bibsonomy Math. Log. Q. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Ewa Orlowska Corrigendum: DAL-A Logic for Data Analysis. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1986 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Ewa Orlowska DAL - A Logic for Data Analysis. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Robert Demolombe, Luis Fariñas del Cerro Efficient Representation of Incomplete Information About Structured Objects. Search on Bibsonomy Foundations of Knowledge Base Management (Xania) The full citation details ... 1985 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro Un Principe de Résolution en Logique Modale. Search on Bibsonomy ITA The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Ewa Orlowska DAL: A Logic for Data Analysis. Search on Bibsonomy ECAI The full citation details ... 1984 DBLP  BibTeX  RDF
1Ana R. Cavalli, Luis Fariñas del Cerro A Decision Method for Linear Temporal Logic. Search on Bibsonomy CADE The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Ana R. Cavalli, Luis Fariñas del Cerro Specification and Verification of Networks Protocols Using. Search on Bibsonomy Symposium on Programming The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro, Ewa Orlowska DAL - A Logic for Data Analysis. Search on Bibsonomy FGCS The full citation details ... 1984 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro, Said Soulhi Mutual Belief Logic for Processing Definite Reference. Search on Bibsonomy Natural Language Understanding and Natural Language Understanding Workshop The full citation details ... 1984 DBLP  BibTeX  RDF
1Luis Fariñas del Cerro Space as Time. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Luis Fariñas del Cerro Temporal Reasoning and Termination of Programs. Search on Bibsonomy IJCAI The full citation details ... 1983 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 105 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license