Sciweavers

87 search results - page 10 / 18
» Approximate Qualitative Temporal Reasoning
Sort
View
CLIMA
2007
13 years 11 months ago
A Logic for Reasoning about Rational Agents
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...
Wojciech Jamroga, Nils Bulling
IJCAI
1989
13 years 11 months ago
Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...
Erik Sandewall
CONSTRAINTS
1998
112views more  CONSTRAINTS 1998»
13 years 9 months ago
Temporal Constraints: A Survey
Abstract. Temporal Constraint Satisfaction is an information technology useful for representing and answering queries about the times of events and the temporal relations between t...
Eddie Schwalb, Lluís Vila
HSNMC
2003
Springer
134views Multimedia» more  HSNMC 2003»
14 years 3 months ago
Analytical Approach and Verification of a DiffServ-Based Priority Service
The provision of Quality of Service (QoS) in a seamless way over the dominating internetworking protocol of our times (IP), has been a challenge for many researchers in the past ye...
Christos Bouras, Afrodite Sevasti
FUIN
2006
160views more  FUIN 2006»
13 years 9 months ago
Behavioral Pattern Identification Through Rough Set Modeling
This paper introduces an approach to behavioral pattern identification as a part of a study of temporal patterns in complex dynamical systems. Rough set theory introduced by Zdzisl...
Jan G. Bazan