Answer Set Programming Modulo ‘Space-Time’

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...

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs:	Schultz, C, Bhatt, M, Suchan, J, Wałęga, P
Formaat:	Conference item
Gepubliceerd in:	Springer 2018

Gelijkaardige items

Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints
door: David Rajaratnam, et al.
Gepubliceerd in: (2023-04-01)

Querying Formal Contexts with Answer Set Programs.
door: Hitzler, P, et al.
Gepubliceerd in: (2006)

Answer Set Programming for Regular Inference
door: Wojciech Wieczorek, et al.
Gepubliceerd in: (2020-10-01)

On star Rothberger spaces modulo an ideal
door: Susmita Sarkar, et al.
Gepubliceerd in: (2024-10-01)

Imperative Program Synthesis from Answer Set Programs
door: Sarat Chandra Varanasi
Gepubliceerd in: (2019-09-01)

Evolutionary System Design with Answer Set Programming
door: Christian Haubelt, et al.
Gepubliceerd in: (2023-03-01)

Regularity and normality modulo hereditary m-spaces
door: Ahmad Al-Omari, et al.
Gepubliceerd in: (2024-05-01)

Smoke Test Planning using Answer Set Programming
door: Tobias Philipp, et al.
Gepubliceerd in: (2021-03-01)

Inductive logic programming as satisfiability modulo theories
door: Morel, R
Gepubliceerd in: (2023)

Repairing Boolean logical models from time-series data using Answer Set Programming
door: Alexandre Lemos, et al.
Gepubliceerd in: (2019-03-01)

Combining answer set programming with description logics for the semantic Web
door: Eiter, T, et al.
Gepubliceerd in: (2008)

Combining Answer Set Programming with Description Logics for the Semantic Web
door: Eiter, T, et al.
Gepubliceerd in: (2004)

Combining Answer Set Programming with Description Logics for the Semantic Web
door: Eiter, T, et al.
Gepubliceerd in: (2008)

Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
door: Jorge Fandinno, et al.
Gepubliceerd in: (2022-06-01)

Rewriting Modulo β in the λΠ-Calculus Modulo
door: Ronan Saillard
Gepubliceerd in: (2015-07-01)

A Note on Set Systems with no Union of Cardinality 0 modulo m
door: Vince Grolmusz
Gepubliceerd in: (2003-01-01)

A Note on Set Systems with no Union of Cardinality 0 modulo m
door: Vince Grolmusz
Gepubliceerd in: (2003-06-01)

A Compact Answer Set Programming Encoding of Multi-Agent Pathfinding
door: Rodrigo N. Gomez, et al.
Gepubliceerd in: (2021-01-01)

Splitting Computation of Answer Set Program and Its Application on E-service
door: Bo Yang, et al.
Gepubliceerd in: (2011-10-01)

Symmetry−breaking answer set solving
door: Drescher, C, et al.
Gepubliceerd in: (2011)

Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming
door: Rodrigo Martin, et al.
Gepubliceerd in: (2019-07-01)

Modulo-N equalizer
door: 383014 Halim Abd. Aziz
Gepubliceerd in: (1977)

Equidistribution Modulo 1
door: Wiem Gadri
Gepubliceerd in: (2021-01-01)

Efficient Modulo Multiplier
door: Rekib U. Ahmed, et al.
Gepubliceerd in: (2023-06-01)

Modulo Sampling of FRI Signals
door: Satish Mulleti, et al.
Gepubliceerd in: (2024-01-01)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
door: Lukasiewicz, T
Gepubliceerd in: (2010)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
door: Lukasiewicz, T
Gepubliceerd in: (2008)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
door: Lukasiewicz, T
Gepubliceerd in: (2007)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
door: Lukasiewicz, T
Gepubliceerd in: (2006)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
door: Lukasiewicz, T
Gepubliceerd in: (2010)

Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming
door: Louis Fippo Fitime, et al.
Gepubliceerd in: (2017-07-01)

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
door: Martin Gebser, et al.
Gepubliceerd in: (2011-08-01)

Some Classes of Soft Functions Defined by Soft Open Sets Modulo Soft Sets of the First Category
door: Zanyar A. Ameen, et al.
Gepubliceerd in: (2023-10-01)

C-compactness modulo an ideal
door: M. K. Gupta, et al.
Gepubliceerd in: (2006-01-01)

Aggregation of student answers in a classroom setting
door: Smith, Amanda C
Gepubliceerd in: (2008)

Módulo Python para Matemática Intervalar
door: P.S. Grigoletti, et al.
Gepubliceerd in: (2007-06-01)

Fact-Checking Reasoning System for Fake Review Detection Using Answer Set Programming
door: Nour Jnoub, et al.
Gepubliceerd in: (2021-06-01)

Predicting weighted unobserved nodes in a regulatory network using answer set programming
door: Sophie Le Bars, et al.
Gepubliceerd in: (2023-08-01)

Fast Error Propagation Probability Estimates by Answer Set Programming and Approximate Model Counting
door: Anselm Breitenreiter, et al.
Gepubliceerd in: (2022-01-01)

Módulos de entrenamiento para la medición y adquisición de datos (módulo de visión)
door: V. Moncada, et al.
Gepubliceerd in: (2009-12-01)