Search Sciweavers | Sciweavers

3028 search results - page 32 / 606

» Integrating Temporal Logics

click to vote

TIME
2003
IEEE

105views Automated Reasoning» more TIME 2003»

Temporal Queries in XML Document Archives and Web Warehouses

14 years 3 months ago

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo

claim paper

Read More »

click to vote

LFCS
2009
Springer

224views Artificial Intelligence» more LFCS 2009»

Temporalization of Probabilistic Propositional Logic

14 years 4 months ago

Download wslc.math.ist.utl.pt

In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...

Pedro Baltazar, Paulo Mateus

claim paper

Read More »

click to vote

IJCAI
1989

115views Artificial Intelligence» more IJCAI 1989»

The Logic of Time Structures: Temporal and Nonmonotonic Features

13 years 11 months ago

Download dli.iiit.ac.in

We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...

Mira Balaban, Neil V. Murray

claim paper

Read More »

click to vote

AI
2007
Springer

126views Artificial Intelligence» more AI 2007»

Axiomatic characterization of the AGM theory of belief revision in a temporal logic

13 years 10 months ago

Download www.econ.ucdavis.edu

Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propo...

Giacomo Bonanno

claim paper

Read More »

click to vote

JIIS
2002

85views more JIIS 2002»

Hypothetical Temporal Reasoning in Databases

13 years 9 months ago

Download www.cs.toronto.edu

In this paper we integrate a history

Marcelo Arenas, Leopoldo E. Bertossi

claim paper