From Primal Infon Logic with Individual Variables to Datalog

DOI10.1007/978-3-642-30743-0_6zbMath1357.68212OpenAlexW1870402852MaRDI QIDQ2900510

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

translationinfon logicDatalogPIV

Mathematics Subject Classification ID

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

Related Items (1)

Abstract Hilbertian deductive systems, infon logic, and Datalog

Uses Software

• Datalog
• DKAL

Cites Work

• Unnamed Item

This page was built for publication: From Primal Infon Logic with Individual Variables to Datalog