Sciweavers

86 search results - page 5 / 18
» Evolving Logic Programming Based Agents with Temporal Operat...
Sort
View
94
Voted
ECAI
2010
Springer
14 years 10 months ago
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
Jens Claßen, Gerhard Lakemeyer
CLIMA
2007
14 years 11 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas
ISMIS
1994
Springer
15 years 1 months ago
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jo...
EUSFLAT
2009
125views Fuzzy Logic» more  EUSFLAT 2009»
14 years 7 months ago
A Dynamic Classification Method for the Discrimination of Evolving Data
Classes issued of evolving systems are dynamic and their characteristics vary over the time. Assigning a pattern to a class is achieved using a classifier. Therefore, the classifie...
Laurent Hartert, Moamar Sayed Mouchaweh, Patrice B...
ATAL
2005
Springer
15 years 3 months ago
A logic for strategic reasoning
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
Wiebe van der Hoek, Wojciech Jamroga, Michael Wool...