Sciweavers

5290 search results - page 477 / 1058
» Knowledge Processing in Intelligent Systems
Sort
View
184
Voted
RAS
1998
81views more  RAS 1998»
15 years 6 months ago
Towards a theory of delegation for agent-based systems
In this paper a theory of delegation is presented. There are at least three reasons for developing such a theory. First, one of the most relevant notions of "agent" is b...
Cristiano Castelfranchi, Rino Falcone
AAAI
1996
15 years 8 months ago
Comet: An Application of Model-Based Reasoning to Accounting Systems
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...
Robert Nado, Melanie Chams, Jeff Delisio, Walter H...
155
Voted
SYNASC
2007
IEEE
105views Algorithms» more  SYNASC 2007»
16 years 1 months ago
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
Adrian Craciun, Madalina Hodorog
ATAL
1997
Springer
15 years 11 months ago
Toward the Specification and Design of Industrial Synthetic Ecosystems
Many agent-based systems rely for their effectiveness on the intelligence of individual agents, and interaction among agents is required simply to coordinate these individually com...
H. Van Dyke Parunak, John A. Sauter, Steve Clark
EDBT
2009
ACM
92views Database» more  EDBT 2009»
16 years 1 months ago
NNexus: an automatic linker for collaborative web-based corpora
—In this paper, we introduce NNexus, a generalization of the automatic linking engine of Noosphere (at PlanetMath.org) and the first system that automates the process of linking...
James J. Gardner, Aaron Krowne, Li Xiong