9145 search results - page 402 / 1829 » Description Logic Systems |
234
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
150
click to vote
MLG
2007
Springer
16 years 29 days ago
2007
Springer
We introduce a framework for an empirical evaluation of probabilistic logic languages and systems.
193
click to vote
TCS
2008
15 years 6 months ago
2008
Reversible computing is a paradigm where computing models are so defined that they reflect physical reversibility, one of the fundamental microscopic physical property of Nature. ...
179
click to vote
VMCAI
2012
Springer
14 years 2 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
176
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
We introduce a technique to prove non-termination of term rewrite systems automatically. Our technique improves over previous approaches substantially, as it can also detect non-lo...