Abductive Logic Programming

GPTKB entity

Predicate	Object
gptkbp:instanceOf	computational logic paradigm
gptkbp:abbreviation	gptkb:ALP
gptkbp:basedOn	logic programming abductive reasoning
gptkbp:distinctFrom	inductive logic programming deductive logic programming
gptkbp:field	gptkb:artificial_intelligence gptkb:knowledge_representation logic programming
gptkbp:goal	find explanations for observations generate hypotheses
https://www.w3.org/2000/01/rdf-schema#label	Abductive Logic Programming
gptkbp:introducedIn	late 1980s
gptkbp:mainActivity	gptkb:machine_learning planning diagnosis natural language understanding
gptkbp:notableContributor	gptkb:Alessandra_Russo gptkb:Antonis_Kakas gptkb:Luigia_Carlucci_Aiello gptkb:Dov_Gabbay gptkb:Krysia_Broda
gptkbp:notablePublication	gptkb:Abductive_Logic_Programming:_Theory_and_Practice_(Kakas,_Kowalski,_Toni,_1992) gptkb:Abductive_Logic_Programming_(Kakas_&_Mancarella,_1990)
gptkbp:relatedTo	gptkb:Inductive_Logic_Programming gptkb:Constraint_Logic_Programming gptkb:Answer_Set_Programming
gptkbp:uses	integrity constraints abducibles logic programs
gptkbp:website	https://en.wikipedia.org/wiki/Abductive_logic_programming
gptkbp:bfsParent	gptkb:Robert_Kowalski
gptkbp:bfsLayer	7