4266 search results - page 228 / 854 » A Framework for Defining Logics |
169
click to vote
ICCS
2007
Springer
16 years 25 days ago
2007
Springer
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
203
click to vote
EEE
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategie...
161
click to vote
CP
2005
Springer
16 years 6 days ago
2005
Springer
The eplex library of the ECLi PSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming t...
196
click to vote
PADL
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
166
click to vote
PPSWR
2005
Springer
16 years 4 days ago
2005
Springer
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...