Decidability and Implementation of Parametrized Logic Programs | José Júlio Alferes

Decidability and Implementation of Parametrized Logic Programs

Citation:: Gonçalves, Ricardo, and José Júlio Alferes. "Decidability and Implementation of Parametrized Logic Programs." Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013. Springer-Verlag, 2013. 361-373.

Abstract:

n/a

Notes:

n/a

Preview	Attachment	Size
	lpnmr13a.pdf	215.98 KB