Soundness and Completeness of an “Efficient” Negation for Prolog

The role for logic in knowledge and artificial intelligence (AI) representation and reasoning is an interesting and active area of research. In this framework, negation plays an essential role. On the other hand, Logic Programming (LP), and Prolog as its most representative programming language, has...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Moreno-Navarro, Juan José, Muñoz-Hernández, Susana
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Artificial intelligence Computer science control theory systems Constructive Negation Exact sciences and technology Learning and adaptive systems Logical, boolean and switching functions LP and nonmonotonic reasoning Negation in Prolog Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!