279 search results - page 25 / 56 » Rewriting Logic Semantics of a Plan Execution Language |
163
click to vote
AAMAS
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...
168
click to vote
CSI
2007
15 years 4 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
238
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
105
Voted
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
141
click to vote
FOIS
2006
15 years 5 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...