• Search: "Answer Set Programming"

Showing 41 - 60 of 3,452

42

Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf
Ielo A. ; Mazzotta G. ; Ricca F. ; et al.

Answer Set Programming Linear Temporal Logic ov... Minimal Unsatisfiable Co...
Conference
Save to List
43

Online Inductive Learning from Answer Sets for Efficient Reinforcement Learning Exploration
Veronese, Celeste ; Meli, Daniele ; Farinelli, Alessandro
Communications in Computer and Information Science ISBN: 9783031893650

FOS: Computer and inform... Artificial Intelligence... Computer Science - Artif... Answer Set Programming,...
Book
Save to List
44

Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming
Trinh, Giang ; Benhamou, Belaid ; Pastva, Samuel ; et al.
Proceedings of the AAAI Conference on Artificial Intelligence

[INFO.INFO-AI] Computer... [INFO.INFO-SY] Computer... Trap Space Boolean Network Answer Set Programming [INFO.INFO-BI] Computer...
Academic journal
Save to List
45

Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming
Trinh, Van-Giang ; Benhamou, Belaid ; Soliman, Sylvain ; et al.
29th International Conference on Principles and Practice of Constraint Programming (CP 2023). :35-35

Toronto, Canada Computational systems bi... Boolean network Fixed point Answer set programming Logic programming and an... …
Conference
Save to List
46

DSPy-based neural-symbolic pipeline to enhance spatial reasoning in LLMs
Wang, Rong ; Sun, Kun
In Neural Networks January 2026 193

Academic journal
Save to List
47

Sketched Answer Set Programming
Paramonov, Sergey ; Bessiere, Christian ; Dries, Anton ; et al.
ICTAI: International Conference on Tools with Artificial Intelligence. :694-701

Volos, Greece Relational learning Constraint programming Sketching Answer set programming Constraint learning …
Conference
Save to List
48

Retrieval-augmented Generative Intelligence Question Answering Technology Based on Knowledge Graph
CHENG Zhiyu, CHEN Xinglin, WANG Jing, ZHOU Zhongyuan, ZHANG Zhizheng
Jisuanji kexue, Vol 52, Iss 1, Pp 87-93 (2025)

intelligence question-an... answer set programming large language models retrieval-augmented gene... knowledge graph Computer software …
Academic journal
Save to List
49

Multi-Shot Answer Set Programming for Flexible Payroll Management
Callewaert, Benjamin ; Vennekens, Joost
Theory and Practice of Logic Programming. 24:453-481

4613 Theory of computati... Technology Science & Technology Logic 4602 Artificial intellig... payroll management …
Academic journal
Save to List
50

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
Amendola G. ; Mazzotta G. ; Ricca F. ; et al.
Theory and Practice of Logic Programming. 24:1078-1108

Computer Science - Softw... Computer Science - Artif... 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... unit testing …
Academic journal
Save to List
51

Automated legal reasoning with discretion to act using s(LAW)
Arias, Joaquín ; Moreno-Rebato, Mar ; Rodriguez-García, Jose A. ; et al.
Artificial Intelligence and Law. 32(4):1141-1164

Academic journal
Save to List
52

Rescheduling master surgical schedules via answer set programming
Galatà, Giuseppe ; Maratea, Marco ; Marte, Cinzia ; et al.
Progress in Artificial Intelligence. :1-16

Academic journal
Save to List
53

Hybridation de l’Answer Set Programming et de la théorie de Dempster Shafer
Sounchio, Serge, Sonfack ; Geneste, Laurent ; Kamsu-Foguem, Bernard ; et al.

Bordeaux, France Knowledge représentation... Answer Set Programming belief function theory uncertainty Représentation de la con... …
Conference
Save to List
54

Automatic synthesis of boolean networks from biological knowledge and data
Vaginay, Athénaïs ; Boukhobza, Taha ; Smaïl-Tabbone, Malika ; et al.

Catane, Italy Boolean Network Synthesi... Answer-Set Programming [INFO]Computer Science [... [SDV]Life Sciences [q-bi...
Conference
Save to List
55

Clingo2DSR - A clingo-based software system for declarative spatial reasoning
Beidi Li ; Carl Schultz
Li, B & Schultz, C P L 2025, 'Clingo2DSR-A clingo-based software system for declarative spatial reasoning', Spatial Cognition & Computation, vol. 25, no. 1, pp. 69-119. https://doi.org/10.1080/13875868.2024.2324875

Answer Set Programming 0211 other engineering a... 0202 electrical engineer... Building Information Mod... 02 engineering and techn... spatial reasoning
Academic journal
Save to List
56

ASP Essentials: Modelling and Efficient Solving (Invited Paper)
Mazzotta, Giuseppe ; Ricca, Francesco ; Giuseppe Mazzotta and Francesco Ricca

Answer Set Programming ASP with Quantifiers Grounding Bottleneck Compilation-based ASP so... Neurosymbolic AI LLMs
Academic journal
Save to List
57

Human-Centered ASP Applications: Representation & Reasoning (Invited Paper)
Boğatarkan, Aysu ; Fidan, Müge ; Erdem, Esra ; et al.

Answer set programming human-centered applicati... multi robot planning in... explainability stable roommates problem usefulness evaluations
Academic journal
Save to List
58

Beyond Static Diagnosis: A Temporal ASP Framework for HVAC Fault Detection
Koitz-Hristov, Roxane ; Prikler, Liliana Marie ; Wotawa, Franz ; et al.

Model-based diagnosis Answer set programming HVAC Modeling for diagnosis Experimental evaluation
Academic journal
Save to List
59

Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
Barbara Vito ; Guarascio Massimo ; Leone Nicola ; et al.
Theory and practice of logic programming (2023). doi:10.1017/S1471068423000170
info:cnr-pdr/source/autori:Barbara, Vito; Guarascio, Massimo; Leone, Nicola; Manco, Giuseppe; Quarta, Alessandro; Ricca, Francesco; Ritacco, Ettore/titolo:Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels/doi:10.1017%2FS1471068423000170/rivista:Theory and practice of logic programming/anno:2023/pagina_da:/pagina_a:/intervallo_pagine:/volume

FOS: Computer and inform... Computer Science - Machi... answer set programming automated quality contro... computer vision data scarcity …
Academic journal
Save to List
60

Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling
Cappanera, P ; Gavanelli, M ; Nonato, M ; et al.
Theory and Practice of Logic Programming. 23:848-864

FOS: Computer and inform... answer set programming,... Computer Science - Logic... Artificial Intelligence... Computer Science - Artif... 0211 other engineering a... …
Academic journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter