857 search results - page 41 / 172 » A Logic of Emotions for Intelligent Agents |
135
click to vote
DALT
2007
Springer
15 years 8 months ago
2007
Springer
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows ho...
100
click to vote
IAT
2008
IEEE
15 years 8 months ago
2008
IEEE
In this work we introduce the first steps towards the definition of an answer set semantics for residuated logic programs with negation.
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
145
click to vote
DALT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
