7988 search results - page 275 / 1598 » A Useful Undecidable Theory |
154
click to vote
ENTCS
2006
15 years 5 months ago
2006
Organizational models have been recently used in agent theory for modeling coordination in open systems and to ensure social order in multi-agent system applications. In this pape...
134
click to vote
AMAI
2002
Springer
15 years 5 months ago
2002
Springer
Probabilistic argumentation systems are based on assumption-based reasoning for obtaining arguments supporting hypotheses and on probability theory to compute probabilities of sup...
145
click to vote
DLOG
2010
15 years 3 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
139
click to vote
EUSFLAT
2009
15 years 3 months ago
2009
- In Evidence theory, several conditioning rules for updating belief have been proposed, including Dempster's rule of conditioning. The paper views the conditioning rules prop...
173
click to vote
IANDC
2010
15 years 2 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...