Confirmation-Guided Discovery of First-Order Rules with Tertius

Author： Flach P.A.  

Publisher： Springer Publishing Company

ISSN： 0885-6125

Source： Machine Learning, Vol.42, Iss.1-2, 2001-01, pp. : 61-95

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

GUEST EDITORIAL: FIRST-ORDER KNOWLEDGE DISCOVERY IN DATABASES

By Furnkranz Johannes   Pfahringer Bernhard  

Applied Artificial Intelligence, Vol. 12, Iss. 5, 1998-07 ,pp. : 345-361

Taylor & Francis Ltd

Access to resources Recommend Favorite

Proof-Guided Test Selection from First-Order Specifications with Equality

By Longuet Delphine   Aiguier Marc   Le Gall Pascale  

Journal of Automated Reasoning, Vol. 45, Iss. 4, 2010-12 ,pp. : 437-473

Springer Publishing Company

Access to resources Recommend Favorite

An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus

By Sandewall E.  

LISP and Symbolic Computation, Vol. 12, Iss. 1, 1999-04 ,pp. : 105-113

Springer Publishing Company

Access to resources Recommend Favorite

A note on first-order projections and games

By Arratia A.A.   Stewart I.A.  

Theoretical Computer Science, Vol. 290, Iss. 3, 2003-01 ,pp. : 2085-2093

Elsevier

Access to resources Recommend Favorite

On weighted first-order logics with discounting

By Mandrali Eleni   Rahonis George  

Acta Informatica, Vol. 51, Iss. 2, 2014-03 ,pp. : 61-106

Springer Publishing Company

Access to resources Recommend Favorite