540 search results - page 30 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
110
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
101
Voted
JELIA
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
154
Voted
AAAI
2011
14 years 12 days ago
2011
Inspired by “GoogleTM Sets” and Bayesian sets, we consider the problem of retrieving complex objects and relations among them, i.e., ground atoms from a logical concept, given...
199
Voted
LACL
2011
Springer
14 years 3 months ago
2011
Springer
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...
74
Voted
ENTCS
2007
15 years 11 days ago
2007
Often debates about pros and cons of various techniques for formalising lambda-calculi rely on subjective arguments, such as de Bruijn indices are hard to read for humans or nomin...