4266 search results - page 508 / 854 » A Framework for Defining Logics |
183
Voted
ISDA
2005
IEEE
16 years 13 days ago
2005
IEEE
Intelligent behavior is the selection of actions based on knowledge. The design of the Fuzzy Adaptive Survivability Tool (FAST) agents and their intelligent behavior is explained....
192
click to vote
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
176
click to vote
KI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
204
Voted
RSCTC
2004
Springer
16 years 6 days ago
2004
Springer
We address the problem of rough applicability of rules within the framework of approximation spaces. The graded applicability of a rule for an object of an approximation space, int...
188
Voted
ASP
2003
Springer
16 years 2 days ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...