HiLog
From MaRDI portal
Software:14286
No author found.
Related Items (46)
Unnamed Item ⋮ Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system ⋮ Verifying termination and reduction properties about higher-order logic programs ⋮ Unnamed Item ⋮ Logic programming in the context of multiparadigm programming: the Oz experience ⋮ Logic Based Program Synthesis and Transformation ⋮ Logic Programming with Defaults and Argumentation Theories ⋮ Reflective programming in the relational algebra ⋮ The F-logic approach for description languages ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The intricacies of three-valued extensional semantics for higher-order logic programs ⋮ Semantics of templates in a compositional framework for building logics ⋮ The Expressive Power of Higher-Order Datalog ⋮ HiLog: A foundation for higher-order logic programming ⋮ In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ Why untyped nonground metaprogramming is not (much of) a problem ⋮ Extended RDF: computability and complexity issues ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A compositional typed higher-order logic with definitions ⋮ Unnamed Item ⋮ Typed query languages for databases containing queries ⋮ A practical analysis of non-termination in large logic programs ⋮ Logical foundations of object-oriented and frame-based languages ⋮ The complexity of higher-order queries ⋮ Logic and algebraic languages for interoperability in multidatabase systems ⋮ Metamodeling and metaquerying in \texttt{OWL 2 QL} ⋮ Unnamed Item ⋮ Adding Metalogic Features to Knowledge Representation Languages* ⋮ Equivalence of two fixed-point semantics for definitional higher-order logic programs ⋮ Kripke semantics for higher-order type theory applied to constraint logic programming languages ⋮ On the Properties of Metamodeling in OWL ⋮ Expressive capabilities description languages and query rewriting algorithms ⋮ Compositional Semantics for the Procedural Interpretation of Logic ⋮ Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming ⋮ Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making ⋮ Intensional First-Order Logic for P2P Database Systems ⋮ Web Data Management ⋮ Answer Set Programming: A Primer ⋮ OntoDLV: An ASP-based System for Enterprise Ontologies ⋮ Functional-logic integration via minimal reciprocal extensions ⋮ Knowledge representation analysis of graph mining ⋮ Extensional Semantics for Higher-Order Logic Programs with Negation ⋮ On the algebraic structure of declarative programming languages ⋮ A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
This page was built for software: HiLog
