233 search results - page 12 / 47 » Logic, Knowledge Representation, and Bayesian Decision Theor... |
157
click to vote
PKDD
2009
Springer
16 years 16 days ago
2009
Springer
Probabilistic logics have attracted a great deal of attention during the past few years. While logical languages have taken a central position in research on knowledge representati...
140
click to vote
ATAL
2007
Springer
16 years 5 days ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
153
click to vote
AMAI
2007
Springer
15 years 6 months ago
2007
Springer
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
178
click to vote
AAAI
2008
15 years 8 months ago
2008
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
154
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...