3624 search results - page 673 / 725 » Abstract Algebraic Logic |
124
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
116
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
124
click to vote
ISTA
2008
15 years 4 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
IWEC
2007
15 years 4 months ago
2007
Abstract. We are exploring an application for a novel direction in humancomputer interaction named ‘cultural computing’, which aims to provide a new medium for cultural transla...
101
click to vote
CLIMA
2004
15 years 4 months ago
2004
Abstract. This paper deals with the issue of learning in multi-agent systems (MAS). Particularly, we are interested in BDI (Belief, Desire, Intention) agents. Despite the relevance...