3994 search results - page 235 / 799 » A Linear Logical Framework |
193
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
167
click to vote
DLOG
2010
15 years 4 months ago
2010
Abstract. Ontologies undergo changes for reasons such as changes in knowledge, meeting varying application requirements. Thus, for different versions of a considered ontology, it i...
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...
167
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 7 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...