Sciweavers

1614 search results - page 139 / 323
» Planning as Temporal Reasoning
Sort
View
ATAL
2011
Springer
14 years 6 months ago
Reasoning about local properties in modal logic
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
AAMAS
2004
Springer
15 years 6 months ago
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
Mark d'Inverno, Michael Luck, Michael P. Georgeff,...
WWW
2004
ACM
16 years 7 months ago
An agent system reasoning about the web and the user
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
Giovambattista Ianni, Francesco Ricca, Francesco C...
E2EMON
2006
IEEE
16 years 16 days ago
Tuning the Temporal Characteristics of a Kalman-Filter Method for End-to-End Bandwidth Estimation
—In this paper we present a way of tuning the temporal characteristics of a new available-bandwidth estimation method, BART. The estimation engine in this method is Kalman-filter...
Erik Hartikainen, Svante Ekelin
ECSQARU
2005
Springer
16 years 13 hour ago
A Local Fusion Method of Temporal Information
Information often comes from different sources and merging these sources usually leads to apparition of inconsistencies. Fusion is the operation which consists in restoring the co...
Mahat Khelfallah, Belaid Benhamou