2214 search results - page 128 / 443 » Complexity of Reasoning |
138
click to vote
CIA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper introduces a formal method to aggregate over basic beliefs, in order to deduce aggregated or complex beliefs as often used in applications. Complex beliefs can...
122
Voted
AUTOMATICA
2005
15 years 3 months ago
2005
The links between identification and control are examined. The main trends in this research area are summarized, with particular focus on the design of low complexity controllers ...
134
click to vote
ENTCS
2002
15 years 3 months ago
2002
The need to model systems and their different aspects leads to research and development of models which support all views of a system. The growing complexity of the software impos...
136
Voted
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
138
click to vote
CSL
2009
Springer
15 years 7 months ago
2009
Springer
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...