Sciweavers

9145 search results - page 144 / 1829
» Description Logic Systems
Sort
View
162
Voted
RML
2002
140views Business» more  RML 2002»
15 years 5 months ago
UML as knowledge acquisition frontend for Semantic Web configuration knowledge bases
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...
Alexander Felfernig, Gerhard Friedrich, Dietmar Ja...
CADE
1992
Springer
15 years 9 months ago
PVS: A Prototype Verification System
Sam Owre, John M. Rushby, Natarajan Shankar
CADE
1990
Springer
15 years 9 months ago
The TPS Theorem Proving System
Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank ...
FSKD
2006
Springer
121views Fuzzy Logic» more  FSKD 2006»
15 years 9 months ago
PWM Fuzzy Controller for Nonlinear Systems
Young Hoon Joo, Sung Ho Kim, Kwang-Baek Kim
CADE
2010
Springer
15 years 4 months ago
Verifying Safety Properties with the TLA+ Proof System
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport,...