2381 search results - page 15 / 477 » On Ordering Descriptions in a Description Logic |
121
click to vote
DLOG
1998
15 years 2 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
107
click to vote
DLOG
2009
14 years 11 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
116
click to vote
APN
2001
Springer
15 years 5 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...