Results 21 to 30 of about 33,618 (213)

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

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, Giovanni De Gasperis, Lorenzo De Lauretis   +2 more
doaj   +1 more source

Complexities of Logic Programs with Convex Aggregates [PDF]

Jisuanji kexue
ASP 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, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari   +7 more
doaj   +1 more source

Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs

Algorithms, 2022
Answer Set Programming (ASP) is a well established logical approach in artificial intelligence that is widely used for knowledge representation and problem solving.
Jorge Fandinno, David Pearce, Concepción Vidal, Stefan Woltran   +3 more
doaj   +1 more source

Splitting Computation of Answer Set Program and Its Application on E-service [PDF]

International Journal of Computational Intelligence Systems, 2011
As a primary means for representing and reasoning about knowledge, Answer Set Programming (ASP) has been applying in many areas such as planning, decision making, fault diagnosing and increasingly prevalent e-service.
Bo Yang, Ying Zhang, Mingyi Zhang, Maonian Wu   +3 more
doaj   +1 more source

Epistemic Logic Programs: A Different World View [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
Epistemic Logic Programs (ELPs), an extension of Answer Set Programming (ASP) with epistemic operators, have received renewed attention from the research community in recent years.
Michael Morak
doaj   +1 more source

Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance

Proceedings of the International Florida Artificial Intelligence Research Society Conference
Answer set programming (ASP) is a declarative programming language suited to solve complex combinatorial search problems. Prioritized ASP is the subdiscipline of ASP which aims at prioritizing the models (answer sets) of ASP programs.
Marco Wilhelm, Lars-Phillip Spiegel, Gabriele Kern-Isberner   +2 more
doaj   +1 more source

European Standard Clinical Practice Guideline and EXPeRT Recommendations for the Diagnosis and Management of Gastroenteropancreatic Neuroendocrine Neoplasms in Children and Adolescents

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen, Calogero Virgone, Antje Redlich, Michael Abele, Ricardo Lopez‐Almaraz, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Maja Mazic Cesen, Andrea Ferrari, Malgorzata A. Krawczyk, Yves Reguerre, Dominik T. Schneider, Ines B. Brecht, Charlotte Rigaud, Bilgehan Yalcin, Rainer Claus, Christian Vokuhl, Constantin Lapa, Jörg Fuchs, Segolene Hescot, Thomas Walter, Julien Hadoux, Daniel Orbach   +23 more
wiley   +1 more source

An ASP Method for Calculating Slater and Kemeny Voting [PDF]

Jisuanji gongcheng, 2019
To address Slater voting which is NP-hard problem,this paper proposes an Answer Set Programming (ASP) method for calculating voting result.The method constructs the minimum number of no circuit tournament,finds the one with the smallest difference from ...
XU Hengjian, WANG Yisong, FENG Renyan
doaj   +1 more source