1032 search results - page 99 / 207 » Extended Computation Tree Logic |
FOIKS
2008
Springer
14 years 11 months ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
SIGGRAPH
1996
ACM
15 years 2 months ago
1996
ACM
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
My paper discusses system consequence, which is a central idea in the project to lift the theory of information flow to the general level of universal logic and the theory of ins...
FCT
2005
Springer
15 years 3 months ago
2005
Springer
We show that a slightly extended version of asynchronous cellular automata, relative to any class of pomsets and dags without autoconcurrency, has the same expressive power as the ...
108
click to vote
COSIT
1999
Springer
15 years 2 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...