HiLog
From MaRDI portal
Software:14286
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