Inductive logic program synthesis with dialogs

Simple item page
dc.citation.epage198en_US
dc.citation.spage175en_US
dc.contributor.authorFlener, Pierreen_US
dc.coverage.spatialStockholm, Sweden
dc.date.accessioned2016-02-08T12:00:00Z
dc.date.available2016-02-08T12:00:00Z
dc.date.issued1996-08en_US
dc.departmentDepartment of Computer Engineeringen_US
dc.descriptionDate of Conference: 26-28 August, 1996
dc.descriptionConference name: International Conference on Inductive Logic Programming 6th International Workshop, ILP-96
dc.description.abstractDIALOGS (Dialogue-based Inductive and Abductive LOGic program Synthesizer) is a schema-guided synthesizer of recursive logic programs; it takes the initiative and queries a (possibly computationally naive) specifier for evidence in her/his conceptual language. The specifier must know the answers to such simple queries, because otherwise s/he wouldn't even feel the need for the synthesized program. DIALOGS call be used by any learner (including itself) that detects, or merely conjectures, the necessity of invention of a new predicate. Due to its foundation on a powerful codification of a “recursion-theory” (by means of the template and constraints of a divide-and-conquer schema), DIALOGS needs very little evidence and is very fast. © Springer-Vertag Berlin Heidelberg 1997.en_US
dc.description.provenanceMade available in DSpace on 2016-02-08T12:00:00Z (GMT). No. of bitstreams: 1 bilkent-research-paper.pdf: 70227 bytes, checksum: 26e812c6f5156f83f0e77b261a471b5a (MD5) Previous issue date: 1997en
dc.identifier.doi10.1007/3-540-63494-0_55
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/11693/27710
dc.language.isoEnglishen_US
dc.publisherSpringeren_US
dc.relation.isversionofhttps://doi.org/10.1007/3-540-63494-0_55
dc.source.titleInternational Conference on Inductive Logic Programming 6th International Workshop, ILP-96en_US
dc.subjectFormal logicen_US
dc.subjectLogic programmingen_US
dc.subjectAbductive logic programsen_US
dc.subjectDivide and conqueren_US
dc.subjectInductive logicen_US
dc.subjectLogic programsen_US
dc.subjectRecursion theoryen_US
dc.subjectInductive logic programming (ILP)en_US
dc.titleInductive logic program synthesis with dialogsen_US
dc.typeConference Paperen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Inductive_logic_program_synthesis_with_dialogs.pdf
Size:
1.86 MB
Format:
Adobe Portable Document Format
Description:
Download

Collections

Department of Computer Engineering