5499 search results - page 226 / 1100 » Generalized Rewrite Theories |
169
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Semantic structures for belief revision are proposed. We start with one-stage revision structures that generalize the notion of choice function from rational choice theory. A corr...
211
click to vote
AIML
2006
15 years 8 months ago
2006
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...
194
click to vote
DGO
2006
15 years 8 months ago
2006
In this paper we summarize the progress of the Connecting to Congress project. General Terms Management, Performance, Human Factors, Theory. Keywords Information Technology, Congr...
159
click to vote
COLING
1994
15 years 8 months ago
1994
t This paper describes how recent linguistic results in explaining Japanese short and long distance scram hling (:an be directly incorporated into an existing principles-and-parame...
155
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
This paper aims to identify the missing links from theory of Genetic Algorithms (GAs) to application of GAs. Categories and Subject Descriptors: J.0 [Computer Applications]: Gener...