2067 search results - page 121 / 414 » Logics of propositional control |
148
Voted
AUSAI
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...
125
click to vote
WLP
2000
Springer
15 years 5 months ago
2000
Springer
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
119
click to vote
HYBRID
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
120
Voted
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
98
Voted
IPMU
2010
Springer
15 years 8 days ago
2010
Springer
Controlled Query Evaluation (CQE) is a logical framework for the protection of secrets in databases. In this article, we extend the CQE framework to possibilistic logic: knowledge ...