6554 search results - page 1075 / 1311 » Constraint Logic Programming |
143
click to vote
CIA
2004
Springer
15 years 9 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
146
click to vote
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
Capturing and exploiting knowledge is at the heart of several important problems such as decision making, the semantic web, and intelligent agents. The captured knowledge must be a...
120
click to vote
SAT
2004
Springer
15 years 9 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
122
click to vote
ISCA
2003
IEEE
15 years 9 months ago
2003
IEEE
As quantum computing moves closer to reality the need for basic architectural studies becomes more pressing. Quantum wires, which transport quantum data, will be a fundamental com...
164
click to vote
AI
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...