875 search results - page 109 / 175 » Reasoning about Knowledge and Continuity |
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
DEXAW
2008
IEEE
15 years 4 months ago
2008
IEEE
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
Many real–world information needs are naturally formulated as queries with temporal constraints. However, the structured temporal background information needed to support such c...
IAT
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper describes a new agent framework that fuses an HTN planner, through its underlying conceptual model, with the mental attitudes of the BDI agent architecture, thus exploi...
ISCAS
2007
IEEE
15 years 4 months ago
2007
IEEE
— I/Q imbalance has been identified as one of the most serious concerns in the practical implementation of the direct conversion receiver architecture. Facing the performance-de...