2214 search results - page 137 / 443 » Complexity of Reasoning |
137
Voted
ICAIL
2005
ACM
15 years 9 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...
128
Voted
ICCBR
2005
Springer
2005
Springer
Evaluating the Effectiveness of Exploration and Accumulated Experience in Automatic Case Elicitation
15 years 9 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...
146
Voted
DALT
2004
Springer
15 years 8 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...
138
Voted
ICLP
2004
Springer
15 years 8 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...
141
click to vote
ASP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...