Within the last year
Within the past 3 years
1 - 5 of 5 articles
Local search techniques have attracted considerable interest in the artificial intelligence community since the development of GSAT and the min-conflicts heuristic for solving propositional satisfiability (SAT) problems and binary constraint satisfaction problems (CSPs) respectively. Newer...
In this paper we prove decidability of two kinds of branching time temporal logics. First we show that the non-local version of propositional PCTL * , in which truth values of atoms may depend on the branch of evaluation, is decidable. Then we use this result to establish decidability of various...
Events in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a temporal sequence of observations. The usual regular constructs (concatenation, etc.) are supplemented with superposition, inducing a useful notion of entailment,...
In this paper, we propose a new logical approach to represent and to reason about different time granularities. We identify a time granularity as an infinite sequence of time points properly labelled with proposition symbols marking the starting and ending points of the corresponding granules,...
A well-known problem of temporal databases is that the amount of stored data tends to increase very fast. Moreover, detailed data are useful when they are acquired but they often become less relevant after some time. In most cases, after a period of time only summarized data need to be kept,...
Read and print from thousands of top scholarly journals.
Sign up with Facebook
Sign up with Google
Already have an account? Log in
Save this article to read later. You can see your Read Later on your DeepDyve homepage.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.