3468 search results - page 224 / 694 » An open logical framework |
168
click to vote
AUSAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
166
click to vote
ICCS
2007
Springer
16 years 23 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 6 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 4 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...
193
click to vote
PADL
2005
Springer
16 years 2 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...