1418 search results - page 112 / 284 » The Dynamic Complexity of Formal Languages |
108
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressi...
127
click to vote
JOLLI
2008
15 years 4 months ago
2008
Abstract. This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set p...
117
click to vote
TOSEM
2002
15 years 4 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
165
click to vote
NMR
2004
Springer
15 years 9 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
141
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...