Suchergebnisse - "semantics of logic programming with negation"

A Modal Semantics of Negation in Logic Programming: A modal semantics of negation in logic programming

Autoren: Balbiani, Philippe Logique, Interaction, Langue et Calcul (IRIT-LILaC) Institut de recherche en informatique de Toulouse (IRIT) et al.

Weitere Verfasser: Balbiani, Philippe Logique, Interaction, Langue et Calcul (IRIT-LILaC) Institut de recherche en informatique de Toulouse (IRIT) et al.

Quelle: Fundamenta Informaticae. 16:231-262

Schlagwörter: Semantics in the theory of computing, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], provability, semantics of logic programming with negation, 0102 computer and information sciences, 16. Peace & justice, Logic programming, Modal logic (including the logic of norms), 01 natural sciences

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/92602
https://content.iospress.com/articles/fundamenta-informaticae/fi16-3-4-03
https://dblp.uni-trier.de/db/journals/fuin/fuin16.html#Balbiani92