2067 search results - page 156 / 414 » Logics of propositional control |
156
click to vote
KI
2010
Springer
14 years 8 months ago
2010
Springer
We present a framework for incorporating perception-induced beliefs into the knowledge base of a rational agent. Normally, the agent accepts the propositional content of perception...
103
click to vote
FUZZY
1999
Springer
15 years 6 months ago
1999
Springer
In this position paper we outline the architecture of a general-purpose indirect fuzzy engine for crop control. Some ways of exploiting previous work on a control system for single...
116
click to vote
ISSS
1997
IEEE
15 years 5 months ago
1997
IEEE
We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic Duration Calculus [13]. The synthesised controllers are given as PLC-Auto...
IJIS
2002
15 years 1 months ago
2002
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
119
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...