Skip to main content

3 Result(s)

within Jesús M. Almendros-Jiménez Remove this filter English Remove this filter Artificial Intelligence Remove this filter Logics and Meanings of Programs Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    A Computational Model for Functional Logic Deductive Databases

    This paper adds the handling of negative information to a functional-logic deductive database language. By adopting as semantics for negation the so-called CRWLF, wherein the negation is intended as ‘finite failu...

    Jesús M. Almendros-Jiménez, Antonio Becerra-Terón… in Logic Programming (2001)

  2. No Access

    Chapter and Conference Paper

    A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

    In this paper we start the design of a functional-logic deductive database language. Given that most logic deductive languages consider bottom-up evaluation as operational mechanism, here we will focus on the ...

    Jesús M. Almendros-Jiménez, Antonio Becerra-Terón in Functional and Logic Programming (2001)

  3. No Access

    Chapter and Conference Paper

    A Declarative Embedding of XQuery in a Functional-Logic Language

    This paper addresses the problem of integrating a fragment of XQuery, a language for querying XML documents, into the functional-logic language ...

    Jesús M. Almendros-Jiménez, Rafael Caballero… in Logic-Based Program Synthesis and Transfor… (2012)