3358 search results - page 93 / 672 » Dynamic Description Logics |
ECOOP
1995
Springer
14 years 1 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
CADE
2002
Springer
14 years 10 months ago
2002
Springer
CADE
2008
Springer
13 years 12 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
TABLEAUX
2000
Springer
14 years 1 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...