7988 search results - page 275 / 1598 » A Useful Undecidable Theory |
112
Voted
ENTCS
2006
15 years 1 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...
94
Voted
AMAI
2002
Springer
15 years 29 days 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...
DLOG
2010
14 years 11 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 ...
99
Voted
EUSFLAT
2009
14 years 11 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...
137
Voted
IANDC
2010
14 years 10 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...