Abductive logic programming and disjunctive logic programming: their relationship and transferability

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:The Journal of Logic Programming Jg. 44; S. 75 - 100
Hauptverfasser: Katsumi Inoue, Chiaki Sakama
Format: Journal Article
Sprache:Japanisch
Veröffentlicht: Elsevier BV 01.07.2000
Schlagworte:
Abductive logic programming
Disjunctive logic programming
Logic
Program transformation
ISSN:0743-1066
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
ISSN:0743-1066
DOI:10.1016/s0743-1066(99)00073-4