Coinductive Logic Programming

We extend logic programming’s semantics with the semantic dual of traditional Herbrand semantics by using greatest fixed-points in place of least fixed-points. Executing a logic program then involves using coinduction to check inclusion in the greatest fixed-point. The resulting coinductive logic pr...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Simon, Luke, Mallya, Ajay, Bansal, Ajay, Gupta, Gopal
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology Logic Program Logic Programming Logical, boolean and switching functions Model Check Operational Semantic Rational Term Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!