Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds

Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds

Simple Temporal Networks with Uncertainty (STNUs) provide a useful formalism with which to reason about events and the temporal constraints that apply to them. STNUs are in particular notable because they facilitate reasoning over stochastic, or uncontrollable, actions and their corresponding durati...

Descrizione completa

Dettagli Bibliografici
Autori principali:	Bhargava, Nikhil, Williams, Brian C.
Natura:	Articolo
Lingua:	en_US
Pubblicazione:	International Joint Conference in Artificial Intelligence 2019
Soggetti:	temporal reasoning scheduling
Accesso online:	https://hdl.handle.net/1721.1/121993

Documenti analoghi

Delay Controllability: Multi-Agent Coordination under Communication Delay
di: Bhargava, Nikhil, et al.
Pubblicazione: (2018)

Bucket Elimination Algorithm for Dynamic Controllability Checking of Simple Temporal Networks with Uncertainty
di: Zhang, Yuening
Pubblicazione: (2021)

Coordinating Agile Systems through the Model-based Execution of Temporal Plans
di: Leaute, Thomas
Pubblicazione: (2006)

Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty
di: Bhargava, Nikhil, et al.
Pubblicazione: (2020)

Temporal bone imaging /
di: Hoeffner, Ellen G.
Pubblicazione: (2008)

Temporal bone dissection guide /
di: Francis, Howard W., et al.
Pubblicazione: (♭201)

Flexible Execution of Plans with Choice and Uncertainty
di: Conrad, Patrick R, et al.
Pubblicazione: (2011)

Maintaining knowledge about temporal intervals /
di: 299782 Allen, James F.

Temporal databases : theory, design, and implementation /
di: Tansel, Abdullah Uz
Pubblicazione: (1993)

tBurton: A Divide and Conquer Temporal Planner
di: Wang, David, et al.
Pubblicazione: (2014)

Temporal pattern mining in dynamic environments /
di: 348003 Lattner, Andreas D.
Pubblicazione: (2007)

A temporal reasoning expert system for job shop scheduling /
di: Mohamed Khalil Mohd. Hani 608642, et al.

Temporal and spatio-temporal data mining /
di: 252721 Hsu, Wynne, et al.
Pubblicazione: (2008)

Functional Abstraction From Structure in VLSI Simulation Models
di: Lathrop, Richard H., et al.
Pubblicazione: (2004)

Mixed integer programming (MIP) model for production scheduling in an automotive part company /
di: Aisyah Nabilah Kamaruddin, 1987-, et al.
Pubblicazione: (2010)

Generative Temporal Planning with Complex Processes
di: Kennell, Jonathan
Pubblicazione: (2005)

Generative Temporal Planning with Complex Processes
di: Kennell, Jonathan
Pubblicazione: (2004)

Mixed integer programming (MIP) model for production scheduling in an automotive part company [electronic resource] /
di: Aisyah Nabilah Kamaruddin, 1987-, et al.
Pubblicazione: (2011)

A shift in time: music and temporality in 1913 Paris
di: Davies, EA
Pubblicazione: (2020)

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming
di: Zhu, Hongwei, et al.
Pubblicazione: (2004)

Feature Adaptation Using Linear Spectro-Temporal Transform for Robust Speech Recognition
di: Nguyen, Duc Hoang Ha, et al.
Pubblicazione: (2016)

Mesial Temporal Lobe Epilepsy as a Common but Elusive Case: A Case Report
di: Darren Junior, et al.
Pubblicazione: (2025-01-01)

Faster construction projects with CPM scheduling /
di: 341438 Woolf, Murray B.
Pubblicazione: (2007)

REFERENCIA TEMPORAL EN EL CEREBRO: UNA REVISIÓN CRÍTICA DE LAS CONTRIBUCIONES DE LA NEUROECONOMÍA AL ESTUDIO DE LA ELECCIÓN INTERTEMPORAL
di: René San Martín, et al.
Pubblicazione: (2012-01-01)

Spatio-temporal databases : the CHOROCHRONOS approach /
di: Koubarakis, Manolis
Pubblicazione: (2003)

Are We There Yet? User-Centered Temporal Awareness
di: Adcock, Matt, et al.
Pubblicazione: (2010)

Multi-Building Energy Forecasting Through Weather-Integrated Temporal Graph Neural Networks
di: Samuel Moveh, et al.
Pubblicazione: (2025-03-01)

El control y la gestión de la incapacidad temporal
di: Guillermo Rodríguez Iniesta
Pubblicazione: (2023-03-01)

Anyone who has a view : theoretical contributions to the study of argumentation /
di: Eemeren, F. H. van
Pubblicazione: (2003)

Methods of argumentation /
di: Walton, Douglas N., author
Pubblicazione: (2013)

Reasoning and its Applications /
di: Yoon, Jolyn, author 648091
Pubblicazione: (2012)

Al-istidial /
di: Ya'qubi, Mahmud
Pubblicazione: (2009)

How to win an argument /
di: 368679 Gilbert, Michael A.
Pubblicazione: (1996)

The informed argument : a multidisciplinary readar and guide /
di: 287554 Miller, Robert K.
Pubblicazione: (1986)

Practical reasoning in natural language /
di: 287561 Thomas, Stephen Naylor
Pubblicazione: (1986)

An introduction to reasoning /
di: 371318 Toulmin, Stephen Edelston, et al.

The theory of timed I/O automata /
di: Kaynar, Dilsun K.
Pubblicazione: (2006)

Effective Data Integration in the Presence of Temporal Semantic Conflicts
di: Zhu, Hongwei, et al.
Pubblicazione: (2004)

Multistage spatio-temporal networks for robust sketch recognition
di: Li, Hanhui, et al.
Pubblicazione: (2022)

Vegetation land segmentation with multi-modal and multi-temporal remote sensing images: a temporal learning approach and a new dataset
di: Qu, Fang, et al.
Pubblicazione: (2024)