Results 31 to 40 of about 106,052 (303)
Reasoning about Qualitative Direction and Distance between Extended Objects using Answer Set Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In this thesis, we introduce a novel formal framework to represent and reason about qualitative direction and distance relations between extended objects using Answer Set Programming (ASP).
Yusuf Izmirlioglu
doaj +1 more source
Applications of Answer Set Programming
AI Magazine, 2016 Answer set programming (ASP) has been applied fruitfully to a wide range of areas in AI and in other fields, both in academia and in industry, thanks to the expressive representation languages of ASP and the continuous improvement of ASP solvers.
Esra Erdem 0001 +2 more
openaire +3 more sources
05171 Abstracts Collection – Nonmonotonic Reasoning, Answer Set Programming and Constraints [PDF]
, 2005 From 24.04.05 to 29.04.05, the Dagstuhl Seminar 05171 ``Nonmonotonic Reasoning, Answer Set Programming and Constraints'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Niemelä, Ilkka +4 more
core +1 more source
An Application of Declarative Languages in Distributed Architectures: ASP and DALI Microservices.
International Journal of Interactive Multimedia and Artificial Intelligence, 2021 In this paper we introduce an approach to the possible adoption of Answer Set Programming (ASP) for the definition of microservices, which are a successful abstraction for designing distributed applications as suites of independently deployable ...
Stefania Costantini +2 more
doaj +1 more source
Functional answer set programming [PDF]
Theory and Practice of Logic Programming, 2011 AbstractIn this paper we propose an extension of Answer Set Programming (ASP) to deal with (possibly partial) evaluable functions. To this aim, we start from the most general logical counterpart of ASP, Quantified Equilibrium Logic (QEL), and propose a variant QEL=ℱwhere the set of functions is partitioned into Herbrand functions (orconstructors) and ...
openaire +2 more sources
Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming [PDF]
, 2005 In the Semantic Web and Semantic Web Services areas there are still unclear issues concerning an appropriate language. Answer Set Programming and ASP engines can be particularly interesting for Ontological Reasoning, especially in the light of ongoing ...
Polleres, Axel
core +1 more source
Complexities of Logic Programs with Convex Aggregates [PDF]
Jisuanji kexueASP is a paradigm for descriptive problem solving and is widely used in fields such as planning,diagnosis,scheduling and bioinformatics.To enhance the expressive power of ASP,it has introduced aggregate functions from database systems and proposed ...
WANG Xianglong, WANG Yisong, XIE Zhongtao
doaj +1 more source
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications
Algorithms, 2023 In the last few years, we have witnessed the spread of computing devices getting smaller and smaller (e.g., Smartphones, Smart Devices, Raspberry, etc.), and the production and availability of data getting bigger and bigger.
Francesco Calimeri +7 more
doaj +1 more source
Communicating Answer Set Programs. [PDF]
, 2010 Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for representing and reasoning with the combined answer set programs of multiple agents have already been proposed, the actual gain in expressivity when adding communication has not been
Kim Bauters +4 more
openaire +5 more sources
Annals of Pure and Applied Logic, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alex Brik, Jeffrey B. Remmel
openaire +2 more sources