A compositional typed higher-order logic with definitions
From MaRDI portal
Publication:5240216
DOI10.4230/OASIcs.ICLP.2016.14zbMath1428.68287OpenAlexW2591642135MaRDI QIDQ5240216
Gerda Janssens, Bart Bogaerts, Ingmar Dasseville, Matthias van der Hallen, Marc Denecker
Publication date: 24 October 2019
Full work available at URL: https://doi.org/10.4230/oasics.iclp.2016.14
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Higher-order logic (03B16)
Uses Software
Cites Work
- Semantics and complexity of recursive aggregates in answer set programming
- Making computational sense of Montague's intensional logic
- Logic programs with stable model semantics as a constraint programming paradigm
- Vicious Circle Principle and Logic Programs with Aggregates
- Logic of infons
- A Semantic Account for Modularity in Multi-language Modelling of Search Problems
- Well-founded and stable semantics of logic programs with aggregates
- HiLog: A foundation for higher-order logic programming
- Semantics of templates in a compositional framework for building logics
- PBINT, A Logic for Modelling Search Problems Involving Arithmetic
- A logic of nonmonotone inductive definitions
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Constraint-Based Sequence Mining Using Constraint Programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A compositional typed higher-order logic with definitions
