Sciweavers

1131 search results - page 23 / 227

» Logic Programming, Functional Programming, and Inductive Def...

86

Voted

ML
2008
ACM

102views Machine Learning» more ML 2008»

Inductive logic programming for gene regulation prediction

15 years 2 months ago

Inductive logic programming for gene regulation prediction

Download wwwkramer.in.tum.de

Sebastian Fröhler, Stefan Kramer

claim paper

Read More »

77

ETAI
2000

43views more ETAI 2000»

An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming

15 years 2 months ago

An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming

Download www.doc.ic.ac.uk

Simon Colton

claim paper

Read More »

127

IHI
2010

132views Healthcare» more IHI 2010»

Uncovering age-specific invasive and DCIS breast cancer rules using inductive logic programming

14 years 9 months ago

Uncovering age-specific invasive and DCIS breast cancer rules using inductive logic programming

Download pages.cs.wisc.edu

Houssam Nassif, David Page, Mehmet Ayvaci, Jude W....

claim paper

Read More »

140

TAP
2010
Springer

134views Hardware» more TAP 2010»

Testing First-Order Logic Axioms in Program Verification

15 years 6 days ago

Testing First-Order Logic Axioms in Program Verification

Download ti.arc.nasa.gov

Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...

Ki Yung Ahn, Ewen Denney

claim paper

Read More »

118

JAR
2010

108views more JAR 2010»

Procedural Representation of CIC Proof Terms

15 years 24 days ago

Procedural Representation of CIC Proof Terms

Download helm.cs.unibo.it

Abstract. In this paper we propose an eﬀective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...

Ferruccio Guidi

claim paper

Read More »

« Prev « First page 23 / 227 Last » Next »