2530 search results - page 138 / 506 » Dynamic topological logic |
CA
2000
IEEE
14 years 2 months ago
2000
IEEE
There are limitations to the current BRep based “model then animate” paradigm when animating time-dependent (dynamic) objects. This paper describes an approach to modeling dyn...
ICLP
1998
Springer
14 years 2 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
JCP
2008
13 years 10 months ago
2008
Differentiated Services (DiffServ)-aware network potentially can provide the next generation platform for multimedia support in the Internet. In this work we look at improving band...
KI
2007
Springer
14 years 4 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
TABLEAUX
2005
Springer
14 years 3 months ago
2005
Springer
We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are simi...