2022 search results - page 266 / 405 » Complexity of Non-Monotonic Logics |
179
click to vote
CSCLP
2005
Springer
15 years 12 months ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
167
click to vote
DALT
2005
Springer
15 years 12 months ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
154
click to vote
HYBRID
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Motivated by three applications which are under investigation at the Honeywell Research Laboratory in Minneapolis, we introduce a class of large scale control problems. I...
140
click to vote
ICCSA
2005
Springer
15 years 12 months ago
2005
Springer
Recently, Nenadi´c et al. (2004) proposed the RSA-CEGD protocol for certified delivery of e-goods. This is a relatively complex scheme based on verifiable and recoverable encryp...
161
click to vote
ILP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...