Abductive Logic Programming (Kakas & Mancarella, 1990)
GPTKB entity
Statements (13)
Predicate | Object |
---|---|
gptkbp:instanceOf |
logic programming paradigm
|
gptkbp:basedOn |
abductive reasoning
|
https://www.w3.org/2000/01/rdf-schema#label |
Abductive Logic Programming (Kakas & Mancarella, 1990)
|
gptkbp:introduced |
Antonis C. Kakas
Piero Mancarella |
gptkbp:introducedIn |
1990
|
gptkbp:publishedIn |
gptkb:Journal_of_Logic_Programming
|
gptkbp:relatedTo |
logic programming
|
gptkbp:usedFor |
gptkb:artificial_intelligence
gptkb:knowledge_representation problem solving |
gptkbp:bfsParent |
gptkb:Abductive_Logic_Programming
|
gptkbp:bfsLayer |
8
|