540 search results - page 23 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
89
Voted
ACL
2009
14 years 10 months ago
2009
The use of figurative language is ubiquitous in natural language texts and it is a serious bottleneck in automatic text understanding. We address the problem of interpretation of ...
109
Voted
AI
2007
Springer
15 years 15 days ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...
LOPSTR
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
117
click to vote
ICTAI
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
SAT
2005
Springer
15 years 5 months ago
2005
Springer
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...