Artículo
Bjørner, N.; De Caso, G.; Gurevich, Y. "From primal infon logic with individual variables to datalog" (2012) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7265:72-86
Consulte la política de Acceso Abierto del editor
Abstract:
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.
Registro:
| Documento: | Artículo |
| Título: | From primal infon logic with individual variables to datalog |
| Autor: | Bjørner, N.; De Caso, G.; Gurevich, Y. |
| Filiación: | Microsoft Research, Redmond, WA, United States DC, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina |
| Palabras clave: | Datalog; infon logic; PIV; translation; Constructive logic; Datalog; Decision algorithms; Distributed knowledge; infon logic; Linear time; PIV; Translation (languages); Artificial intelligence |
| Año: | 2012 |
| Volumen: | 7265 |
| Página de inicio: | 72 |
| Página de fin: | 86 |
| DOI: | http://dx.doi.org/10.1007/978-3-642-30743-0_6 |
| Título revista: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Título revista abreviado: | Lect. Notes Comput. Sci. |
| ISSN: | 03029743 |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7265_n_p72_Bjorner |
Referencias:
- Blass, A., Gurevich, Y., Hilbertian deductive systems, infon logic, and datalog (2010) Bull. of Euro. Assoc. for Theor. Computer Sci, 102, pp. 122-150. , http://research.microsoft.com/en-us/um/people/gurevich/Opera/204.pdf
- Blass, A., Gurevich, Y., Moskal, M., Neeman, I., Evidential authorization (2011) The Future of Software Engineering, pp. 73-99. , Nanz, S. (ed.) Springer
- DKAL at CodePlex, , http://dkal.codeplex.com/
- Gurevich, Y., Neeman, I., DKAL 2: A simplified and improved authorization language (2009) Tech. Rep. MSR-TR-2009-11 Microsoft Research
- Gurevich, Y., Neeman, I., The infon logic (2009) ACM Trans. on Computational Logic, 12, p. 2. , http://research.microsoft.com/en-us/um/people/gurevich/Opera/198.pdf, article 9
Citas:
---------- APA ----------
Bjørner, N., De Caso, G. & Gurevich, Y. (2012) . From primal infon logic with individual variables to datalog. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7265, 72-86.http://dx.doi.org/10.1007/978-3-642-30743-0_6
---------- CHICAGO ----------
Bjørner, N., De Caso, G., Gurevich, Y. "From primal infon logic with individual variables to datalog" . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7265 (2012) : 72-86.http://dx.doi.org/10.1007/978-3-642-30743-0_6
---------- MLA ----------
Bjørner, N., De Caso, G., Gurevich, Y. "From primal infon logic with individual variables to datalog" . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7265, 2012, pp. 72-86.http://dx.doi.org/10.1007/978-3-642-30743-0_6
---------- VANCOUVER ----------
Bjørner, N., De Caso, G., Gurevich, Y. From primal infon logic with individual variables to datalog. Lect. Notes Comput. Sci. 2012;7265:72-86.http://dx.doi.org/10.1007/978-3-642-30743-0_6
