A conflicts' classification for IoT-based services: a comparative survey. [PDF]
PeerJ Comput Sci, 2021 Ibrhim H, Hassan H, Nabil E.
europepmc +1 more source
Automatic mechanistic inference from large families of Boolean models generated by Monte Carlo tree search. [PDF]
Front Cell Dev Biol, 2023 Glazer BJ, Lifferth JT, Lopez CF.
europepmc +1 more source
Exact multi-objective design space exploration using ASPmT
, 2018 An efficient Design Space Exploration (DSE) is imperative for the design of modern, highly complex embedded systems in order to steer the development towards optimal design points.
Wanko, Philipp (M.Sc.) +7 more
core +1 more source
Extension of the EZSMT Software System For Non-tight Constraint Answer Set Programs
, 2018 Answer set programming (ASP) is a programming language that plays a critical role in the development of software applications in areas of science, humanities, and industry. Yet, it is faced with some challenges.
Shen, Da
core
Combining Task and Motion Planning: Challenges and Guidelines. [PDF]
Front Robot AI, 2021 Mansouri M, Pecora F, Schüller P.
europepmc +1 more source
Low Power Based Cognitive Domain Ontology Solving Approaches
, 2021 The demand for autonomous systems is increasing in multiple domains, including mobile systems (UAVs, cars, and robots) and planning systems, as it improves the performance of the systems beyond human capabilities.
Rahman, Md Nayim
core
Integrating knowledge and omics to decipher mechanisms via large-scale models of signaling networks. [PDF]
Mol Syst Biol, 2022 Garrido-Rodriguez M +4 more
europepmc +1 more source
An efficient density peak cluster algorithm for improving policy evaluation performance. [PDF]
Sci Rep, 2022 Yu Z, Yan Y, Deng F, Zhang F, Li Z.
europepmc +1 more source
Mapping Data to Ontologies with Exceptions Using Answer Set Programming
, 2018 In ontology-based data access (OBDA), databases are connected to an ontology via mappings from queries over the database to queries over the ontology. In this paper, we define an ASP-based semantics for mappings from relational databases to first-order ...
Lupp, Daniel Paul, Thorstensen, Evgenij
core
Computation over partial information : a principled approach to accurate partial evaluation
, 2021 On est habitué à penser comme suit à un programme qui exécute: une donnée entre (un input), un moment passe, et un résultat ressort. On assume tacitement de l'information complète sur le input, le résultat, et n'importe quels résultats intermédiaires.
Sabourin, Ian
core