2728 search results - page 110 / 546 » Ideologies and Their Points of View |
174
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...
124
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
We present a learning algorithm for nominal data. It builds a classifier by adding iteratively a simple patch function that modifies the current classifier. Its main advantage lies...
178
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
196
click to vote
AIMSA
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we want to handle multiple interleaved Alldiff constraints from two points of view: a uniform propagation framework with some CSP reduction rules and a SAT encoding ...
163
click to vote
CSSW
2007
15 years 8 months ago
2007
: Enhancing Wikipedia by means of semantic representations seems to be a promising issue. From a formal or technical point of view there are no major obstacles in the way. Neverthe...