Coinductive Logic Programming with Negation

DOI10.1007/978-3-642-12592-8_8zbMath1284.68117OpenAlexW1559995437MaRDI QIDQ3558289

Richard Min, Gopal Gupta

Publication date: 4 May 2010

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12592-8_8

zbMATH Keywords

negation as failurecoinductive logic programmingKripke-Kleene three-valued logicprogram completion

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Many-valued logic (03B50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Extending Co-logic Programs for Branching-Time Model Checking ⋮ Idealized coinductive type systems for imperative object-oriented programs

This page was built for publication: Coinductive Logic Programming with Negation