• *Search*: "Answer Set Programming"

*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 2*number_thousands_separator*062

1

A declarative approach to strategic deconfliction in urban air mobility
Sterlicchio, Gioacchino ; Oddi, Angelo ; Rasconi, Riccardo ; et al.

Strategic deconfliction Urban Air Mobility (UAM) Declarative programming Answer set programming
*Conference*
*Add to favorites*
2

Complexities of Logic Programs with Convex Aggregates
WANG Xianglong, WANG Yisong, XIE Zhongtao
Jisuanji kexue, Vol 52, Iss 12, Pp 209-214 (2025)

answer set programming convex abstract constrai... answer set semantic basic logic program computational complexity Computer software …
*Academic Journal*
*Add to favorites*
3

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

*Academic Journal*
*Add to favorites*
4

A Logic Programming Approach to Repairing SHACL Constraint Violations
Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; et al.
Transactions on Graph Data and Knowledge, Vol 3, Iss 3, Pp 1:1-1:36 (2025)

shacl shapes constraint langua... database repairs knowledge graphs semantic web answer set programming …
*Academic Journal*
*Add to favorites*
5

A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming
Azzolini, Damiano ; Mazzotta, Giuseppe ; Ricca, Francesco ; et al.

Probabilistic Answer Set... Complexity Statistical Relational A... Uncertainty Answer Set Programming Weak Constraint
*Conference*
*Add to favorites*
6

A Theoretical Bound Which Improves the Performance of Compilation-Based Multi-Agent Path Finding
Rodrigo Lopez ; Roberto Asin-Acha ; Jorge A. Baier
IEEE Access, Vol 13, Pp 86133-86143 (2025)

Parallel algorithms multi-agent systems path planning answer set programming Electrical engineering.... TK1-9971
*Academic Journal*
*Add to favorites*
7

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*
*Add to favorites*
8

Flexible event log generation using answer set programming
Donadello, Ivan ; Maggi, Fabrizio Maria ; Patrizi, Fabio ; et al.
In Information Systems July 2026 139

*Academic Journal*
*Add to favorites*
9

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...
*Academic Journal*
*Add to favorites*
10

Seed Inference in Interacting Microbial Communities Using Combinatorial Optimization ; Inférence des graines (seeds) dans les communautés microbiennes en interaction à l'aide de l'optimisation combinatoire
Ghassemi Nedjad, Chabname ; Mendoza, Sebastián Nelson ; Frioux, Clémence ; et al.
CMSB 2025 - 23rd International Conference on Computational Methods in Systems Biology ; https://inria.hal.science/hal-05230510 ; CMSB 2025 - 23rd International Conference on Computational Methods in Systems Biology, François Fages, Inria Saclay, co-PC chair; Sabine Peres, Univ. Lyon, co-PC chair, Sep 2025, Villeurbanne - Lyon, France. pp.370-387, ⟨10.1007/978-3-032-01436-8_20⟩

Villeurbanne - Lyon France Answer Set Programming Metabolic networks Microbial communities Solving heuristics …
*Conference*
*Add to favorites*
11

Most Probable Explanation in Probabilistic Answer Set Programming
Azzolini D. ; Mazzotta G. ; Ricca F. ; et al.

Probabilistic Answer Set... Most Probable Explanatio... Statistical relational A...
*Conference*
*Add to favorites*
12

Reasoning with Restricted Statistical Statements in Probabilistic Answer Set Programming: Complexity and Algorithms
Azzolini, Damiano ; Hecher, Markus ; Azzolini, Damiano ; et al.

Computational Complexity Probabilistic Answer Set... Statistical Relational A... Treewidth Upper And Lower Bounds
*Conference*
*Add to favorites*
13

Compiling Metric Temporal Answer Set Programming
Becker, Arvid ; Cabalar, Pedro ; Diéguez Lodeiro, Martín ; et al.

Answer set programming Computational approach Difference constraints Fine grained Linear constraints Timing constraints
*Conference*
*Add to favorites*
14

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*
*Add to favorites*
15

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*
*Add to favorites*
16

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*
*Add to favorites*
17

Elements for Weighted Answer-Set Programming
Coelho, Francisco ; Dinis, Bruno ; Seipel, Dietmar ; et al.

Answer-Set Programming Stable Models Probabilistic Logic Prog...
*Academic Journal*
*Add to favorites*
18

Game of Zones: An Automated Intent-Based Network Micro-segmentation Methodology
Canavese, Daniele ; Laborde, Romain ; Laraba, Abir ; et al.
38th IEEE/IFIP Network Operations and Management Symposium (NOMS 2025)
https://hal.science/hal-04948011
38th IEEE/IFIP Network Operations and Management Symposium (NOMS 2025), May 2025, Honolulu, HI, United States

Honolulu HI United States Zero-trust architecture Answer set programming Micro-segmentation …
*Conference*
*Add to favorites*
19

A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments
Gebser, Martin ; Giunchiglia, Enrico ; Maratea, Marco ; et al.
In Artificial Intelligence March 2025 340

*Academic Journal*
*Add to favorites*
20

Logic Programming for Orthogonal Graph Drawing on Restricted Grids
Strąk, Łukasz ; Wieczorek, Wojciech ; Nowakowski, Arkadiusz
In Procedia Computer Science 2025 270:2318-2325

*Academic Journal*
*Add to favorites*
*Search Tools*: *Get RSS Feed* *Email this Search* *save_search*

*Filter*