6794 search results - page 1095 / 1359 » Semantics of Visual Languages |
130
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
106
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL ...
126
Voted
KI
2007
Springer
15 years 10 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
128
Voted
KI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
149
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...