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...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Bjørner, N., De Caso, G., Gurevich, Y.
Formato:	SER
Materias:	Datalog infon logic PIV translation Constructive logic Decision algorithms Distributed knowledge Linear time Translation (languages) Artificial intelligence
Acceso en línea:	http://hdl.handle.net/20.500.12110/paper_03029743_v7265_n_p72_Bjorner
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	todo:paper_03029743_v7265_n_p72_Bjorner
record_format	dspace
spelling	todo:paper_03029743_v7265_n_p72_Bjorner2023-10-03T15:19:24Z From primal infon logic with individual variables to datalog Bjørner, N. De Caso, G. Gurevich, Y. 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. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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 Bjørner, N. De Caso, G. Gurevich, Y. 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.
format	SER
author	Bjørner, N. De Caso, G. Gurevich, Y.
author_facet	Bjørner, N. De Caso, G. Gurevich, Y.
author_sort	Bjørner, N.
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
url	http://hdl.handle.net/20.500.12110/paper_03029743_v7265_n_p72_Bjorner
work_keys_str_mv	AT bjørnern fromprimalinfonlogicwithindividualvariablestodatalog AT decasog fromprimalinfonlogicwithindividualvariablestodatalog AT gurevichy fromprimalinfonlogicwithindividualvariablestodatalog
_version_	1782031077871714304

From primal infon logic with individual variables to datalog

Ejemplares similares