1950 search results - page 17 / 390 » Lambda-Free Logical Frameworks |
JUCS
2010
13 years 8 months ago
2010
: In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inc...
QSIC
2003
IEEE
14 years 3 months ago
2003
IEEE
Hypertext-based user interfaces have become attractive for many distributed applications today, but they do not reach the usability level of window-based UIs. Because of insuffici...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
ICLP
2004
Springer
14 years 3 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...