Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems

摘要: This paper presents two applications of the ASP-Prolog system, one earliest modular logic programming frameworks for integrating ASP and traditional Prolog/CLP reasoning. Both represent significant challenges to existing technologies share some common traits–mostly related inadequacy ground-and-solve approach. The first application stems from several practical experiences in using state-of-the-art Answer Set Programming (ASP) solvers tackle combinatorial problems different domains (e.g., bioinformatics, distributed constraint problem solving). A recurrent issue is presence computationally tractable subproblems that turn out be challenging, or even practically infeasible, current technologies. second its use compute equilibrium semantics Multi-Context Systems (MCS).