000 03027nam a2200505 i 4500
001 6276819
003 IEEE
005 20220712204741.0
006 m o d
007 cr |n|||||||||
008 151223s1995 maua ob 001 eng d
010 _z 95014956 (print)
020 _z9780262023931
_qprint
020 _a9780262288422
_qelectronic
020 _z0262023938
_qhc : alk. paper
035 _a(CaBNVSL)mat06276819
035 _a(IDAMS)0b000064818c1f17
040 _aCaBNVSL
_beng
_erda
_cCaBNVSL
_dCaBNVSL
050 4 _aQA76.63
_b.B47 1996eb
082 0 0 _a005.1/1
_220
100 1 _aBergadano, Francesco,
_d1963-
_923475
245 1 0 _aInductive logic programming :
_bfrom machine learning to software engineering /
_cFrancesco Bergadano and Daniele Gunetti.
264 1 _aCambridge, Massachusetts :
_bMIT Press,
_cc1996.
264 2 _a[Piscataqay, New Jersey] :
_bIEEE Xplore,
_c[1995]
300 _a1 PDF (vii, 240 pages) :
_billustrations.
336 _atext
_2rdacontent
337 _aelectronic
_2isbdmedia
338 _aonline resource
_2rdacarrier
490 1 _aLogic programming
504 _aIncludes bibliographical references (p. [219]-235) and index.
506 1 _aRestricted to subscribers or individual electronic text purchasers.
520 _aAlthough Inductive Logic Programming (ILP) is generally thought of as a research area at the intersection of machine learning and computational logic, Bergadano and Gunetti propose that most of the research in ILP has in fact come from machine learning, particularly in the evolution of inductive reasoning from pattern recognition, through initial approaches to symbolic machine learning, to recent techniques for learning relational concepts. In this book they provide an extended, up-to-date survey of ILP, emphasizing methods and systems suitable for software engineering applications, including inductive program development, testing, and maintenance.Inductive Logic Programming includes a definition of the basic ILP problem and its variations (incremental, with queries, for multiple predicates and predicate invention capabilities), a description of bottom-up operators and techniques (such as least general generalization, inverse resolution, and inverse implication), an analysis of top-down methods (mainly MIS and FOIL-like systems), and a survey of methods and languages for specifying inductive bias Logic Programming series.
530 _aAlso available in print.
538 _aMode of access: World Wide Web
588 _aDescription based on PDF viewed 12/23/2015.
650 0 _aLogic programming.
_92730
655 0 _aElectronic books.
_93294
700 1 _aGunetti, Daniele.
_923476
710 2 _aIEEE Xplore (Online Service),
_edistributor.
_923477
710 2 _aMIT Press,
_epublisher.
_923478
776 0 8 _iPrint version
_z9780262023931
830 0 _aLogic programming
_92730
856 4 2 _3Abstract with links to resource
_uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
942 _cEBK
999 _c73216
_d73216