We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: Towards a Semantics for Hybrid ASP systems

Abstract: Over the last decades the development of ASP has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing the resulting constructs and inferences. This is even more severe when it comes to hybrid ASP languages and systems that are often needed to handle real-world applications. We address this challenge and introduce the concept of abstract and structured theories that allow us to formally elaborate upon their integration with ASP. We then use this concept to make precise the semantic characterization of CLINGO's theory-reasoning framework and establish its correspondence to the logic of Here-and-there with constraints. This provides us with a formal framework in which we can elaborate formal properties of existing hybridizations of CLINGO such as CLINGCON, CLINGOM[DL], and CLINGO[LP].
Comments: 29 pages
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
MSC classes: F.3 I.2
Cite as: arXiv:2108.03061 [cs.AI]
  (or arXiv:2108.03061v1 [cs.AI] for this version)

Submission history

From: Torsten Schaub [view email]
[v1] Fri, 6 Aug 2021 11:21:50 GMT (41kb)

Link back to: arXiv, form interface, contact.