2490 search results - page 188 / 498 » Complexity of Contextual Reasoning |
150
click to vote
ICAIL
2005
ACM
15 years 10 months ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
136
Voted
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
145
click to vote
ICCBR
2005
Springer
2005
Springer
Evaluating the Effectiveness of Exploration and Accumulated Experience in Automatic Case Elicitation
15 years 10 months ago
Non-learning problem solvers have been applied to many interesting and complex domains. Experience-based learning techniques have been developed to augment the capabilities of cert...
164
click to vote
DALT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
150
click to vote
ICLP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...