• Search: "Answer Set Programming"

Showing 1 - 20 of 3,452

1

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. :370-387

Villeurbanne - Lyon, Fra... Flux Balance Analysis Solving heuristics Microbial communities Metabolic networks Answer Set Programming …
Conference
Save to List
2

Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)
Gerlach, Lukas ; Carral, David ; Hecher, Markus ; et al.
NMR 2024 - 22nd International Workshop on Nonmonotonic Reasoning. :183-186

Hanoi, Vietnam Answer Set Programming Rule-Based Reasoning Knowledge Representation Computability Theory [INFO]Computer Science [...
Conference
Save to List
3

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), May 2025, Honolulu, HI, United States

Honolulu, HI, United Sta... Zero-trust architecture Answer set programming Micro-segmentation Security automation Intent-based security …
Conference
Save to List
4

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. :1-8

Vancouver, Canada Constraints satisficatio... CEGAR Answer Set Programming Linear programming Hybrid logic …
Conference
Save to List
5

From Probabilistic Programming to Complexity-based Programming
Sileno, Giovanni ; Dessalles, Jean-Louis ; Universiteit van Amsterdam = University of Amsterdam (UvA) ; et al.
26th European Conference on Artificial Intelligence ECAI 2023. :304-317

Kraków, Poland Complexity-based program... Complexity-based program... Simplicity Theory Causal models Descriptive models …
Conference
Save to List
6

Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming
FELICIDAD AGUADO ; PEDRO CABALAR ; BRAIS MUÑIZ ; et al.
Theory and Practice of Logic Programming. :1-15

FOS: Computer and inform... Artificial Intelligence... Forks Artificial Intelligence Answer set programming Equilibrium logic …
Academic journal
Save to List
7

Explaining artificial neural networks using answer set programming
Kaminski, Roland ; Schaub, Torsten ; Romero, Javier ; et al.
Advances in Interpretable Machine Learning and Artificial Intelligence (AIMLAI), ECML/PKDD 2024, Sep 2024, Vilnuis, Lithuania

Vilnuis, Lithuania artificial neural networ... answer set programming explanation interpretability classification …
Conference
Save to List
8

Splitting Property for Epistemic Equilibrium Logics
Su, Ezgi Iraz
Logica Universalis. 19(4):739-768

Academic journal
Save to List
9

Pearce's Characterisation in an Epistemic Domain
Su, Ezgi Iraz
Electronic Proceedings in Theoretical Computer Science. 416:201-214

Programming problem FOS: Computer and inform... Computer Science - Logic... Literals Computer Science - Progr... Computer Science - Artif... …
Academic journal
Save to List
10

Logic-based Approach and Visualization for the Nuclear Medicine Rescheduling Problem
Marte, Cinzia ; Mochi, Marco ; Dodaro, Carmine ; et al.
Journal of Medical Systems: The Home of Clinical Informatics Research. 49(1)

Academic journal
Save to List
11

MASS-CSP: mining with answer set solving for contrast sequential pattern mining
Sterlicchio, Gioacchino ; Lisi, Francesca Alessandra
Machine Learning. 114(11)

Academic journal
Save to List
12

Declarative Sequential Pattern Mining in ASP
Guyet, Thomas ; La pharmacologie des neurones et des astrocytes à l’aide des sciences du numérique (AISTROSIGHT) ; Université Claude Bernard Lyon 1 (UCBL) ; et al.
Conference on Inductive Logic Programming (ILP), Nov 2023, Bari, Italy

Bari, Italy Timed sequences Satisfiability modulo th... Answer Set Programming [INFO.INFO-AI]Computer S... Artificial Intelligence...
Conference
Save to List
13

Teaching logic programming: a review
Serhiy O. Semerikov ; Iryna S. Mintii ; Natalia V. Moiseienko
CTE Workshop Proceedings, Vol 12 (2025)

logic programming Datalog constraint logic program... Technology Answer Set Programming Prolog …
Academic journal
Save to List
14

A Theoretical Bound Which Improves the Performance of Compilation-Based Multi-Agent Path Finding
Rodrigo López ; Roberto Asín-Achá ; Jorge A. Baier
IEEE Access, Vol 13, Pp 86133-86143 (2025)

Parallel algorithms multi-agent systems Electrical engineering.... path planning answer set programming TK1-9971
Academic journal
Save to List
15

Solving Decision Theory Problems with Probabilistic Answer Set Programming
Azzolini D. ; Bellodi E. ; Kiesel R. ; et al.
Theory and Practice of Logic Programming. 25:33-63

FOS: Computer and inform... Computer Science - Logic... Artificial Intelligence... Computer Science - Artif... probabilistic answer set... Logic in Computer Scienc...
Academic journal
Save to List
16

Knowledge representation and reasoning in the context of automated production planning
Sahota, Harkiran ; Kłodowski, Adam
Journal of Intelligent Manufacturing. :1-20

Academic journal
Save to List
17

Answer set programming for pattern generation in logical analysis of data
Becker, Katinka ; Bockmayr, Alexander
Annals of Mathematics and Artificial Intelligence. :1-25

Academic journal
Save to List
19

Peer reviewing in participatory guarantee systems: Modelisation and algorithmic aspects
Barrot, Nathanaël ; Lemeilleur, Sylvaine ; Paget, Nicolas ; et al.
International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020). :114-122

Auckland, New Zealand Peer review assignment Answer-set programming Computational Complexity Participatory Guarantee... [SDV]Life Sciences [q-bi... …
Conference
Save to List
20

Boolean Network Models of Human Preimplantation Development
Bolteau, Mathieu ; Chebouba, Lokmane ; David, Laurent ; et al.

Boolean Networks Human Embryonic Developm... scRNAseq Systems Biology Answer Set Programming [INFO.INFO-BI]Computer S... …
Electronic Resource
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter