A logic of fixpoint definitions

MaRDI QIDQ3089163zbMATH OpenFDO

Authors Ping Hou, Marc Denecker

Publication date 24 August 2011

Full work available at URL https://www.mat.unical.it/ASPOCP09/

zbMATH Keywords

fixpoint definitionsFO(FD)integration of ASP and classical logicSAT solversSAT(FD)

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• \(FO(FD)\): extending classical logic with rule-based fixpoint definitions
• SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
• Logic Programming
• scientific article; zbMATH DE number 4180775
• Fixed-point extensions of first-order logic

Cited in

(7)

• Integrating Inductive Definitions in SAT
• \(FO(FD)\): extending classical logic with rule-based fixpoint definitions
• A Deductive System for FO(ID) Based on Least Fixpoint Logic
• scientific article; zbMATH DE number 1163924 (Why is no real title available?)
• Evidence for Fixpoint Logic
• Logic Programming
• Characters and fixed points in provability logic

Describes a project that uses

Uses Software

• ASSAT

This page was built for publication: A logic of fixpoint definitions

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