Answer Set Programming Modulo ‘Space-Time’
We present ASP Modulo ‘Space-Time’, a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal components. Supported are capabilities for mixed qualitative-quantitative reasoning, consistency checking, and inferring compos...
| Príomhchruthaitheoirí: | Schultz, C, Bhatt, M, Suchan, J, Wałęga, P |
|---|---|
| Formáid: | Conference item |
| Foilsithe / Cruthaithe: |
Springer
2018
|
Míreanna comhchosúla
Míreanna comhchosúla
-
Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints
de réir: David Rajaratnam, et al.
Foilsithe / Cruthaithe: (2023-04-01) -
Querying Formal Contexts with Answer Set Programs.
de réir: Hitzler, P, et al.
Foilsithe / Cruthaithe: (2006) -
Answer Set Programming for Regular Inference
de réir: Wojciech Wieczorek, et al.
Foilsithe / Cruthaithe: (2020-10-01) -
On star Rothberger spaces modulo an ideal
de réir: Susmita Sarkar, et al.
Foilsithe / Cruthaithe: (2024-10-01) -
Imperative Program Synthesis from Answer Set Programs
de réir: Sarat Chandra Varanasi
Foilsithe / Cruthaithe: (2019-09-01)