Coinductive logic programming with negation

DOI10.1007/978-3-642-12592-8_8MaRDI QIDQ3558289zbMATH OpenOpenAlexFDO

Authors 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

coinductive logic programmingKripke-Kleene three-valued logicnegation as failureprogram completion

Mathematics Subject Classification ID

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

Recommendations

• Co-Logic Programming: Extending Logic Programming with Coinduction
• Coinductive Logic Programming and Its Applications
• Coinductive Logic Programming
• On dual programs in co-logic programming
• Coinductive constraint logic programming

Cited in

(12)

• Negation and constraint logic programming
• Proving properties of co-logic programs with negation by program transformations
• A necessary condition for constructive negation in constraint logic programming
• Idealized coinductive type systems for imperative object-oriented programs
• Extending co-logic programs for branching-time model checking
• Coinductive Logic Programming and Its Applications
• Answer Synthesis for CLP Programs with Negation
• scientific article; zbMATH DE number 1456952 (Why is no real title available?)
• Flexible coinductive logic programming
• On dual programs in co-logic programming
• Constructive negation and constraint logic programming with sets
• Proof-theoretic foundations of normal logic programs

This page was built for publication: Coinductive logic programming with negation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3558289)