442 search results - page 62 / 89 » Knowledge Representation Using High-Level Non-monotonic Reas... |
231
Voted
CADE
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
119
Voted
CSL
2006
Springer
15 years 6 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
131
Voted
WLP
2000
Springer
15 years 6 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...
129
Voted
SAC
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
110
Voted
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
Knowledge representation in logics, even in the order-sorted logic that includes a sort hierarchy, tends to lose the conciseness and the nuances of natural language. If we could c...