From primal infon logic with individual variables to datalog
The logic core of Distributed Knowledge Authorization Logic, DKAL, is constructive logic with a quotation construct said. This logic is known as the logic of infons. The primal fragment of infon logic is amenable to linear time decision algorithms when policies and queries are ground. In the presenc...
| Autor principal: | |
|---|---|
| Publicado: |
2012
|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7265_n_p72_Bjorner http://hdl.handle.net/20.500.12110/paper_03029743_v7265_n_p72_Bjorner |
| Aporte de: |
| id |
paper:paper_03029743_v7265_n_p72_Bjorner |
|---|---|
| record_format |
dspace |
| spelling |
paper:paper_03029743_v7265_n_p72_Bjorner2023-06-08T15:28:44Z From primal infon logic with individual variables to datalog de Caso, Guido Datalog infon logic PIV translation Constructive logic Datalog Decision algorithms Distributed knowledge infon logic Linear time PIV Translation (languages) Artificial intelligence The logic core of Distributed Knowledge Authorization Logic, DKAL, is constructive logic with a quotation construct said. This logic is known as the logic of infons. The primal fragment of infon logic is amenable to linear time decision algorithms when policies and queries are ground. 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. We here present a practical reduction of the entailment problem for primal infon logic with individual variables to the entailment problem of Datalog. © 2012 Springer-Verlag Berlin Heidelberg. Fil:De Caso, G. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2012 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7265_n_p72_Bjorner http://hdl.handle.net/20.500.12110/paper_03029743_v7265_n_p72_Bjorner |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-134 |
| collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
| topic |
Datalog infon logic PIV translation Constructive logic Datalog Decision algorithms Distributed knowledge infon logic Linear time PIV Translation (languages) Artificial intelligence |
| spellingShingle |
Datalog infon logic PIV translation Constructive logic Datalog Decision algorithms Distributed knowledge infon logic Linear time PIV Translation (languages) Artificial intelligence de Caso, Guido From primal infon logic with individual variables to datalog |
| topic_facet |
Datalog infon logic PIV translation Constructive logic Datalog Decision algorithms Distributed knowledge infon logic Linear time PIV Translation (languages) Artificial intelligence |
| description |
The logic core of Distributed Knowledge Authorization Logic, DKAL, is constructive logic with a quotation construct said. This logic is known as the logic of infons. The primal fragment of infon logic is amenable to linear time decision algorithms when policies and queries are ground. 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. We here present a practical reduction of the entailment problem for primal infon logic with individual variables to the entailment problem of Datalog. © 2012 Springer-Verlag Berlin Heidelberg. |
| author |
de Caso, Guido |
| author_facet |
de Caso, Guido |
| author_sort |
de Caso, Guido |
| title |
From primal infon logic with individual variables to datalog |
| title_short |
From primal infon logic with individual variables to datalog |
| title_full |
From primal infon logic with individual variables to datalog |
| title_fullStr |
From primal infon logic with individual variables to datalog |
| title_full_unstemmed |
From primal infon logic with individual variables to datalog |
| title_sort |
from primal infon logic with individual variables to datalog |
| publishDate |
2012 |
| url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7265_n_p72_Bjorner http://hdl.handle.net/20.500.12110/paper_03029743_v7265_n_p72_Bjorner |
| work_keys_str_mv |
AT decasoguido fromprimalinfonlogicwithindividualvariablestodatalog |
| _version_ |
1768546020361240576 |