Mario Rodríguez-Artalejo

Publication Activity (10 Years)

Years Active: 1981-2014
Publications (10 Years): 0

Top Topics

Implementation Details

Multiresolution

Multi Agent Systems

Top Venues

Theory Pract. Log. Program.

Publications

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
A Transformation-based implementation for CLP with qualification and proximity. Theory Pract. Log. Program. 14 (1) (2014)
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
A Transformation-based Implementation for CLP with Qualification and Proximity CoRR (2012)
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
A Generic Scheme for Qualified Constraint Functional Logic Programming CoRR (2011)
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Similarity-based Reasoning in Qualified Logic Programming CoRR (2010)
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity CoRR (2010)
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
A Transformation-based Implementation for CLP with Qualification and Proximity CoRR (2010)
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
A declarative semantics for CLP with qualification and proximity. Theory Pract. Log. Program. 10 (4-6) (2010)
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
A Declarative Semantics for CLP with Qualification and Proximity CoRR (2010)
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
A Generic Scheme for Qualified Logic Programming CoRR (2010)
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 (2009)
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Qualified Computations in Functional Logic Programming. ICLP (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
in CFLP. Theory Pract. Log. Program. 9 (4) (2009)
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Qualified Logic Programming with Bivalued Predicates. Electron. Notes Theor. Comput. Sci. 248 (2009)
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. FLOPS (2008)
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
system. PPDP (2008)
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Quantitative Logic Programming Revisited. FLOPS (2008)
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Similarity-based reasoning in qualified logic programming. PPDP (2008)
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
A new generic scheme for functional logic programming with constraints. High. Order Symb. Comput. 20 (1-2) (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. Electron. Notes Theor. Comput. Sci. 188 (2007)
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. ICLP (2007)
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. Electron. Notes Theor. Comput. Sci. 177 (2007)
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. ICLP (2006)
Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
Constraint Logic Programming with Hereditary Harrop Formula CoRR (2004)
Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types CoRR (2004)
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Constraint Functional Logic Programming Revisited. WRLA (2004)
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
A lazy narrowing calculus for declarative constraint programming. PPDP (2004)
Rafael Caballero, Mario Rodríguez-Artalejo
DDT: a Declarative Debugging Tool for Functional-Logic Languages. FLOPS (2004)
Zhenjiang Hu, Mario Rodríguez-Artalejo
Editorial: the Sixth International Symposium on Functional and Logic Programming. J. Funct. Log. Program. 2003 (2003)
Rafael Caballero, Mario Rodríguez-Artalejo
A Declarative Debugging System for Lazy Functional Logic Programs. Electron. Notes Theor. Comput. Sci. 64 (2002)
Joaquín Mateos-Lago, Mario Rodríguez-Artalejo
A declarative framework for object-oriented programming with genetic inheritance. Theor. Comput. Sci. 269 (1-2) (2001)
Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
Constraint Logic Programming with Hereditary Harrop Formula. Theory Pract. Log. Program. 1 (4) (2001)
Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. Theory Pract. Log. Program. 1 (2) (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)
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Polymorphic Types in Functional Logic Programming. J. Funct. Log. Program. 2001 (1) (2001)
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)
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) (1999)
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)
Mario Rodríguez-Artalejo
Functional and Constraint Logic Programming. CCL (1999)
Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. ILPS (1997)
Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
Constraint Logic Programming with Hereditary Harrop Formulas. ILPS (1997)
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)
Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. TAPSOFT (1997)
Joaquín Mateos-Lago, Mario Rodríguez-Artalejo
GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies. PLILP (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)
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 Gener. Comput. 14 (4) (1996)
Mario Rodríguez-Artalejo
The Challenge of Declarative Programming (Panel Abstract). ILPS (1995)
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)
Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
A Demand Driven Computation Strategy for Lazy Narrowing. PLILP (1993)
Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
Logic Programming with Functions and Predicates: The Language BABEL. J. Log. Program. 12 (3&4) (1992)
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)
Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo
Reasoning with Higher Order Partial Functions. CSL (1992)
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)
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Denotational Versus Declarative Semantics for Functional Programming. CSL (1991)
Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
Graph-based Implementation of a Functional Logic Langugage. ESOP (1990)
Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo
Lazy Narrowing in a Graph Machine. ALP (1990)
Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach. Theor. Comput. Sci. 68 (3) (1989)
Heinz-Dieter Ebbinghaus, José Fernández-Prida, Manuel Garrido, Daniel Lascar, Mario Rodríguez-Artalejo
European Summer Meeting of the Association for Symbolic Logic. J. Symb. Log. 54 (2) (1989)
Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. ALP (1988)
Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo
Some General Incompleteness Results for Partial Correctness Logics Inf. Comput. 79 (1) (1988)
Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem. ICALP (1985)
Mario Rodríguez-Artalejo
Some Questions about Expressiveness and Relative Completeness in Hoare's Logic. Theor. Comput. Sci. 39 (1985)
Mario Rodríguez-Artalejo
Eine syntaktisch-algebraische Methode zur Konstruktion von Modellen. Math. Log. Q. 27 (2-6) (1981)