• Search: "Answer Set Programming"

Showing 241 - 260 of 3,452

241

A Case Study for Declarative Pattern Mining in Digital Forensics
Lisi F. A. ; Sterlicchio G. ; Billard D. ; et al.

Declarative Pattern Mini... Digital Forensics Answer Set Programming
Conference
Save to List
242

Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming
Trinh, Van-Giang ; Benhamou, Belaid ; Soliman, Sylvain ; et al.

Computational systems bi... Boolean network Fixed point Answer set programming
Academic journal
Save to List
243

Visual Data Analysis with Task-Based Recommendations
Shen, Leixian ; Shen, Enya ; Tai, Zhiwei ; et al.
Data Science and Engineering. :1-16

Academic journal
Save to List
244

Panorama de Constraint Answer Set Programming
Garreau, Bryan ; Diéguez, Martín ; Monfroy, Eric ; et al.
20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle
https://hal.science/hal-03765417
20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, Jun 2022, Saint-Etienne, France
https://ci.mines-stetienne.fr/pfia2022/conferences/rjcia/

Saint-Etienne France Constraint Answer Set Pr... Answer Set Programming Constraint Programming Knowlege Representation …
Conference
Save to List
245

Fine-Grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
Bertagnon A. ; Dalpasso M. ; Favalli M. ; et al.

answer set programming a... answer set programming e... hardware design integrated circuit maxim... answer set programming a... answer set programming e...
Academic journal
Save to List
246

Discriminate the response of Acute Myeloid Leukemia patients to treatment by using proteomics data and Answer Set Programming
Chebouba, Lokmane ; Miannay, Bertrand ; Boughaci, Dalila ; et al.
BMC Bioinformatics. 19(S2)

AML Answer Set Programming Boolean network Proteomics data [INFO.INFO-AI]Computer S... Artificial Intelligence... …
Journal
Save to List
247

An ASP Translation for Non-Monotonic Reasoning on DL-LiteR with Prototype Descriptions
Sacco G. ; Bozzato L. ; Kutz O. ; et al.

Non-monotonic logic Typicality Prototype theory Description Logics Answer Set Programming
Conference
Save to List
248

Boolean Network Models of Human Preimplantation Development
Bolteau, Mathieu ; Chebouba, Lokmane ; David, Laurent ; et al.
https://hal.science/hal-04579386 ; 2024.

Boolean Networks Human Embryonic Developm... scRNAseq Systems Biology Answer Set Programming [INFO.INFO-BI]Computer S... …
Report
Save to List
249

Logical inference of Boolean networks from knowledge and observations of cellular differentiation processes
Inférence logique de réseaux booléens à partir de connaissances et d'observations de processus de différenciation cellulaire
Chevalier, Stéphanie ; Laboratoire Interdisciplinaire des Sciences du Numérique (LISN) ; Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS) ; et al.
Bio-informatique [q-bio.QM]. Université Paris-Saclay, 2022. Français. ⟨NNT : 2022UPASG061⟩

Dynamical model inferenc... Answer set programming Gene regulatory network Cell differentiation Boolean network Systems biology …
Dissertation/ Thesis
Save to List
250

A Decomposition Approach to the Clinical Pathway Deployment for Chronic Outpatients with Comorbidities
Paola Cappanera ; Marco Gavanelli ; Maddalena Nonato ; et al.
AIRO Springer Series ISBN: 9783030953799

chronic patients with co... 0211 other engineering a... 0202 electrical engineer... 02 engineering and techn... Chronic patients with co... Answer Set Programming …
Book
Save to List
251

Optimising Business Process Discovery Using Answer Set Programming
Chesani, Federico ; Di Francescomarino, Chiara ; Ghidini, Chiara ; et al.
Lecture Notes in Computer Science ISBN: 9783031157066

Answer set programming Declarative process mode... Optimisation Preferences Process discovery Process mining …
Book
Save to List
252

Extended Hapicare: A telecare system with probabilistic diagnosis and self-adaptive treatment
Kordestani, Hossain ; Mojarad, Roghayeh ; Chibani, Abdelghani ; et al.
In Expert Systems With Applications 30 December 2021 186

Academic journal
Save to List
253

Abstraction for non-ground answer set programs
Saribatur, Zeynep G. ; Eiter, Thomas ; Schüller, Peter
In Artificial Intelligence November 2021 300

Academic journal
Save to List
254

Commonsense visual sensemaking for autonomous driving – On generalised neurosymbolic online abduction integrating vision and semantics
Suchan, Jakob ; Bhatt, Mehul ; Varadarajan, Srikrishna
In Artificial Intelligence October 2021 299

Academic journal
Save to List
255

Paracoherent answer set computation
Amendola, Giovanni ; Dodaro, Carmine ; Faber, Wolfgang ; et al.
In Artificial Intelligence October 2021 299

Academic journal
Save to List
256

Pruning external minimality checking for answer set programs using semantic dependencies
Eiter, Thomas ; Kaminski, Tobias
In Artificial Intelligence January 2021 290

Academic journal
Save to List
257

Sketched Answer Set Programming
Paramonov, Sergey ; Bessiere, Christian ; Dries, Anton ; et al.
2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)

FOS: Computer and inform... Technology constraint programming Sketching Science & Technology COMPLEXITY …
Academic journal
Save to List
258

Lifting symmetry breaking constraints with inductive logic programming
Tarzariol, Alice ; Gebser, Martin ; Schekotihin, Konstantin
Machine Learning. :1-24

Academic journal
Save to List
259

An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP
Andre Thevapalan ; Marco Wilhelm ; Gabriele Kern-Isberner ; et al.
Proceedings of the International Florida Artificial Intelligence Research Society Conference, Vol 36 (2023)

Technology logistics Electronic computers. Co... 0211 other engineering a... expert systems QA75.5-76.95 …
Academic journal
Save to List
260

Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming
Janhunen, Tomi ; Weinzierl ; Antonius ; et al.
Proceedings of the AAAI Conference on Artificial Intelligence. 33:2694-2702

ta113 Nonmonotonic Reasoning Normalization 0202 electrical engineer... Lazy-Grounding 02 engineering and techn... …
Academic journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter