Sciweavers

108 search results - page 18 / 22
» Towards a Theory of Cooperative Problem Solving
Sort
View
JETAI
2007
131views more  JETAI 2007»
13 years 6 months ago
A computational architecture for heterogeneous reasoning
Reasoning, problem solving, indeed the general process of acquiring knowledge, is not an isolated, homogenous affair involving a one agent using a single form of representation, b...
Dave Barker-Plummer, John Etchemendy
AAAI
2008
13 years 9 months ago
A New Incomplete Method for CSP Inconsistency Checking
Checking CSP consistency is shown, in theory, to be an NP-complete problem. There is two families of methods for CSP consistency checking. The first family holds the complete meth...
Belaid Benhamou, Mohamed Réda Saïdi
CIKM
1994
Springer
13 years 10 months ago
A Semantics Approach for KQML - A General Purpose Communication Language for Software Agents
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...
Yannis Labrou, Timothy W. Finin
ECIS
2000
13 years 8 months ago
The Issue of Mutuality in ECR Adoption: A Case Study
The adoption of ECR has been slow in many regions, despite its many potential benefits to manufacturers, distributors and retailers within a supply chain through reduction of inven...
Sherah Kurnia, Robert B. Johnston
PKC
1999
Springer
115views Cryptology» more  PKC 1999»
13 years 11 months ago
Decision Oracles are Equivalent to Matching Oracles
One of the key directions in complexity theory which has also filtered through to cryptographic research, is the effort to classify related but seemingly distinct notions. Separa...
Helena Handschuh, Yiannis Tsiounis, Moti Yung