Inductive Logic Programming

Selected Papers

• ISBN 10 : UOM:39015047921054
• Judul : Inductive Logic Programming
• Sub Judul : Selected Papers
• Pengarang : ,  
• Kategori : Logic programming
• Bahasa : en
• Tahun : 2003
• Google Book : http://books.google.co.id/books?id=KpNQAAAAMAAJ&dq=intitle:Logic+and+Legal+Reasoning&hl=&source=gbs_api
• Ketersediaan :

4.3 SPIRIT - LOG ( L ) In SPIRIT - LOG ( L ) , C ' specifies that each candidate logical sequence must be legal w.r.t. a ... ( except that we are reasoning on predicate symbols instead of items ) and mainly rely on the following fact .