Mario Rodríguez-Artalejo

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz: A Transformation-based Implementation for CLP with Qualification and Proximity. CoRR abs/1201.5418 (2012)

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz: A Generic Scheme for Qualified Constraint Functional Logic Programming. CoRR abs/1101.2146 (2011)

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz: A declarative semantics for CLP with qualification and proximity. TPLP 10(4-6): 627-642 (2010)

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz: A Declarative Semantics for CLP with Qualification and Proximity. CoRR abs/1007.3629 (2010)

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz: A Generic Scheme for Qualified Logic Programming. CoRR abs/1008.3863 (2010)

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz: Similarity-based Reasoning in Qualified Logic Programming. CoRR abs/1008.3867 (2010)

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz: A Transformation-based Implementation for CLP with Qualification and Proximity. CoRR abs/1009.1976 (2010)

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz: Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity. CoRR abs/1009.1977 (2010)

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz: Qualified Logic Programming with Bivalued Predicates. Electr. Notes Theor. Comput. Sci. 248: 67-82 (2009)

Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández: On the cooperation of the constraint domains , R, and F in CFLP. TPLP 9(4): 415-527 (2009)

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz: Qualified Computations in Functional Logic Programming. ICLP 2009: 449-463

Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández: On the Cooperation of the Constraint Domains H, R and FD in CFLP. CoRR abs/0904.2136 (2009)

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz: Quantitative Logic Programming Revisited. FLOPS 2008: 272-288

Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. FLOPS 2008: 305-321

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz: Similarity-based reasoning in qualified logic programming. PPDP 2008: 185-194

Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda: Cooperation of constraint domains in the TOY system. PPDP 2008: 258-268

Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. Electr. Notes Theor. Comput. Sci. 177: 235-252 (2007)

Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda: A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. Electr. Notes Theor. Comput. Sci. 188: 37-51 (2007)

Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: A new generic scheme for functional logic programming with constraints. Higher-Order and Symbolic Computation 20(1-2): 73-122 (2007)

Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. ICLP 2007: 425-427

Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. ICLP 2006: 421-422

Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: Constraint Functional Logic Programming Revisited. Electr. Notes Theor. Comput. Sci. 117: 5-50 (2005)

Rafael Caballero, Mario Rodríguez-Artalejo: DDT: a Declarative Debugging Tool for Functional-Logic Languages. FLOPS 2004: 70-84

Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: A lazy narrowing calculus for declarative constraint programming. PPDP 2004: 43-54

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types. CoRR cs.PL/0404050 (2004)

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formula. CoRR cs.PL/0404053 (2004)

Zhenjiang Hu, Mario Rodríguez-Artalejo: Editorial: the Sixth International Symposium on Functional and Logic Programming. Journal of Functional and Logic Programming 2003 (2003)

Rafael Caballero, Mario Rodríguez-Artalejo: A Declarative Debugging System for Lazy Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 64: 113-175 (2002)

Zhenjiang Hu, Mario Rodríguez-Artalejo (Eds.): Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings. Lecture Notes in Computer Science 2441, Springer 2002, isbn 3-540-44233-2

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo: Polymorphic Types in Functional Logic Programming. Journal of Functional and Logic Programming 2001(1) (2001)

Joaquín Mateos-Lago, Mario Rodríguez-Artalejo: A declarative framework for object-oriented programming with genetic inheritance. Theor. Comput. Sci. 269(1-2): 363-417 (2001)

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. TPLP 1(2): 185-245 (2001)

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formula. TPLP 1(4): 409-445 (2001)

Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. FLOPS 2001: 170-184

Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. WFLP 2000: 8-22

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: An Approach to Declarative Programming Based on a Rewriting Logic. J. Log. Program. 40(1): 47-87 (1999)

Mario Rodríguez-Artalejo: Functional and Constraint Logic Programming. CCL 1999: 202-270

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo: Semantics and Types in Functional Logic Programming. Fuji International Symposium on Functional and Logic Programming 1999: 1-20

Jörg Flum, Mario Rodríguez-Artalejo (Eds.): Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings. Lecture Notes in Computer Science 1683, Springer 1999, isbn 3-540-66536-6

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo: A Higher Order Rewriting Logic for Functional Logic Programming. ICLP 1997: 153-167

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. ILPS 1997: 53-67

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formulas. ILPS 1997: 307-321

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. TAPSOFT 1997: 453-464

Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: The Functional Logic Language BABEL and Its Implementation on a Graph Machine. New Generation Comput. 14(4): 391-427 (1996)

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: A Rewriting Logic for Declarative Programming. ESOP 1996: 156-172

Joaquín Mateos-Lago, Mario Rodríguez-Artalejo: GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies. PLILP 1996: 62-76

Michael Hanus, Mario Rodríguez-Artalejo (Eds.): Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings. Lecture Notes in Computer Science 1139, Springer 1996, isbn 3-540-61735-3

Mario Rodríguez-Artalejo: The Challenge of Declarative Programming (Panel Abstract). ILPS 1995: 629-630

Egon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations. IFIP Congress (1) 1994: 410-415

Giorgio Levi, Mario Rodríguez-Artalejo (Eds.): Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings. Lecture Notes in Computer Science 850, Springer 1994, isbn 3-540-58431-5

Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: A Demand Driven Computation Strategy for Lazy Narrowing. PLILP 1993: 184-200

Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: Logic Programming with Functions and Predicates: The Language BABEL. J. Log. Program. 12(3&4): 191-223 (1992)

Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo: Reasoning with Higher Order Partial Functions. CSL 1992: 167-181

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo: On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming. CSL 1992: 216-230

Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: Implementing a Lazy Functional Logic Language with Disequality Constraints. JICSLP 1992: 207-221

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo: Denotational Versus Declarative Semantics for Functional Programming. CSL 1991: 134-148

Javier Leach Albert, Burkhard Monien, Mario Rodríguez-Artalejo (Eds.): Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings. Lecture Notes in Computer Science 510, Springer 1991, isbn 3-540-54233-7

Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo: Lazy Narrowing in a Graph Machine. ALP 1990: 298-317

Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: Graph-based Implementation of a Functional Logic Langugage. ESOP 1990: 271-290

Heinz-Dieter Ebbinghaus, J. Fernandez-Prida, M. Garrido, Daniel Lascar, Mario Rodríguez-Artalejo: European Summer Meeting of the Association for Symbolic Logic. J. Symb. Log. 54(2): 647-672 (1989)

Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo: Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach. Theor. Comput. Sci. 68(3): 277-302 (1989)

Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo: Some General Incompleteness Results for Partial Correctness Logics. Inf. Comput. 79(1): 22-42 (1988)

Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. ALP 1988: 223-232

Mario Rodríguez-Artalejo: Some Questions about Expressiveness and Relative Completeness in Hoare's Logic. Theor. Comput. Sci. 39: 189-206 (1985)

Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo: Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem. ICALP 1985: 270-280