409 search results - page 73 / 82 » Semantics for a theory of defeasible reasoning |
209
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
159
click to vote
CCIA
2007
Springer
16 years 25 days ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
200
click to vote
IFSA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
167
click to vote
SIGCSE
2006
ACM
16 years 18 days ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
200
click to vote
IUI
2005
ACM
16 years 6 days ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...