540 search results - page 65 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
103
click to vote
LANMR
2007
15 years 1 months ago
2007
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...
94
Voted
ENTCS
2002
15 years 9 days ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
100
click to vote
KI
2010
Springer
14 years 11 months ago
2010
Springer
The key task in probabilistic reasoning is to appropriately update one’s beliefs as one obtains new information in the form of evidence. In many application settings, however, th...
121
click to vote
KCAP
2009
ACM
15 years 7 months ago
2009
ACM
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...
191
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...