2432 search results - page 78 / 487 » Cryptographic logical relations |
105
Voted
EATCS
2000
15 years 10 days ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
SLOGICA
2008
15 years 13 days ago
2008
Fuzzy logics are in most cases based on an ad-hoc decision about the interpretation of the conjunction. If they are useful or not can typically be found out only by testing them wi...
112
Voted
AI
1999
Springer
15 years 6 days ago
1999
Springer
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
287
Voted
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
118
Voted
AMAI
2007
Springer
15 years 20 days ago
2007
Springer
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...