741 search results - page 39 / 149 » A Local System for Classical Logic |
DLOG
1998
13 years 9 months ago
1998
Abstract We address the problem of indexing broadcast audiovisual documents (such as films, news). Starting from a collection of so-called shots, we aim at building automatically h...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relationa...
PPDP
2001
Springer
14 years 1 days ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
ISCI
2007
13 years 7 months ago
2007
act 11 Recommender systems anticipate users’ needs by suggesting items that are likely to interest them. Most existing systems 12 employ collaborative filtering (CF) techniques,...
SLOGICA
2008
13 years 7 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...