2106 search results - page 214 / 422 » Operational Semantics for DyLPs |
167
click to vote
ICANN
2009
Springer
16 years 1 months ago
2009
Springer
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
139
click to vote
SIGOPSE
2004
ACM
15 years 12 months ago
2004
ACM
Computer systems are complex and unforgiving. Users need environments more tolerant of errors, allowing them to correct mistakes and explore alternatives. This is the aim of Joyce...
139
click to vote
AOSE
2004
Springer
15 years 12 months ago
2004
Springer
In the paper we study the dynamics of roles played by agents in multiagent systems. We capture role dynamics in terms of four operation performed by agents: ‘enactment’, ‘dea...
142
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
163
click to vote
ECSQARU
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...