From Primal Infon Logic with Individual Variables to Datalog

DOI10.1007/978-3-642-30743-0_6zbMATH Open1357.68212OpenAlexW1870402852MaRDI QIDQ2900510FDOQ2900510

Nikolaj Bjørner, Yuri Gurevich, Guido de Caso

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

translationPIVDataloginfon logic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)

Cited In (2)

• Abstract Hilbertian deductive systems, infon logic, and Datalog
• Primal Infon Logic: Derivability in Polynomial Time

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)