Extending Constructive Logic Negation with Types
From MaRDI portal
Publication:4982631
DOI10.1016/j.entcs.2009.07.022zbMath1347.68044OpenAlexW2016620039MaRDI QIDQ4982631
Publication date: 9 April 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.022
typesnonmonotonic reasoningnegationconstraint logic programmingconstructive negationlogic programming implementation
Uses Software
Cites Work
- A polymorphic type system for Prolog
- A bottom-up polymorphic type inference in logic programming
- A theory of type polymorphism in programming
- Negation and constraint logic programming
- Efficient Negation Using Abstract Interpretation
- Negation in logic programming
- Type analysis of prolog using type graphs
- A transformational approach to negation in logic programming
- Functional and Logic Programming
- Logic Programming
This page was built for publication: Extending Constructive Logic Negation with Types