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

Podrobná bibliografie
Hlavní autoři:	Schultz, C, Bhatt, M, Suchan, J, Wałęga, P
Médium:	Conference item
Vydáno:	Springer 2018

Podobné jednotky

Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints
Autor: David Rajaratnam, a další
Vydáno: (2023-04-01)

Querying Formal Contexts with Answer Set Programs.
Autor: Hitzler, P, a další
Vydáno: (2006)

Answer Set Programming for Regular Inference
Autor: Wojciech Wieczorek, a další
Vydáno: (2020-10-01)

On star Rothberger spaces modulo an ideal
Autor: Susmita Sarkar, a další
Vydáno: (2024-10-01)

Imperative Program Synthesis from Answer Set Programs
Autor: Sarat Chandra Varanasi
Vydáno: (2019-09-01)

Evolutionary System Design with Answer Set Programming
Autor: Christian Haubelt, a další
Vydáno: (2023-03-01)

Regularity and normality modulo hereditary m-spaces
Autor: Ahmad Al-Omari, a další
Vydáno: (2024-05-01)

Smoke Test Planning using Answer Set Programming
Autor: Tobias Philipp, a další
Vydáno: (2021-03-01)

Inductive logic programming as satisfiability modulo theories
Autor: Morel, R
Vydáno: (2023)

Repairing Boolean logical models from time-series data using Answer Set Programming
Autor: Alexandre Lemos, a další
Vydáno: (2019-03-01)

Combining answer set programming with description logics for the semantic Web
Autor: Eiter, T, a další
Vydáno: (2008)

Combining Answer Set Programming with Description Logics for the Semantic Web
Autor: Eiter, T, a další
Vydáno: (2004)

Combining Answer Set Programming with Description Logics for the Semantic Web
Autor: Eiter, T, a další
Vydáno: (2008)

Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
Autor: Jorge Fandinno, a další
Vydáno: (2022-06-01)

Rewriting Modulo β in the λΠ-Calculus Modulo
Autor: Ronan Saillard
Vydáno: (2015-07-01)

A Note on Set Systems with no Union of Cardinality 0 modulo m
Autor: Vince Grolmusz
Vydáno: (2003-01-01)

A Note on Set Systems with no Union of Cardinality 0 modulo m
Autor: Vince Grolmusz
Vydáno: (2003-06-01)

A Compact Answer Set Programming Encoding of Multi-Agent Pathfinding
Autor: Rodrigo N. Gomez, a další
Vydáno: (2021-01-01)

Splitting Computation of Answer Set Program and Its Application on E-service
Autor: Bo Yang, a další
Vydáno: (2011-10-01)

Symmetry−breaking answer set solving
Autor: Drescher, C, a další
Vydáno: (2011)

Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming
Autor: Rodrigo Martin, a další
Vydáno: (2019-07-01)

Modulo-N equalizer
Autor: 383014 Halim Abd. Aziz
Vydáno: (1977)

Equidistribution Modulo 1
Autor: Wiem Gadri
Vydáno: (2021-01-01)

Efficient Modulo Multiplier
Autor: Rekib U. Ahmed, a další
Vydáno: (2023-06-01)

Modulo Sampling of FRI Signals
Autor: Satish Mulleti, a další
Vydáno: (2024-01-01)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
Autor: Lukasiewicz, T
Vydáno: (2010)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Autor: Lukasiewicz, T
Vydáno: (2008)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
Autor: Lukasiewicz, T
Vydáno: (2007)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Autor: Lukasiewicz, T
Vydáno: (2006)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
Autor: Lukasiewicz, T
Vydáno: (2010)

Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming
Autor: Louis Fippo Fitime, a další
Vydáno: (2017-07-01)

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
Autor: Martin Gebser, a další
Vydáno: (2011-08-01)

Some Classes of Soft Functions Defined by Soft Open Sets Modulo Soft Sets of the First Category
Autor: Zanyar A. Ameen, a další
Vydáno: (2023-10-01)

C-compactness modulo an ideal
Autor: M. K. Gupta, a další
Vydáno: (2006-01-01)

Aggregation of student answers in a classroom setting
Autor: Smith, Amanda C
Vydáno: (2008)

Módulo Python para Matemática Intervalar
Autor: P.S. Grigoletti, a další
Vydáno: (2007-06-01)

Fact-Checking Reasoning System for Fake Review Detection Using Answer Set Programming
Autor: Nour Jnoub, a další
Vydáno: (2021-06-01)

Predicting weighted unobserved nodes in a regulatory network using answer set programming
Autor: Sophie Le Bars, a další
Vydáno: (2023-08-01)

Fast Error Propagation Probability Estimates by Answer Set Programming and Approximate Model Counting
Autor: Anselm Breitenreiter, a další
Vydáno: (2022-01-01)

Módulos de entrenamiento para la medición y adquisición de datos (módulo de visión)
Autor: V. Moncada, a další
Vydáno: (2009-12-01)