Mario Rodríguez-Artalejo

67 papers A* 2A 2B 8C 3Misc 5Journal 27Unranked 18
YearRankTypeTitle / Venue / Authors
2014 J jnl
A Transformation-based implementation for CLP with qualification and proximity.
Theory Pract. Log. Program.
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2012 J jnl
A Transformation-based Implementation for CLP with Qualification and Proximity
CoRR
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2011 J jnl
A Generic Scheme for Qualified Constraint Functional Logic Programming
CoRR
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2010 J jnl
A Declarative Semantics for CLP with Qualification and Proximity
CoRR
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2010 J jnl
A Generic Scheme for Qualified Logic Programming
CoRR
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2010 J jnl
A Transformation-based Implementation for CLP with Qualification and Proximity
CoRR
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2010 J jnl
A declarative semantics for CLP with qualification and proximity.
Theory Pract. Log. Program.
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2010 J jnl
Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity
CoRR
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2010 J jnl
Similarity-based Reasoning in Qualified Logic Programming
CoRR
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2009 J jnl
On the Cooperation of the Constraint Domains H, R and FD in CFLP
CoRR
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
2009 J jnl
On the cooperation of the constraint domains ,
Theory Pract. Log. Program.
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
2009 B conf
Qualified Computations in Functional Logic Programming.
ICLP
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2008 C conf
Cooperation of constraint domains in the
PPDP
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
2008 Misc conf
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.
FLOPS
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2008 — conf
Qualified Logic Programming with Bivalued Predicates.
PROLE
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2008 Misc conf
Quantitative Logic Programming Revisited.
FLOPS
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2008 C conf
Similarity-based reasoning in qualified logic programming.
PPDP
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2007 J jnl
A new generic scheme for functional logic programming with constraints.
High. Order Symb. Comput.
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2007 B conf
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming.
ICLP
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2006 — conf
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.
WFLP
Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2006 — conf
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.
PROLE
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
2006 B conf
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.
ICLP
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2004 J jnl
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types
CoRR
Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
2004 C conf
A lazy narrowing calculus for declarative constraint programming.
PPDP
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2004 — conf
Constraint Functional Logic Programming Revisited.
WRLA
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2004 J jnl
Constraint Logic Programming with Hereditary Harrop Formula
CoRR
Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
2004 Misc conf
DDT: a Declarative Debugging Tool for Functional-Logic Languages.
FLOPS
Rafael Caballero, Mario Rodríguez-Artalejo
2003 J jnl
Editorial: the Sixth International Symposium on Functional and Logic Programming.
J. Funct. Log. Program.
Zhenjiang Hu, Mario Rodríguez-Artalejo
2002 Misc ed.
Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings
FLOPS
Zhenjiang Hu, Mario Rodríguez-Artalejo
2001 — conf
A Declarative Debugging System for Lazy Functional Logic Programs.
WFLP
Rafael Caballero, Mario Rodríguez-Artalejo
2001 J jnl
A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types.
Theory Pract. Log. Program.
Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
2001 J jnl
A declarative framework for object-oriented programming with genetic inheritance.
Theor. Comput. Sci.
Joaquín Mateos-Lago, Mario Rodríguez-Artalejo
2001 J jnl
Constraint Logic Programming with Hereditary Harrop Formula.
Theory Pract. Log. Program.
Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
2001 J jnl
Polymorphic Types in Functional Logic Programming.
J. Funct. Log. Program.
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
2001 Misc conf
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.
FLOPS
Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
2000 — conf
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program.
WFLP
Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
1999 J jnl
An Approach to Declarative Programming Based on a Rewriting Logic.
J. Log. Program.
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
1999 B ed.
Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
CSL
Jörg Flum, Mario Rodríguez-Artalejo
1999 — conf
Functional and Constraint Logic Programming.
CCL
Mario Rodríguez-Artalejo
1999 — conf
Semantics and Types in Functional Logic Programming.
Fuji International Symposium on Functional and Logic Programming
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
1997 B conf
A Higher Order Rewriting Logic for Functional Logic Programming.
ICLP
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
1997 — conf
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types.
ILPS
Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
1997 — conf
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types.
TAPSOFT
Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
1997 — conf
Constraint Logic Programming with Hereditary Harrop Formulas.
ILPS
Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
1996 A conf
A Rewriting Logic for Declarative Programming.
ESOP
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
1996 — ed.
Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings
ALP
Michael Hanus, Mario Rodríguez-Artalejo
1996 — conf
GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies.
PLILP
Joaquín Mateos-Lago, Mario Rodríguez-Artalejo
1996 J jnl
The Functional Logic Language BABEL and Its Implementation on a Graph Machine.
New Gener. Comput.
Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
1995 — conf
The Challenge of Declarative Programming (Panel Abstract).
ILPS
Mario Rodríguez-Artalejo
1994 — conf
A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations.
IFIP Congress (1)
Egon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
1994 — ed.
Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings
ALP
Giorgio Levi, Mario Rodríguez-Artalejo
1993 — conf
A Demand Driven Computation Strategy for Lazy Narrowing.
PLILP
Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
1992 — conf
Implementing a Lazy Functional Logic Language with Disequality Constraints.
JICSLP
Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
1992 J jnl
Logic Programming with Functions and Predicates: The Language BABEL.
J. Log. Program.
Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
1992 B conf
On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming.
CSL
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
1992 B conf
Reasoning with Higher Order Partial Functions.
CSL
Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo
1991 A* ed.
Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings
ICALP
Javier Leach Albert, Burkhard Monien, Mario Rodríguez-Artalejo
1991 B conf
Denotational Versus Declarative Semantics for Functional Programming.
CSL
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
1990 A conf
Graph-based Implementation of a Functional Logic Langugage.
ESOP
Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
1990 — conf
Lazy Narrowing in a Graph Machine.
ALP
Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo
1989 J jnl
European Summer Meeting of the Association for Symbolic Logic.
J. Symb. Log.
Heinz-Dieter Ebbinghaus, José Fernández-Prida, Manuel Garrido, Daniel Lascar, Mario Rodríguez-Artalejo
1989 J jnl
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach.
Theor. Comput. Sci.
Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
1988 — conf
BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing.
ALP
Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
1988 J jnl
Some General Incompleteness Results for Partial Correctness Logics
Inf. Comput.
Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo
1985 A* conf
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem.
ICALP
Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
1985 J jnl
Some Questions about Expressiveness and Relative Completeness in Hoare's Logic.
Theor. Comput. Sci.
Mario Rodríguez-Artalejo
1981 J jnl
Eine syntaktisch-algebraische Methode zur Konstruktion von Modellen.
Math. Log. Q.
Mario Rodríguez-Artalejo