11151 search results - page 2062 / 2231 » On the Complexity of Model Expansion |
114
Voted
GPCE
2004
Springer
15 years 6 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
106
click to vote
JELIA
2004
Springer
15 years 6 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
105
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
107
Voted
MFCS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
126
click to vote
MHCI
2004
Springer
15 years 6 months ago
2004
Springer
: The complex usage of mobile devices coupled with their limited resources in terms of display and processing suggests that being able to understand the context of the user would b...