Answer set programming | Introduce answer set programming


Answer set programming is a new programming paradigm. It is introduced in the late 90’s and manages to attracts the intention of different groups of researchers thanks to its:

• declarativeness: programs do not specify how answers are computed;

• modularity: programs can be developed incrementally;

• expressiveness: answer set programming can be used to solve problems in high

complexity classes (e.g. ΣP2, Π2P , etc.)

Answer set programming has been applied in several areas: reasoning about actions and changes, planning, configuration, wire routing, phylogenetic inference, semantic web, information integration, etc.


Загрузить документ