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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Schultz, C, Bhatt, M, Suchan, J, Wałęga, P
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer 2018

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)

Evolutionary System Design with Answer Set Programming
de réir: Christian Haubelt, et al.
Foilsithe / Cruthaithe: (2023-03-01)

Regularity and normality modulo hereditary m-spaces
de réir: Ahmad Al-Omari, et al.
Foilsithe / Cruthaithe: (2024-05-01)

Smoke Test Planning using Answer Set Programming
de réir: Tobias Philipp, et al.
Foilsithe / Cruthaithe: (2021-03-01)

Inductive logic programming as satisfiability modulo theories
de réir: Morel, R
Foilsithe / Cruthaithe: (2023)

Repairing Boolean logical models from time-series data using Answer Set Programming
de réir: Alexandre Lemos, et al.
Foilsithe / Cruthaithe: (2019-03-01)

Combining answer set programming with description logics for the semantic Web
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2008)

Combining Answer Set Programming with Description Logics for the Semantic Web
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2004)

Combining Answer Set Programming with Description Logics for the Semantic Web
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2008)

Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
de réir: Jorge Fandinno, et al.
Foilsithe / Cruthaithe: (2022-06-01)

Rewriting Modulo β in the λΠ-Calculus Modulo
de réir: Ronan Saillard
Foilsithe / Cruthaithe: (2015-07-01)

A Note on Set Systems with no Union of Cardinality 0 modulo m
de réir: Vince Grolmusz
Foilsithe / Cruthaithe: (2003-01-01)

A Note on Set Systems with no Union of Cardinality 0 modulo m
de réir: Vince Grolmusz
Foilsithe / Cruthaithe: (2003-06-01)

A Compact Answer Set Programming Encoding of Multi-Agent Pathfinding
de réir: Rodrigo N. Gomez, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Splitting Computation of Answer Set Program and Its Application on E-service
de réir: Bo Yang, et al.
Foilsithe / Cruthaithe: (2011-10-01)

Symmetry−breaking answer set solving
de réir: Drescher, C, et al.
Foilsithe / Cruthaithe: (2011)

Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming
de réir: Rodrigo Martin, et al.
Foilsithe / Cruthaithe: (2019-07-01)

Modulo-N equalizer
de réir: 383014 Halim Abd. Aziz
Foilsithe / Cruthaithe: (1977)

Equidistribution Modulo 1
de réir: Wiem Gadri
Foilsithe / Cruthaithe: (2021-01-01)

Efficient Modulo Multiplier
de réir: Rekib U. Ahmed, et al.
Foilsithe / Cruthaithe: (2023-06-01)

Modulo Sampling of FRI Signals
de réir: Satish Mulleti, et al.
Foilsithe / Cruthaithe: (2024-01-01)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2010)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2008)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2007)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2006)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2010)

Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming
de réir: Louis Fippo Fitime, et al.
Foilsithe / Cruthaithe: (2017-07-01)

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
de réir: Martin Gebser, et al.
Foilsithe / Cruthaithe: (2011-08-01)

Some Classes of Soft Functions Defined by Soft Open Sets Modulo Soft Sets of the First Category
de réir: Zanyar A. Ameen, et al.
Foilsithe / Cruthaithe: (2023-10-01)

C-compactness modulo an ideal
de réir: M. K. Gupta, et al.
Foilsithe / Cruthaithe: (2006-01-01)

Aggregation of student answers in a classroom setting
de réir: Smith, Amanda C
Foilsithe / Cruthaithe: (2008)

Módulo Python para Matemática Intervalar
de réir: P.S. Grigoletti, et al.
Foilsithe / Cruthaithe: (2007-06-01)

Fact-Checking Reasoning System for Fake Review Detection Using Answer Set Programming
de réir: Nour Jnoub, et al.
Foilsithe / Cruthaithe: (2021-06-01)

Predicting weighted unobserved nodes in a regulatory network using answer set programming
de réir: Sophie Le Bars, et al.
Foilsithe / Cruthaithe: (2023-08-01)

Fast Error Propagation Probability Estimates by Answer Set Programming and Approximate Model Counting
de réir: Anselm Breitenreiter, et al.
Foilsithe / Cruthaithe: (2022-01-01)

Módulos de entrenamiento para la medición y adquisición de datos (módulo de visión)
de réir: V. Moncada, et al.
Foilsithe / Cruthaithe: (2009-12-01)