Category: Logic and Reasoning

In the first part of this article series we have discussed the syntax and semantics of ASP and wrote a simple program to encode the Tweety example. If you have not installed Clingo (or another

Continue reading

Answer set programming (ASP) is a form of logic programming and a formalism for knowledge representation and reasoning. Since my thesis is related to ASP, I have familiarized with this methodology over the past year

Continue reading