• Search: "Answer Set Programming"

Showing 121 - 140 of 3,452

121

Automata-based LTL_f Satisfiability Checking via ASP
Andrea Cuteri ; Giuseppe Mazzotta ; Rafael Peñaloza ; et al.

Linear Temporal Logic, S...
Conference
Save to List
122

Nuclear Medicine Scheduling via Answer Set Programming
Dodaro C. ; Galata G. ; Marte C. ; et al.

Answer Set Programming Logic Programming Digital Health
Conference
Save to List
123

Structured Declarative Language
Alviano M. ; Dodaro C. ; Vasile I. R.

Code Maintain ability Answer Set Programming Combinatorial Search and... Knowledge Representation
Conference
Save to List
125

Recent Answer Set Programming Applications to Scheduling Problems in Digital Health
Cappanera P. ; Caruso S. ; Dodaro C. ; et al.

Answer Set Programming Digital Health Scheduling Applications
Conference
Save to List
126

Faster Diagnosis with Answer Set Programming (Short Paper)
Prikler, Liliana Marie ; Wotawa, Franz ; Liliana Marie Prikler and Franz Wotawa

model-based diagnosis Answer set programming ddc:004 performance comparison
Conference
Save to List
127

Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems
Klampfl, Lorenz ; Wotawa, Franz ; Lorenz Klampfl and Franz Wotawa

Continuous Monitoring Answer Set Programming ddc:004 Autonomous Driving
Conference
Save to List
128

Nuclear Medicine Rescheduling Problem: A Logic-based Approach
Dodaro C. ; Galata G. ; Maratea M. ; et al.

Answer Set Programming Logic Programming Digital Health
Conference
Save to List
129

Automata-based LTLf Satisfiability Checking via ASP
Cuteri A. ; Mazzotta G. ; Penaloza R. ; et al.

Answer Set Programming Linear Temporal Logic Satisfiability Checking
Conference
Save to List
130

Specification languages and ASP-based solutions for scheduling problems in Healthcare
Caruso S.

Answer Set Programming Controlled Natural Langu... Healthcare Logic Programming
Conference
Save to List
131

Answer Set Programming and Large Language Models interaction with YAML: Preliminary Report
Alviano M. ; Grillo L.

Large Language Models Natural Language Generat... Answer Set Programming Knowledge Representation
Book
Save to List
132

The modal logic of equilibrium models
Fariñas del Cerro, Luis ; Herzig, Andreas ; Logique, Interaction, Langue et Calcul (IRIT-LILaC) ; et al.
8th International Symposium on Frontiers of Combining Systems (FroCoS 2011). :135-146

Saarbrucken, Germany bimodal logic here-and-there models modal logic logic of here-and-there equilibrium logic …
Conference
Save to List
133

Application of Answer Set Programming for Public Health Data Integration and Analysis
Nogueira, Monica, L. ; Greis, Noel, P. ; Université de Caroline du Nord à Chapel Hill = University of North Carolina [Chapel Hill] (UNC-Chapel Hill) ; et al.
1st Availability. :118-134

Vienna, Austria ontology food safety public health answer set programming data integration …
Conference
Save to List
134

Automata-Based Computation of Temporal Equilibrium Models
Cabalar, Pedro ; Demri, Stéphane ; Universidade da Coruña ; et al.
21st International Workshop on Logic Program Synthesis and Transformation (LOPSTR'11). :57-72

Odense, Denmark temporal equilibrium log... linear-time temporal log... Buchi automata complexity answer set programming …
Conference
Save to List
135

Applied Machine Learning
Dudek, Grzegorz

robust matrix factorizat... student grade prediction educational data mining side information graph personal teaching and le... deep multi-target predic... …
eBook
Save to List
136

An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems
FABIO AURELIO D’ASARO ; LUCA RAGGIOLI ; SALIM MALEK ; et al.
Theory and Practice of Logic Programming. 23:1070-1093

sensor fusion FOS: Computer and inform... Computer Science - Logic... Computer Science - Artif... motor rehabilitation 02 engineering and techn... …
Academic journal
Save to List
137

An ASP approach for arteries classification in CT scans
Fabiano, Francesco ; Dal Palù, Alessandro ; Fabiano, Francesco ; et al.
Journal of Logic and Computation. 32:331-346

03 medical and health sc... 0302 clinical medicine Answer set programming Blood vessels classifica... CT scan Image processing
Academic journal
Save to List
138

Static Analysis and Stochastic Search for Reachability Problem
Chai, Xinwei ; Ribeiro, Tony ; Magnin, Morgan ; et al.

Freiburg, Germany Heuristics Answer Set Programming Local Causality Graph Reachability problem Asynchronous Binary Auto... …
Conference
Save to List
139

Investigating the grounding bottleneck for a large-scale configuration problem: existing tools and constraint-aware guessing
Semmelrock, Veronika Bianca ; Friedrich, Gerhard ; Universitätsbibliothek

Answer Set Programming grounding bottleneck configuration problem benchmarking
Dissertation/ Thesis
Save to List
140

CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems
Thuillier, Kerian ; Siegel, Anne ; Paulevé, Loïc ; et al.
AAAI 2024 - The 38th Annual AAAI Conference on Artificial Intelligence ; https://hal.science/hal-04420454 ; AAAI 2024 - The 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. pp.1-8

Vancouver Constraints satisficatio... CEGAR Answer Set Programming Linear programming Hybrid logic …
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter