46 search results - page 4 / 10 » On Decidability and Expressiveness of Propositional Interval... |
108
Voted
JSYML
2002
15 years 21 days ago
2002
A propositional system of modal logic is second-order if it contains quantifiers p and p, which, in the standard interpretation, are construed as ranging over sets of possible worl...
116
Voted
LOGCOM
2007
15 years 28 days ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
124
Voted
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with i...
123
Voted
AIML
2008
15 years 2 months ago
2008
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arb...
115
Voted
AI
2008
Springer
15 years 1 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...