Answer Set Programming (ASP) is a software paradigm that can be used to represent knowledge and to solve combinatorial and information-intensive problems. Combinatorial search problems are those believed to not have an efficient way to reduce the space of solutions (NP-hard), some examples of this sort are presented in this... read more →

Nov
24

Nov
16

Logic Programming (LP) is a programming strategy for generating useful information by applying rules of transformations over data, with respect to a logic framework. In deductive logic - which is the main topic of this article - rules consist of very simple functions to convert the input (premise) to the... read more →