From Primal Infon Logic with Individual Variables to Datalog - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Nikolaj Bjørner, Guido de Caso, Yuri Gurevich. From Primal Infon Logic with Individual Variables to Datalog. In Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce, editors, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Volume 7265 of Lecture Notes in Computer Science, pages 72-86, Springer, 2012. [doi]

The following publications are possibly variants of this publication:

Transitive Primal Infon LogicCarlos Cotrini, Yuri Gurevich. rsl, 6(2):281-304, 2013. [doi]

Basic primal infon logicCarlos Cotrini, Yuri Gurevich. logcom, 26(1):117-141, 2016. [doi]

Primal Infon Logic with Conjunctions as SetsCarlos Cotrini, Yuri Gurevich, Ori Lahav, Artem Melentyev. ifipTCS 2014: 236-249 [doi]

Transitive Primal Infon Logic-ERRATUMCarlos Cotrini, Yuri Gurevich. rsl, 6(2):366, 2013. [doi]

Abstract Hilbertian deductive systems, infon logic, and DatalogAndreas Blass, Yuri Gurevich. iandc, 231:21-37, 2013. [doi]

Hilbertian Deductive Systems, Infon Logic, and DatalogAndreas Blass, Yuri Gurevich. eatcs, 102:122-150, 2010. [doi]

runs on WebDSL