| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
A Transformation-based Implementation for CLP with Qualification and Proximity  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
A Generic Scheme for Qualified Constraint Functional Logic Progamming |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Similarity-based Reasoning in Qualified Logic Programming |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
A Declarative Semantics for CLP with Qualification and Proximity |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
A Transformation-based Implementation for CLP with Qualification and Proximity |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
A Generic Scheme for Qualified Logic Programming |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
A declarative semantics for CLP with qualification and proximity. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Qualified Logic Programming with Bivalued Predicates. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Qualified Computations in Functional Logic Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Constraints, Program Transformation, Rewriting Logic, Functional Logic Programming, Qualification |
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Quantitative Logic Programming Revisited. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
Quantitative Logic Programming, Qualification Domains, Qualification Constraints |
| 1 | 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 |
DBLP DOI BibTeX RDF |
constraint domains and solvers, domain cooperation, functional and logic programming |
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Similarity-based reasoning in qualified logic programming. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
qualification domains, similarity relations |
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
Logic programming, Constraints, Functional programming |
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Constraint Functional Logic Programming Revisited. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Mario Rodríguez-Artalejo |
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo |
Constraint Logic Programming with Hereditary Harrop Formula |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo |
DDT: a Declarative Debugging Tool for Functional-Logic Languages. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
A lazy narrowing calculus for declarative constraint programming. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
constraint logic programming, rewrite systems, narrowing, constraint solvers, functional logic programming languages |
| 1 | Zhenjiang Hu, Mario Rodríguez-Artalejo |
Editorial: the Sixth International Symposium on Functional and Logic Programming. |
Journal of Functional and Logic Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo |
A Declarative Debugging System for Lazy Functional Logic Programs. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.) |
Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings |
FLOPS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Joaquín Mateos-Lago, Mario Rodríguez-Artalejo |
A declarative framework for object-oriented programming with genetic inheritance. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Mario Rodríguez-Artalejo |
A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. |
TPLP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo |
Constraint Logic Programming with Hereditary Harrop Formula. |
TPLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo |
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
CSL |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mario Rodríguez-Artalejo |
Functional and Constraint Logic Programming. |
CCL |
1999 |
DBLP BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Mario Rodríguez-Artalejo |
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo |
Constraint Logic Programming with Hereditary Harrop Formulas. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Mario Rodríguez-Artalejo |
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Mario Rodríguez-Artalejo (eds.) |
Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings |
ALP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Joaquín Mateos-Lago, Mario Rodríguez-Artalejo |
GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
non-deterministic functions, constructor-based rewriting logic, lazy narrowing, Declarative programming |
| 1 | Mario Rodríguez-Artalejo |
The Challenge of Declarative Programming (Panel Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Levi, Mario Rodríguez-Artalejo (eds.) |
Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings |
ALP |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1994 |
DBLP BibTeX RDF |
|
| 1 | Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo |
A Demand Driven Computation Strategy for Lazy Narrowing. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan José Moreno-Navarro, Mario Rodríguez-Artalejo |
Logic Programming with Functions and Predicates: The Language BABEL. |
J. Log. Program. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo |
Reasoning with Higher Order Partial Functions. |
CSL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ICALP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo |
Denotational Versus Declarative Semantics for Functional Programming. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo |
Lazy Narrowing in a Graph Machine. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo |
Graph-based Implementation of a Functional Logic Langugage. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo |
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach. |
Theor. Comput. Sci. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1989 |
DBLP BibTeX RDF |
|
| 1 | Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo |
Some General Incompleteness Results for Partial Correctness Logics |
Inf. Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan José Moreno-Navarro, Mario Rodríguez-Artalejo |
BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. |
ALP |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Rodríguez-Artalejo |
Some Questions about Expressiveness and Relative Completeness in Hoare's Logic. |
Theor. Comput. Sci. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo |
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem. |
ICALP |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")