Mario Rodríguez-Artalejo

According to our database, Mario Rodríguez-Artalejo authored at least 56 papers between 1981 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A Transformation-based implementation for CLP with qualification and proximity.

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Theory Pract. Log. Program., 2014

2011

A Generic Scheme for Qualified Constraint Functional Logic Programming

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

CoRR, 2011

2010

A declarative semantics for CLP with qualification and proximity.

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Theory Pract. Log. Program., 2010

Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

CoRR, 2010

A Generic Scheme for Qualified Logic Programming

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

CoRR, 2010

2009

On the cooperation of the constraint domains , <i>R</i>, and <i>F</i> in CFLP.

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

Theory Pract. Log. Program., 2009

On the Cooperation of the Constraint Domains H, R and FD in CFLP

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

CoRR, 2009

Qualified Computations in Functional Logic Programming.

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Qualified Logic Programming with Bivalued Predicates.

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Cooperation of constraint domains in the <i>TOY</i> system.

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

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Similarity-based reasoning in qualified logic programming.

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Quantitative Logic Programming Revisited.

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.

Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007

A new generic scheme for functional logic programming with constraints.

Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda

High. Order Symb. Comput., 2007

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming.

Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.

Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.

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

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.

Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda

Proceedings of the Logic Programming, 22nd International Conference, 2006

2004

Constraint Functional Logic Programming Revisited.

Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

A lazy narrowing calculus for declarative constraint programming.

Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

DDT: a Declarative Debugging Tool for Functional-Logic Languages.

Rafael Caballero, Mario Rodríguez-Artalejo

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003

Editorial: the Sixth International Symposium on Functional and Logic Programming.

Zhenjiang Hu, Mario Rodríguez-Artalejo

J. Funct. Log. Program., 2003

2001

Constraint Logic Programming with Hereditary Harrop Formula.

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo

Theory Pract. Log. Program., 2001

A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types.

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo

Theory Pract. Log. Program., 2001

A declarative framework for object-oriented programming with genetic inheritance.

Joaquín Mateos-Lago, Mario Rodríguez-Artalejo

Theor. Comput. Sci., 2001

Polymorphic Types in Functional Logic Programming.

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo

J. Funct. Log. Program., 2001

A Declarative Debugging System for Lazy Functional Logic Programs.

Rafael Caballero, Mario Rodríguez-Artalejo

Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.

Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000

A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program.

Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

1999

An Approach to Declarative Programming Based on a Rewriting Logic.

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo

J. Log. Program., 1999

Semantics and Types in Functional Logic Programming.

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

Functional and Constraint Logic Programming.

Mario Rodríguez-Artalejo

Proceedings of the Constraints in Computational Logics: Theory and Applications, 1999

1997

A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types.

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Constraint Logic Programming with Hereditary Harrop Formulas.

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo

Proceedings of the Logic Programming, 1997

A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types.

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo

Proceedings of the Logic Programming, 1997

A Higher Order Rewriting Logic for Functional Logic Programming.

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo

Proceedings of the Logic Programming, 1997

1996

The Functional Logic Language BABEL and Its Implementation on a Graph Machine.

Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo

New Gener. Comput., 1996

GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies.

Joaquín Mateos-Lago, Mario Rodríguez-Artalejo

Proceedings of the Programming Languages: Implementations, 1996

A Rewriting Logic for Declarative Programming.

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo

Proceedings of the Programming Languages and Systems, 1996

1995

The Challenge of Declarative Programming (Panel Abstract).

Mario Rodríguez-Artalejo

Proceedings of the Logic Programming, 1995

1994

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations.

Egon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

1993

A Demand Driven Computation Strategy for Lazy Narrowing.

Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo

Proceedings of the Programming Language Implementation and Logic Programming, 1993

1992

Logic Programming with Functions and Predicates: The Language BABEL.

Juan José Moreno-Navarro, Mario Rodríguez-Artalejo

J. Log. Program., 1992

Implementing a Lazy Functional Logic Language with Disequality Constraints.

Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo

Proceedings of the Logic Programming, 1992

On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming.

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo

Proceedings of the Computer Science Logic, 6th Workshop, 1992

Reasoning with Higher Order Partial Functions.

Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1991

Denotational Versus Declarative Semantics for Functional Programming.

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo

Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990

Graph-based Implementation of a Functional Logic Langugage.

Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo

Proceedings of the ESOP'90, 1990

Lazy Narrowing in a Graph Machine.

Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo

Proceedings of the Algebraic and Logic Programming, 1990

1989

Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach.

Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo

Theor. Comput. Sci., 1989

European Summer Meeting of the Association for Symbolic Logic.

Heinz-Dieter Ebbinghaus, José Fernández-Prida, Manuel Garrido, Daniel Lascar, Mario Rodríguez-Artalejo

J. Symb. Log., 1989

1988

Some General Incompleteness Results for Partial Correctness Logics

Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo

Inf. Comput., October, 1988

BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing.

Juan José Moreno-Navarro, Mario Rodríguez-Artalejo

Proceedings of the Algebraic and Logic Programming, 1988

1985

Some Questions about Expressiveness and Relative Completeness in Hoare's Logic.

Mario Rodríguez-Artalejo

Theor. Comput. Sci., 1985

Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem.

Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo

Proceedings of the Automata, 1985

1981

Eine syntaktisch-algebraische Methode zur Konstruktion von Modellen.

Mario Rodríguez-Artalejo

Math. Log. Q., 1981