Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)
Institutions
LIGO Scientific Collaboration (US)
Technische Universität Dresden (DE)
Publication Details
Journal
SPIRE - Sciences Po Institutional REpository
Published
2024-11-02
Primary Topic
Particle accelerators and beam dynamics
Type
article
Field-Weighted Citation Impact
0.00
Funders
Deutscher Akademischer Austauschdienst
Deutsche Forschungsgemeinschaft
Agence Nationale de la Recherche
Vienna Science and Technology Fund
Bundesministerium für Bildung und Forschung
Austrian Science Fund
Technische Universität Dresden
Simons Institute for the Theory of Computing, University of California Berkeley
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article
Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)
Journal
SPIRE - Sciences Po Institutional REpository
Topics
Particle accelerators and beam dynamics
article
Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)
article en
Abstract
No abstract available for this paper.
Publication Tag
SPIRE - Sciences Po Institutional REpository
Institutions
LIGO Scientific Collaboration (US), Technische Universität Dresden (DE)
Funders
Deutscher Akademischer Austauschdienst, Deutsche Forschungsgemeinschaft, Agence Nationale de la Recherche, Vienna Science and Technology Fund, Bundesministerium für Bildung und Forschung, Austrian Science Fund, Technische Universität Dresden, Simons Institute for the Theory of Computing, University of California Berkeley