Work

Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)

Year: 2024

Type: conference-paper

Abstract: co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors: Gerlach, Lukas, Carral, David, Hecher, Markus

Institutions: Technische Universität Dresden, BOREAL: Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données, LIGO Scientific Collaboration, Massachusetts Institute of Technology

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

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

Awards: Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI, G3032849772, Complex ontological Queries over Federated and heterogenous Data, QuantASP - Quantitative Reasoning and Counting for ASP, HYPAR - Hybrid Parameterized Problem Solving in Practice, G4656594441, G4712284355, G5086605701, G6098565189, G6483656518, G8777520260, TRR 248: Grundlagen verständlicher SoftwareSysteme für eine nachvollziehbare cyberphysische Welt

OpenAlex ID: W7056653311

FWCI:

Cites:

Cited by:

Related to: