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

Ejemplares similares

Ejemplares similares