Results 11 to 20 of about 158 (143)
The Fourth Answer Set Programming Competition: Preliminary Report [PDF]
, 2013 Answer Set Programming is a well-established paradigm of declarative programming in close relationship with other declarative formalisms such as SAT Modulo Theories, Constraint Handling Rules, PDDL and many others.
Spendier, Lara +17 more
core +2 more sources
Model-based symbolic design space exploration at the electronic system level: a systematic approach [PDF]
, 2021 In this thesis, a novel, fully systematic approach is proposed that addresses the automated design space exploration at the electronic system level.
Neubauer, Kai (gnd: 1256385433)
core +1 more source
SMT-Based Constraint Answer Set Solver EZSMT (System Description) [PDF]
, 2016 Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. Recently, the formal link between this research area and satisfiability modulo theories (or SMT) was established.
Lierler, Yuliya, Susman, Benjamin
core +1 more source
System ASPMT2SMT: Computing ASPMT Theories by SMT Solvers [PDF]
, 2014 . Answer Set Programming Modulo Theories (ASPMT) is an approach to combining answer set programming and satisfiability modulo theories based on the functional stable model semantics.
Michael Bartholomew, Joohyung Lee
core +1 more source
Answer Set Programming Modulo Theories [PDF]
, 2016 : Knowledge representation and reasoning is a prominent subject of study within the field of artificial intelligence that is concerned with the symbolic representation of knowledge in such a way to facilitate automated reasoning about this knowledge ...
core
ASP modulo CSP: The clingcon system [PDF]
, 2012 Answer Set Programming (ASP) has become a prime paradigm for declarative problem solving due to its combination of an easy yet expressive modeling language with high-performance Boolean constraint solving technology.
Ostrowski, Max
core +1 more source
Design Space Exploration via Answer Set Programming Modulo Theories
CoRR, 2019 The design of embedded systems, that are ubiquitously used in mobile devices and cars, is becoming continuously more complex such that efficient system-level design methods are becoming crucial. My research aims at developing systems that help the designer express the complex design problem in a declarative way and explore the design space to obtain ...
openaire +2 more sources
Recent Advances in Programmable Metasurfaces and Meta‐Devices
Advanced Electronic Materials, EarlyView.Programmable metasurfaces enable various novel functionalities by dynamically tuning electromagnetic wavefronts. This article provides a comprehensive review of recent advances in microwave and terahertz programmable metasurfaces, covering electrical, thermal, optical, and mechanical control mechanisms.
Linda Shao +4 more
wiley +1 more source
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
CoRRIn Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), pages 990-996 ...
Joohyung Lee 0002, Yunsong Meng
openaire +3 more sources
Advanced Physics Research, EarlyView.ABSTRACT We introduce a family of bosonic quantum error‐correcting codes built as a rotation‐symmetric superposition of squeezed vacuum states, which promise protection against both loss and dephasing noise channels. The robustness of these “squeezed‐vacuum codes” arises from being arranged at evenly spaced angles in phase‐space, and simultaneously in ...
Nir Gutman +4 more
wiley +1 more source