6016 search results - page 969 / 1204 » The semantics of graphical languages |
170
click to vote
KI
2007
Springer
16 years 25 days 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...
167
click to vote
KI
2007
Springer
16 years 25 days 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...
194
click to vote
LPAR
2007
Springer
16 years 25 days 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...
172
click to vote
NLDB
2007
Springer
16 years 24 days ago
2007
Springer
This paper discusses the recognition of textual entailment in a text-hypothesis pair by applying a wide variety of lexical measures. We consider that the entailment phenomenon can ...
165
click to vote
SEMWEB
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Business Intelligence (BI) requires the acquisition and aggregation of key pieces of knowledge from multiple sources in order to provide valuable information to customers...