1737 search results - page 225 / 348 » On Interpolation in Existence Logics |
169
click to vote
CSAC
2004
15 years 7 months ago
2004
CoMex (Coordination Mechanism) is a system to coordinate the execution of tasks accessing coordinable entities. It uses coordination rules to describe the temporal and logical orde...
193
click to vote
CLIMA
2006
15 years 7 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
170
click to vote
EJC
2006
15 years 7 months ago
2006
With development of knowledge bases (KB) there appeared expert systems that use KBs to support them in decision making process. Decision Support Systems, that are the subject of th...
166
click to vote
ICHIM
2001
15 years 7 months ago
2001
The issues of digital preservation of shapes and internal structures of historical and cultural objects are discussed. An overview of existing approaches to computer modeling of s...
183
click to vote
IJCAI
2001
15 years 7 months ago
2001
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...