4401 search results - page 222 / 881 » Computing with Default Logic |
135
click to vote
FUIN
2010
15 years 3 months ago
2010
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
172
click to vote
CLEIEJ
2010
15 years 2 months ago
2010
Logic programming is one of the most important subjects for students pursuing a degree in Information Technology and Communication (ITC) at higher education institutions. Teaching ...
167
click to vote
AI
2011
Springer
15 years 8 days ago
2011
Springer
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example ...
171
click to vote
BIRTHDAY
2009
Springer
16 years 10 hour ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
163
click to vote
HUMO
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we introduce a first-order probabilistic model that combines multiple cues to classify human activities from video data accurately and robustly. Our system works in...