A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Filters
From Primal Infon Logic with Individual Variables to Datalog
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
We here present a practical reduction of the entailment problem for primal infon logic with individual variables to the entailment problem of Datalog. ...
In the presence of policies with variables and implicit universal quantification, but no functions of positive arity, primal infon logic can be reduced to Datalog. ...
Primal infon logic is called there primal infon logic with variables, in short PIV, to distinguish it from propositional primal infon logic introduced earlier in [5] . ...
doi:10.1007/978-3-642-30743-0_6
fatcat:eejevkd47nbz3h7rjmd6u32dzq
Datalog: A Perspective and the Potential
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Our main goal is to put Datalog into a proper logic perspective. ...
It may be too early to put Datalog into a proper perspective from the point of view of applications; nevertheless we discuss why Datalog pops up so often in applications. ...
To this end, Datalog is viewed as a logic calculus without axioms. Primal infon logic extends that calculus with axioms and more inference rules. ...
doi:10.1007/978-3-642-32925-8_2
fatcat:ojjncow3tfelzczh4uadracaia
Hilbertian Deductive Systems, Infon Logic, and Datalog
2010
Bulletin of the European Association for Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Primal Infon Logic With Variables In this section, we apply the preceding results to a particular substitutional Hilbertian system, namely the primal infon logic of [5] extended to allow variables. ...
(Note that not only the new hypotheses H but the whole new deduction of γ from them uses only variables from γ.) 6 From Primal Infon Logic to Datalog We combine the preceding results with an additional ...
dblp:journals/eatcs/BlassG10
fatcat:syftzyedufhfjfmolvayr6asaa
Abstract Hilbertian deductive systems, infon logic, and Datalog
2013
Information and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
A consequence of our analysis of primal infon logic with variables is that its derivability problems can be translated into Datalog with only a quadratic increase of size. A. Blass, Y. ...
In the second part of the paper, we analyze a particular deductive system, primal infon logic with variables, which arose in the development of the authorization language DKAL. ...
Primal infon logic with variables In this section, we apply the preceding results to a particular substitutional Hilbertian system, namely the primal infon logic of [7] extended to allow variables. ...
doi:10.1016/j.ic.2013.08.003
fatcat:ovpnte522ne4fgvoqkxotrswi4
Evidential Authorization*
[chapter]
2010
The Future of Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Primal infon logic with (universally quantified) variables is obtained from propositional primal logic by adding the substitution rule. ...
The current implementation of DKAL [9] employs primal infon logic with variables and uses the SQL database engine. ...
doi:10.1007/978-3-642-15187-3_5
dblp:conf/birthday/BlassGMN10
fatcat:v22xf35hwngwjj25zshulamiem