6598 search results - page 215 / 1320 » Graph Theory with Applications |
156
click to vote
IJCAI
1993
15 years 7 months ago
1993
The Dempster-Shafer theory gives a solid basis for reasoning applications characterized by uncertainty. A key feature of the theory is that propositions are represented as subsets...
145
click to vote
APAL
2010
15 years 6 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
153
click to vote
CONTEXT
2007
Springer
16 years 20 days ago
2007
Springer
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...
179
click to vote
HICSS
2006
IEEE
16 years 16 days ago
2006
IEEE
Swedish public administration is currently undergoing radical change towards dynamic models of governance relying on a high level of intergovernmental collaboration. This high lev...
159
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...