Executing formal specifications by translation to higher order logic programming

1997 ◽  
pp. 17-32 ◽  
Author(s):  
James H. Andrews
Keyword(s):  
Logic Programming ◽  
Higher Order ◽  
Order Logic ◽  
Formal Specifications ◽  
Higher Order Logic

A Framework for Object-Oriented Data Mining Based on Higher-Order Logic Programming

2013 ◽  
Vol 420 ◽  
pp. 325-332 ◽  
Author(s):  
Zhi Ping Zhang ◽  
Lin Na Li ◽  
Li Jun Wang ◽  
Hai Yan Yu
Keyword(s):  
Data Mining ◽  
Logic Programming ◽  
Programming Languages ◽  
Inductive Logic ◽  
Object Oriented ◽  
Higher Order ◽  
Order Logic ◽  
Higher Order Logic ◽  
Representation Formalism ◽  
Object Oriented Database

Data mining discovers knowledge and useful information from large amounts of data stored in databases. With the increasing popularity of object-oriented database system in advanced database applications, it is significantly important to study the data mining methods for object-oriented database. This paper proposes that higher-order logic programming languages and techniques is very suitable for object-oriented data mining, and presents a framework for object-oriented data mining based on higher-order logic programming. Such a framework is inductive logic programming which adopts higher-order logic programming language Escher as knowledge representation formalism. In addition, Escher is a generalization of the attribute-value representation, thus many higher-order logic learners under this framework can be upgraded directly from corresponding propositional learners.

scholarly journals Accelerating activation function in higher order logic programming

2016 ◽  
Author(s):  
Mohd Shareduwan bin Mohd Kasihmuddin ◽  
Saratha Sathasivam
Keyword(s):  
Logic Programming ◽  
Activation Function ◽  
Higher Order ◽  
Order Logic ◽  
Higher Order Logic
Sign in / Sign up

Export Citation Format

Share Document