• Suche: "Answer Set Programming"

Treffer 141 - 160 von 3.452

141

Detecting Patterns of Attacks to Network Security in Urban Air Mobility with Answer Set Programming
Gioacchino Sterlicchio ; Francesca Alessandra Lisi ; Ulle Endriss, Francisco S. Melo, Kerstin Bach, Alberto José Bugarín Diz, Jose Maria Alonso-Moral, Senén Barro, Fredrik Heintz ; et al.

Answer Set Programming Network Security Contrast Sequential Patt... Urban Air Mobility
Konferenz
Zu den Favoriten
142

Lifted inference for statistical statements in probabilistic answer set programming
Azzolini, Damiano ; Riguzzi, Fabrizio
In International Journal of Approximate Reasoning December 2023 163

Fachzeitschrift
Zu den Favoriten
143

Forming We-intentions under breakdown situations in human-robot interactions
Guerrero, Esteban ; Tewari, Maitreyee ; Kalmi, Panu ; et al.
In Computer Methods and Programs in Biomedicine December 2023 242

Fachzeitschrift
Zu den Favoriten
144

A general framework for preferences in answer set programming
Brewka, Gerhard ; Delgrande, James ; Romero, Javier ; et al.
In Artificial Intelligence December 2023 325

Fachzeitschrift
Zu den Favoriten
145

Inverse reinforcement learning through logic constraint inference
Baert, Mattijs ; Leroux, Sam ; Simoens, Pieter
Machine Learning. 112(7):2593-2618

Fachzeitschrift
Zu den Favoriten
146

Enhancing sequential pattern mining with time and reasoning
Guyet, Thomas ; AGROCAMPUS OUEST ; Large Scale Collaborative Data Mining (LACODAM) ; et al.
Artificial Intelligence [cs.AI]. Université de Rennes 1, 2020

Pattern mining sequence data analysis temporal data answer set programming query language …
Report
Zu den Favoriten
147

Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
Vanbesien, Linde ; Bruynooghe, Maurice ; Denecker, Marc
Theory and Practice of Logic Programming. 22:523-537

4613 Theory of computati... FOS: Computer and inform... Technology Computer Science - Logic... Science & Technology Logic …
Fachzeitschrift
Zu den Favoriten
148

An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
LAURA GIORDANO ; DANIELE THESEIDER DUPRÉ ; Giordano, L ; et al.
Theory and Practice of Logic Programming. 22:589-605

FOS: Computer and inform... I.2.4 neural network Computer Science - Artif... description logic 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
149

An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
Dodaro C. ; Galata G. ; Grioni A. ; et al.
Theory and Practice of Logic Programming. 21:835-851

FOS: Computer and inform... Computer Science - Logic... Artificial Intelligence... Computer Science - Artif... chemotherapy treatment s... 0211 other engineering a... …
Fachzeitschrift
Zu den Favoriten
150

An Application of Declarative Languages in Distributed Architectures: ASP and DALI Microservices
Costantini S. ; De Gasperis G. ; De Lauretis L.
Re-Unir. Archivo Institucional de la Universidad Internacional de La Rioja
Universidad Internacional de La Rioja (UNIR)
instname
International Journal of Interactive Multimedia and Artificial Intelligence, Vol 6, Iss 5, Pp 66-78 (2021)

Technology AI For Ubiquitous Comput... Answer Set Programming Intelligent Software Age... Knowledge Based Systems Microservices …
Fachzeitschrift
Zu den Favoriten
151

Predicting weighted unobserved nodes in a regulatory network using answer set programming
Sophie Le Bars ; Mathieu Bolteau ; Jérémie Bourdon ; et al.
BMC Bioinformatics, Vol 24, Iss S1, Pp 1-24 (2023)

Regulatory network Answer set programming OMIC data integration Regulatory and metabolic... Computer applications to... R858-859.7 …
Fachzeitschrift
Zu den Favoriten
152

ASP and subset minimality: Enumeration, cautious reasoning and MUSes
Alviano, Mario ; Dodaro, Carmine ; Fiorentino, Salvatore ; et al.
In Artificial Intelligence July 2023 320

Fachzeitschrift
Zu den Favoriten
153

Synthesis of Boolean networks from the structure and dynamics of reaction networks
Synthèse de réseaux booléens à partir de la structure et de la dynamique des réseaux de réactions
Vaginay, Athénaïs ; Centre de Recherche en Automatique de Nancy (CRAN) ; Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) ; et al.
Computer Science [cs]. Université de Lorraine, 2023. English. ⟨NNT : 2023LORR0135⟩

Systems biology Boolean networks Reaction networks Differential equations s... Answer-set programming Biologie des systèmes …
Dissertation
Zu den Favoriten
154

Detecting Patterns of Attacks to Network Security in Urban Air Mobility with Answer Set Programming
Sterlicchio, Gioacchino ; Lisi, Francesca Alessandra

Answer Set Programming 11. Sustainability Network security Urban Air Mobility
Report
Zu den Favoriten
155

Solution Enumeration by Optimality in Answer Set Programming
Janhunen ; Tomi ; Pajunen, Jukka ; et al.
Theory and Practice of Logic Programming. 21:750-767

ta113 FOS: Computer and inform... 68N17, 90C27 optimization problems sampling Computer Science - Logic... …
Fachzeitschrift
Zu den Favoriten
156

Optimized 3D path planner for steerable catheters with deductive reasoning
Segato A. ; Corbetta V. ; Zangari J. ; et al.
2021 IEEE International Conference on Robotics and Automation (ICRA)

0209 industrial biotechn... trajectory smoothness, s... 0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
157

Ontology-based hybrid commonsense reasoning framework for handling context abnormalities in uncertain and partially observable environments
Moulouel, Koussaila ; Chibani, Abdelghani ; Amirat, Yacine
In Information Sciences June 2023 631:468-486

Fachzeitschrift
Zu den Favoriten
158

Hybrid planning for challenging construction problems: An Answer Set Programming approach
Ahmad, Faseeh ; Patoglu, Volkan ; Erdem, Esra
In Artificial Intelligence June 2023 319

Fachzeitschrift
Zu den Favoriten
159

Haplotype phasing from long reads with ASP : a flexible optimization approach
Phasage d’haplotypes par ASP à partir de longues lectures : une approche d’optimisation flexible
Delahaye, Clara ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; et al.
Bioinformatics [q-bio.QM]. Université de Rennes, 2022. English. ⟨NNT : 2022REN1S093⟩

Bioinformatics Answer set programming Optimization Clustering Long read sequencing Polyploid …
Dissertation
Zu den Favoriten
160

A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments
Alice Segato ; Francesco Calimeri ; Irene Testa ; et al.
Autonomous Robots

Steerable needles Artificial intelligence 0209 industrial biotechn... Answer Set Programming Machine learning 0202 electrical engineer... …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter