Linear algebra is an ideal tool to redefine symbolic methods with the goal to achieve better
scalability. In solving the abductive Horn propositional problem, the transpose of a program …

Algebraic characterization of logic programs has received increasing attention in recent
years. Researchers attempt to exploit connections between linear algebraic computation …

Recently it has been demonstrated that deductive and abductive reasoning can be
performed by exploiting the linear algebraic characterization of logic programs. Those …

There have been attempts to connect machine learning and symbolic reasoning, providing
interfaces between them. This work focuses on our original approach to integrate machine …

Cascading phenomena in social networks happen when the adoption of some behaviour by
initial adopters causes some of their immediate friends to adopt which again causes some of …

In logic programming, partial evaluation performs unfolding rules of a program in advance to
reduce the cost of inferencing steps. Recently, partial evaluation of logic programs has been …

Abduction has been applied to various problems in many fields, and computing abductive
explanations is an essential task in such applications. Logic programming has been used for …