3385 search results - page 436 / 677 » Language, Logic, and the Brain |
163
click to vote
EUROSSC
2007
Springer
16 years 24 days ago
2007
Springer
Context-aware applications require context information to adapt their behaviour to the current situation. When developing context-aware applications, application developers need to...
194
click to vote
LFCS
2007
Springer
16 years 23 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
194
click to vote
LPNMR
2007
Springer
16 years 23 days ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
180
click to vote
SAC
2006
ACM
16 years 17 days ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
219
click to vote
DALT
2005
Springer
16 years 5 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...