540 search results - page 49 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
127
Voted
DLOG
2003
15 years 1 months ago
2003
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
124
click to vote
COSIT
2007
Springer
15 years 4 months ago
2007
Springer
Consistent and flawless communication between humans and machines is the precondition for a computer to process instructions correctly. While machines use well-defined languages an...
94
Voted
IWEC
2004
15 years 1 months ago
2004
One of the major goals in the development of virtual environments in recent years has been to create more and more realistic scenery, characters and natural human forms of interact...
120
click to vote
CADE
2005
Springer
16 years 23 days ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
97
Voted
IJCAI
2007
15 years 1 months ago
2007
Few existing argumentation frameworks are designed to deal with probabilistic knowledge, and none are designed to represent possibilistic knowledge, making them unsuitable for man...