9145 search results - page 62 / 1829 » Description Logic Systems |
103
Voted
ISCIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
117
Voted
RTAS
2009
IEEE
15 years 7 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
137
Voted
DATESO
2006
15 years 1 months ago
2006
Recently XML is the standard format used for the exchange of data between information systems and is also frequently applied as a logical database model. If we use XML as a logical...
126
click to vote
DLOG
2003
15 years 1 months ago
2003
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
127
Voted
TABLEAUX
2000
Springer
15 years 4 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...