4617 search results - page 738 / 924 » Automation of Diagrammatic Reasoning |
204
click to vote
CSL
2003
Springer
16 years 10 days ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
175
Voted
CSL
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. We study the succinctness of monadic second-order logic and a variety of monadic fixed point logics on trees. All these languages are known to have the same expressive p...
158
click to vote
ECSQARU
2003
Springer
16 years 10 days ago
2003
Springer
New standards in document representation, like for example SGML, XML, and MPEG-7, compel Information Retrieval to design and implement models and tools to index, retrieve and prese...
159
click to vote
ECSQARU
2003
Springer
16 years 10 days ago
2003
Springer
While AGM belief revision identifies belief states with sets of formulas, proposals for iterated revision are usually based on more complex belief states. In this paper we investi...
183
click to vote
ECSQARU
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. Binary join trees have been a popular structure to compute the impact of multiple belief functions initially assigned to nodes of trees or networks. Shenoy has proposed t...