774 search results - page 122 / 155 » Experiments with an Agent-Oriented Reasoning System |
GPCE
2009
Springer
14 years 14 days ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
AGENTS
2001
Springer
14 years 11 days ago
2001
Springer
The development of the semantic Web will require agents to use common domain ontologies to facilitate communication of conceptual knowledge. However, the proliferation of domain on...
KBSE
2000
IEEE
14 years 7 days ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
IPPS
1999
IEEE
14 years 4 days ago
1999
IEEE
The availability of high speed networks and improved microprocessor performance have made it possible to build inexpensive cluster of workstations as an appealing platform for par...
SPAA
1998
ACM
14 years 2 days ago
1998
ACM
We present parallel algorithms for union, intersection and difference on ordered sets using random balanced binary trees (treaps [26]). For two sets of size n and m (m ≤ n) the...