Results 41 to 50 of about 33,717 (206)
Fuzzy Answer Set Programming: An Introduction [PDF]
, 2013 In this chapter, we present a tutorial about fuzzy answer set programming (FASP); we give a gentle introduction to its basic ideas and definitions. FASP is a combination of answer set programming and fuzzy logics which has recently been proposed. From the answer set semantics, FASP inherits the declarative nonmonotonic reasoning capabilities, while ...
Blondeel, Marjon +3 more
openaire +3 more sources
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 +3 more
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.
Erdem, Esra +2 more
openaire +3 more sources
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
Achievements in answer set programming [PDF]
Theory and Practice of Logic Programming, 2017 AbstractThis paper describes an approach to the methodology of answer set programming that can facilitate the design of encodings that are easy to understand and provably correct. Under this approach, after appending a rule or a small group of rules to the emerging program, we include a comment that states what has been “achieved” so far. This strategy
openaire +3 more sources
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
Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceAnswer 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 +2 more
doaj +1 more source
Entropy, 2021 This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based programming language for smart contracts used in a recently proposed framework of quantum-secured blockchain, called ...
Xin Sun, Piotr Kulicki, Mirek Sopek
doaj +1 more source
Integrated Use of System Z for Preferred Answer Set Programming
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceAnswer set programming (ASP) and conditional reasoning are powerful KR formalisms capable of expressing default statements that usually hold but also allow for exceptions. While ASP excels with an intuitive rule-based syntax, fast solvers, and is suited
Marco Wilhelm +2 more
doaj +1 more source
Combining graph and flux-based structures to decipher phenotypic essential metabolites within metabolic networks [PDF]
PeerJ, 2017 Background The emergence of functions in biological systems is a long-standing issue that can now be addressed at the cell level with the emergence of high throughput technologies for genome sequencing and phenotyping.
Julie Laniau +8 more
doaj +2 more sources