5499 search results - page 230 / 1100 » Generalized Rewrite Theories |
201
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
155
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
185
click to vote
TEI
2010
ACM
16 years 2 months ago
2010
ACM
I present a card brainstorming exercise that transforms a conceptual tangible interaction framework into a tool for creative dialogue and discuss the experiences made in using it....
205
click to vote
TEI
2010
ACM
16 years 2 months ago
2010
ACM
This paper summarises the author’s PhD research on the representation and control of time in tangible user interfaces. The aim of the research is to create a theoretical framewo...
178
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...