English
Related papers

Related papers: Temporal Reasoning About Uncertain Worlds

200 papers

To date, most probabilistic reasoning systems have relied on a fixed belief network constructed at design time. The network is used by an application program as a representation of (in)dependencies in the domain. Probabilistic inference…

Artificial Intelligence · Computer Science 2013-03-25 Robert P. Goldman , John S. Breese

Temporal commonsense reasoning refers to the ability to understand the typical temporal context of phrases, actions, and events, and use it to reason over problems requiring such knowledge. This trait is essential in temporal natural…

Artificial Intelligence · Computer Science 2023-11-17 Georg Wenzel , Adam Jatowt

This paper presents a framework for the representation of uncertainty in the estimates for software design projects for use throughout the entire project lifecycle. The framework is flexible in order to accommodate uncertainty in the…

Software Engineering · Computer Science 2016-06-21 Andy M. Connor

We aim to mine temporal causal sequences that explain observed events (consequents) in time-series traces. Causal explanations of key events in a time-series has applications in design debugging, anomaly detection, planning, root-cause…

Machine Learning · Computer Science 2021-01-26 Antonio Anastasio Bruto da Costa , Pallab Dasgupta

The sheer scale of high-resolution raw data generated by simulation has motivated non-conventional approaches for data exploration referred as `immersive' and `in situ' query processing of the raw simulation data. Another step towards…

Databases · Computer Science 2015-08-25 Bernardo Gonçalves , Fabio Porto

It is unclear whether strong forecasting performance reflects genuine temporal understanding or the ability to reason under contextual and event-driven conditions. We introduce TemporalBench, a multi-domain benchmark designed to evaluate…

Artificial Intelligence · Computer Science 2026-02-17 Muyan Weng , Defu Cao , Wei Yang , Yashaswi Sharma , Yan Liu

The general use of subjective probabilities to model belief has been justified using many axiomatic schemes. For example, ?consistent betting behavior' arguments are well-known. To those not already convinced of the unique fitness and…

Artificial Intelligence · Computer Science 2013-03-25 Paul Snow

Verifying temporal compliance rules, such as a rule stating that an inquiry must be answered within a time limit, is a recurrent operation in the realm of business process compliance. In this setting, a typical use case is one where a…

Data Structures and Algorithms · Computer Science 2021-12-13 Adriano Augusto , Ahmed Awad , Marlon Dumas

Trust plays an important role in making collaborative decisions about service evaluation and service selection in pervasive computing. Context is a fundamental concept in pervasive systems, which is based on the interpretation of…

Cryptography and Security · Computer Science 2009-11-04 Negin Razavi , Amir Masoud Rahmani , Mehran Mohsenzadeh

Next-generation autonomous systems must execute complex tasks in uncertain environments. Active perception, where an autonomous agent selects actions to increase knowledge about the environment, has gained traction in recent years for…

Systems and Control · Computer Science 2019-05-10 Rafael Rodrigues da Silva , Vince Kurtz , Hai Lin

Probabilistic logic programs are logic programs where some facts hold with a specified probability. Here, we investigate these programs with a causal framework that allows counterfactual queries. Learning the program structure from…

Logic in Computer Science · Computer Science 2023-08-31 Kilian Rückschloß , Felix Weitkämper

We develop a novel framework that aims to create bridges between the computational social choice and the database management communities. This framework enriches the tasks currently supported in computational social choice with relational…

Databases · Computer Science 2018-05-14 Benny Kimelfeld , Phokion G. Kolaitis , Julia Stoyanovich

Machine learning models based on temporal point processes are the state of the art in a wide variety of applications involving discrete events in continuous time. However, these models lack the ability to answer counterfactual questions,…

Machine Learning · Computer Science 2022-05-23 Kimia Noorbakhsh , Manuel Gomez Rodriguez

Reachable set computation is an important tool for analyzing control systems. Simulating a control system can show general trends, but a formal tool like reachability analysis can provide guarantees of correctness. Reachability analysis for…

Systems and Control · Electrical Eng. & Systems 2025-05-07 Chelsea Sidrane , Jana Tumova

This thesis addresses the problem of providing trusted individuals with confidential information about other individuals, in particular, granting access to databases of personal records using the World-Wide Web. It proposes an access rights…

Cryptography and Security · Computer Science 2007-05-23 Walter Eaves

Temporal point process serves as an essential tool for modeling time-to-event data in continuous time space. Despite having massive amounts of event sequence data from various domains like social media, healthcare etc., real world…

Machine Learning · Computer Science 2022-10-04 Manisha Dubey , P. K. Srijith , Maunendra Sankar Desarkar

In temporal planning, many different temporal network formalisms are used to model real world situations. Each of these formalisms has different features which affect how easy it is to determine whether the underlying network of temporal…

Artificial Intelligence · Computer Science 2019-01-09 Nikhil Bhargava , Brian Williams

Due to the rapid development of science and technology, the importance of imprecise, noisy, and uncertain data is increasing at an exponential rate. Thus, mining patterns in uncertain databases have drawn the attention of researchers.…

Large knowledge bases (KBs) are useful in many tasks, but it is unclear how to integrate this sort of knowledge into "deep" gradient-based learning systems. To address this problem, we describe a probabilistic deductive database, called…

Artificial Intelligence · Computer Science 2016-07-21 William W. Cohen

Temporal validity is an important property of text that is useful for many downstream applications, such as recommender systems, conversational AI, or story understanding. Existing benchmarking tasks often require models to identify the…

Computation and Language · Computer Science 2024-01-02 Georg Wenzel , Adam Jatowt