3994 search results - page 455 / 799 » A Linear Logical Framework |
199
click to vote
ISDA
2005
IEEE
16 years 1 months 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....
213
click to vote
CONCUR
2004
Springer
16 years 28 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 ...
190
click to vote
KI
2004
Springer
16 years 27 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...
222
click to vote
RSCTC
2004
Springer
16 years 26 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...
199
click to vote
ASP
2003
Springer
16 years 23 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...