Encontrado 1 documento, a visualizar página 1 de 1

Every normal logic program has a 2-valued semantics: theory, extensions, applic...

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática ; After a very brief introduction to the general subject of Knowledge Representation and Reasoning with Logic Programs we analyse the syntactic structure of a logic program and how it can influence the semantics. We outline the important properties of a 2-valued semantics for Nor...