From primal infon logic with individual variables to Datalog

DOI10.1007/978-3-642-30743-0_6MaRDI QIDQ2900510zbMATH OpenOpenAlexFDO

Authors Nikolaj Bjørner, Guido de Caso, Yuri Gurevich

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_6

zbMATH Keywords

Dataloginfon logicPIVtranslation

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Propositional primal logic with disjunction
• Hilbertian deductive systems, infon logic, and Datalog
• Logic of infons, the propositional case
• Abstract Hilbertian deductive systems, infon logic, and Datalog
• scientific article; zbMATH DE number 5606348

Cites work

• Hilbertian deductive systems, infon logic, and Datalog

Cited in

(6)

• Logic of infons, the propositional case
• Primal Infon Logic: Derivability in Polynomial Time
• DKAL and Z3: a logic embedding experiment
• Abstract Hilbertian deductive systems, infon logic, and Datalog
• Hilbertian deductive systems, infon logic, and Datalog
• Propositional primal logic with disjunction

Describes a project that uses

Uses Software

• Datalog
• DKAL

This page was built for publication: From primal infon logic with individual variables to Datalog

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