2381 search results - page 15 / 477 » On Ordering Descriptions in a Description Logic |
EUSFLAT
2009
14 years 9 months ago
2009
104
click to vote
DLOG
1998
15 years 1 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 ...
CADE
2006
Springer
15 years 3 months ago
2006
Springer
DLOG
2009
14 years 9 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...
101
click to vote
APN
2001
Springer
15 years 3 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...