Results 1 to 10 of about 158 (143)
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories [PDF]
Lecture Notes in Computer Science, 2015 pages 13. accepted for publication at: LPNMR 2015 - Logic Programming and Nonmonotonic Reasoning, 13th International Conference, LPNMR 2015, LNAI Vol. 9345., Lexington, September 27-30, 2015. Proceedings., (editors: Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski)
Mehul Bhatt +2 more
exaly +4 more sources
Answer Set Programming Modulo Theories [PDF]
Communications in Computer and Information Science, 2011 In the paper, we propose a formalism of answer set programming with background theories, for which the modulo answer set semantics is presented. It is shown that the formalism (under the given semantics) is a generalization of normal logic programs under answer set semantics, and it can capture the SPT-PDB answer set semantics of logic programs with ...
Yisong Wang +2 more
exaly +3 more sources
Integrating Answer Set Programming and Satisfiability Modulo Theories [PDF]
Lecture Notes in Computer Science, 2009 In this talk we consider the problem of integrating answer set programming (ASP) and satisfiability modulo theories (SMT). We discuss a characterization of stable models of logic programs based on Clark's completion and simple difference constraints. The characterization leads to a method of translating a ground logic program to a linear size theory in
Ilkka Niemelä, Niemelä Ilkka
exaly +3 more sources
Non-monotonic spatial reasoning with answer set programming modulo theories [PDF]
Theory and Practice of Logic Programming, 2016 AbstractThe systematic modelling ofdynamic spatial systemsis a key requirement in a wide range of application areas such as commonsense cognitive robotics, computer-aided architecture design, and dynamic geographic information systems. We present Answer Set Programming Modulo Theories (ASPMT)(QS), a novel approach and fully implemented prototype for ...
Przemyslaw Andrzej Walega +2 more
openaire +3 more sources
On relation between constraint answer set programming and satisfiability modulo theories [PDF]
Theory and Practice of Logic Programming, 2017 AbstractConstraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally related to the field of satisfiability modulo theories. Yet, the exact formal link is obscured as the terminology and concepts used in these two research areas differ.
Yuliya Lierler, Benjamin Susman
openaire +3 more sources
Algorithms, 2023 A warehouse delivery problem consists of a set of robots that undertake delivery jobs within a warehouse. Items are moved around the warehouse in response to events.
David Rajaratnam +5 more
doaj +3 more sources
Evolutionary System Design with Answer Set Programming
Algorithms, 2023 We address the problem of evolutionary system design (ESD) by means of answer set programming modulo difference constraints (AMT). The goal of this design approach is to synthesize new product variants or generations from existing products.
Christian Haubelt +4 more
doaj +3 more sources
On the Semantics of Hybrid ASP Systems Based on Clingo
Algorithms, 2023 Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems.
Pedro Cabalar +3 more
doaj +1 more source
Hardware acceleration of number theoretic transform for zk‐SNARK
Engineering Reports, EarlyView., 2023 An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao +6 more
wiley +1 more source
Advanced Science, EarlyView.Wearable‐derived diurnal alignment between physical activity and device temperature, decomposed into 24 h coupling strength (M24), phase deviation (D24), and 12 h harmonic magnitude (M12), is examined in approximately 90,000 UK Biobank participants.
Han Chen +6 more
wiley +1 more source