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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Schultz, C, Bhatt, M, Suchan, J, Wałęga, P
Μορφή:	Conference item
Έκδοση:	Springer 2018

Παρόμοια τεκμήρια

Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints
ανά: David Rajaratnam, κ.ά.
Έκδοση: (2023-04-01)

Querying Formal Contexts with Answer Set Programs.
ανά: Hitzler, P, κ.ά.
Έκδοση: (2006)

Answer Set Programming for Regular Inference
ανά: Wojciech Wieczorek, κ.ά.
Έκδοση: (2020-10-01)

On star Rothberger spaces modulo an ideal
ανά: Susmita Sarkar, κ.ά.
Έκδοση: (2024-10-01)

Imperative Program Synthesis from Answer Set Programs
ανά: Sarat Chandra Varanasi
Έκδοση: (2019-09-01)

Evolutionary System Design with Answer Set Programming
ανά: Christian Haubelt, κ.ά.
Έκδοση: (2023-03-01)

Regularity and normality modulo hereditary m-spaces
ανά: Ahmad Al-Omari, κ.ά.
Έκδοση: (2024-05-01)

Smoke Test Planning using Answer Set Programming
ανά: Tobias Philipp, κ.ά.
Έκδοση: (2021-03-01)

Inductive logic programming as satisfiability modulo theories
ανά: Morel, R
Έκδοση: (2023)

Repairing Boolean logical models from time-series data using Answer Set Programming
ανά: Alexandre Lemos, κ.ά.
Έκδοση: (2019-03-01)

Combining answer set programming with description logics for the semantic Web
ανά: Eiter, T, κ.ά.
Έκδοση: (2008)

Combining Answer Set Programming with Description Logics for the Semantic Web
ανά: Eiter, T, κ.ά.
Έκδοση: (2004)

Combining Answer Set Programming with Description Logics for the Semantic Web
ανά: Eiter, T, κ.ά.
Έκδοση: (2008)

Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
ανά: Jorge Fandinno, κ.ά.
Έκδοση: (2022-06-01)

Rewriting Modulo β in the λΠ-Calculus Modulo
ανά: Ronan Saillard
Έκδοση: (2015-07-01)

A Note on Set Systems with no Union of Cardinality 0 modulo m
ανά: Vince Grolmusz
Έκδοση: (2003-01-01)

A Note on Set Systems with no Union of Cardinality 0 modulo m
ανά: Vince Grolmusz
Έκδοση: (2003-06-01)

A Compact Answer Set Programming Encoding of Multi-Agent Pathfinding
ανά: Rodrigo N. Gomez, κ.ά.
Έκδοση: (2021-01-01)

Splitting Computation of Answer Set Program and Its Application on E-service
ανά: Bo Yang, κ.ά.
Έκδοση: (2011-10-01)

Symmetry−breaking answer set solving
ανά: Drescher, C, κ.ά.
Έκδοση: (2011)

Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming
ανά: Rodrigo Martin, κ.ά.
Έκδοση: (2019-07-01)

Modulo-N equalizer
ανά: 383014 Halim Abd. Aziz
Έκδοση: (1977)

Equidistribution Modulo 1
ανά: Wiem Gadri
Έκδοση: (2021-01-01)

Efficient Modulo Multiplier
ανά: Rekib U. Ahmed, κ.ά.
Έκδοση: (2023-06-01)

Modulo Sampling of FRI Signals
ανά: Satish Mulleti, κ.ά.
Έκδοση: (2024-01-01)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ανά: Lukasiewicz, T
Έκδοση: (2010)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
ανά: Lukasiewicz, T
Έκδοση: (2008)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ανά: Lukasiewicz, T
Έκδοση: (2007)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
ανά: Lukasiewicz, T
Έκδοση: (2006)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ανά: Lukasiewicz, T
Έκδοση: (2010)

Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming
ανά: Louis Fippo Fitime, κ.ά.
Έκδοση: (2017-07-01)

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
ανά: Martin Gebser, κ.ά.
Έκδοση: (2011-08-01)

Some Classes of Soft Functions Defined by Soft Open Sets Modulo Soft Sets of the First Category
ανά: Zanyar A. Ameen, κ.ά.
Έκδοση: (2023-10-01)

C-compactness modulo an ideal
ανά: M. K. Gupta, κ.ά.
Έκδοση: (2006-01-01)

Aggregation of student answers in a classroom setting
ανά: Smith, Amanda C
Έκδοση: (2008)

Módulo Python para Matemática Intervalar
ανά: P.S. Grigoletti, κ.ά.
Έκδοση: (2007-06-01)

Fact-Checking Reasoning System for Fake Review Detection Using Answer Set Programming
ανά: Nour Jnoub, κ.ά.
Έκδοση: (2021-06-01)

Predicting weighted unobserved nodes in a regulatory network using answer set programming
ανά: Sophie Le Bars, κ.ά.
Έκδοση: (2023-08-01)

Fast Error Propagation Probability Estimates by Answer Set Programming and Approximate Model Counting
ανά: Anselm Breitenreiter, κ.ά.
Έκδοση: (2022-01-01)

Módulos de entrenamiento para la medición y adquisición de datos (módulo de visión)
ανά: V. Moncada, κ.ά.
Έκδοση: (2009-12-01)