scroll to top
0

Mobile Menu

Header Layout

EBSCO Auth Banner

Let's find your institution. Click here.

Page title

Advanced Search Results For "answer set"

1 - 10 of 62 results for
 "answer set"
Results per page:

Fast Error Propagation Probability Estimates by Answer Set Programming and Approximate Model Counting

Publication Type:Academic Journal

Source(s):IEEE Access, Vol 10, Pp 51814-51825 (2022)

Abstract:We present a method employing Answer Set Programming in combination with Approximate Model Counting for fast and accurate calculation of error propagation probabilities in digital circuits. By an efficient problem encoding, we achieve an input data for...

View details

Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs

Publication Type:Academic Journal

Source(s):Algorithms, Vol 15, Iss 201, p 201 (2022)

Abstract:Answer Set Programming (ASP) is a well established logical approach in artificial intelligence that is widely used for knowledge representation and problem solving. Equilibrium logic extends answer set semantics to more general classes of programs and ...

View details

Improving Symbolic System-Level Synthesis by Solver Coordination and Domain-Specific Heuristics

Publication Type:Academic Journal

Source(s):Electronics, Vol 11, Iss 1888, p 1888 (2022)

Abstract:Deciding binding, routing, and scheduling within system synthesis for hard real-time systems can be a challenging task. Symbolic methods leveraging results from the area of satisfiability modulo theories (SMT) solving have shown to be scalable methods ...

View details

Smoke Test Planning using Answer Set Programming

Publication Type:Academic Journal

Source(s):International Journal of Interactive Multimedia and Artificial Intelligence, Vol 6, Iss 5, Pp 57-65 (2021)

Abstract:Smoke testing is an important method to increase stability and reliability of hardware- gramming, Testing depending systems. Due to concurrent access to the same physical resource and the impracticality of the use of virtualization, smoke testing requi...

View details

An Application of Declarative Languages in Distributed Architectures: ASP and DALI Microservices

Publication Type:Academic Journal

Source(s):International Journal of Interactive Multimedia and Artificial Intelligence, Vol 6, Iss 5, Pp 66-78 (2021)

Abstract: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 interac...

View details

A Compact Answer Set Programming Encoding of Multi-Agent Pathfinding

Publication Type:Academic Journal

Source(s):IEEE Access, Vol 9, Pp 26886-26901 (2021)

Abstract:Multi-agent pathfinding (MAPF) is the problem of finding $k$ non-colliding paths connecting $k$ given initial positions with $k$ given goal positions on a given map. In its sum-of-costs variant, the total number of moves and wait actions performed by a...

View details

Fact-Checking Reasoning System for Fake Review Detection Using Answer Set Programming

Publication Type:Academic Journal

Source(s):Algorithms, Vol 14, Iss 190, p 190 (2021)

Abstract:A rising number of people use online reviews to choose if they want to use or buy a service or product. Therefore, approaches for identifying fake reviews are in high request. This paper proposes a hybrid rule-based fact-checking framework based on Ans...

View details

Repairing Boolean logical models from time-series data using Answer Set Programming

Publication Type:Academic Journal

Source(s):Algorithms for Molecular Biology, Vol 14, Iss 1, Pp 1-16 (2019)

Abstract:Abstract Background Boolean models of biological signalling-regulatory networks are increasingly used to formally describe and understand complex biological processes. These models may become inconsistent as new data become available and need to be rep...

View details

Discriminate the response of Acute Myeloid Leukemia patients to treatment by using proteomics data and Answer Set Programming

Publication Type:Academic Journal

Source(s):BMC Bioinformatics, Vol 19, Iss S2, Pp 15-26 (2018)

Abstract:Abstract Background During the last years, several approaches were applied on biomedical data to detect disease specific proteins and genes in order to better target drugs. It was shown that statistical and machine learning based methods use mainly cli...

View details

Answer Set Programming for Computing Constraints-Based Elementary Flux Modes: Application to Escherichia coli Core Metabolism

Publication Type:Academic Journal

Source(s):Processes, Vol 8, Iss 1649, p 1649 (2020)

Abstract:Elementary Flux Modes (EFMs) provide a rigorous basis to systematically characterize the steady state, cellular phenotypes, as well as metabolic network robustness and fragility. However, the number of EFMs typically grows exponentially with the size o...

View details

banner_970x250 (970x250)

sponsored