4401 search results - page 451 / 881 » Computing with Default Logic |
140
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...
181
click to vote
ICIDS
2009
Springer
16 years 1 months ago
2009
Springer
The IRIS Network of Excellence (NoE) started its work in January 2009. In this paper we highlight some new research directions developing within the network: one is revisiting narr...
182
click to vote
TIME
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper, we present our work on creating a complete set of rules for temporal arithmetic mixing months and days based on the “history-dependent intuition”. Many examples...
191
click to vote
MEMBRANE
2004
Springer
16 years 6 days ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
165
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present some new decision and comparison problems of unusually high computational complexity. Most of the problems are strictly combinatorial in nature; others involve basic lo...