Sciweavers

3179 search results - page 70 / 636
» Applications of PCF Theory
Sort
View
LPNMR
2005
Springer
14 years 2 months ago
Some Logical Properties of Nonmonotonic Causal Theories
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
Marek J. Sergot, Robert Craven
ADC
2003
Springer
128views Database» more  ADC 2003»
14 years 2 months ago
An algorithm for the induction of defeasible logic theories from databases
Defeasible logic is a non-monotonic logic with applications in rule-based domains such as law. To ease the development and improve the accuracy of expert systems based on defeasib...
Benjamin Johnston, Guido Governatori
ICALP
1997
Springer
14 years 29 days ago
The Theory of Vaccines
Despite the major role that modularity occupies in computer science, all the known results on modular analysis only treat particular problems, and there is no general unifying the...
Massimo Marchiori
CSE
2009
IEEE
14 years 3 days ago
Extended Dempster-Shafer Theory in Context Reasoning for Ubiquitous Computing Environments
—Context, the pieces of information that capture the characteristics of ubiquitous computing environment, is often imprecise and incomplete due to user mobility, unreliable wirel...
Daqiang Zhang, Jiannong Cao, Jingyu Zhou, Minyi Gu...
ECIS
2001
13 years 10 months ago
Structuration Theory and Information System Development - Frameworks for Practice
Giddens' structuration theory (ST) offers an account of social life in terms of social practices developing and changing over time and space, which makes no attempt to direct...
Jeremy Rose, Rens Scheepers