Sciweavers

3844 search results - page 377 / 769
» Modular interpreted systems
Sort
View
143
Voted
SCAI
2008
15 years 6 months ago
CBR for Advice Giving in a Data-Intensive Environment
Reusing past experiences by reasoning from past cases poses particular problems when the input to case retrieval comes from large amounts of online data. Volve has developed a syst...
Agnar Aamodt
145
Voted
FLAIRS
2006
15 years 6 months ago
Resolving Noun Compounds with Multi-Use Domain Knowledge
In this paper we describe a system for semantic interpretation of noun compounds that relies on world and domain knowledge from a knowledge base. This architecture combines domain...
Alicia Tribble, Scott E. Fahlman
CASCON
2001
115views Education» more  CASCON 2001»
15 years 6 months ago
Lightweight reasoning about program correctness
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
Marsha Chechik, Wei Ding
168
Voted
ICMAS
1998
15 years 6 months ago
Probabilistic Reasoning in a Distributed Multi-Agent Environment
In this paper, a model is proposed for multi-agent probabilistic reasoning in a distributed environment. Unlike other methods, this model is capable of processing input in a truly...
S. K. Michael Wong, Cory J. Butz
ICMAS
2000
15 years 6 months ago
Computationally Grounded Theories of Agency
In this paper, I motivate, define, and illustrate the notion of computationally grounded theories of agency. A theory of agency is said to be computationally grounded if we can gi...
Michael Wooldridge