HiLog

swMATH1580MaRDI QIDQ14286FDOQ14286

Author name not available (Why is that?)

Cited In (46)

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

This page was built for software: HiLog