1676 search results - page 268 / 336 » Formal System Development with KIV |
166
click to vote
ICLP
2004
Springer
15 years 9 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...
149
click to vote
WADT
1999
Springer
15 years 8 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
144
click to vote
ECAI
1998
Springer
15 years 8 months ago
1998
Springer
Many kinds of knowledge-based system would be easier to develop and maintain if domain experts (as opposed to knowledge engineers) were in a position to define and edit the knowled...
259
click to vote
CP
2009
Springer
16 years 4 months ago
2009
Springer
This paper presents a new way of formalizing the Coalition Structure Generation problem (CSG), so that we can apply constraint optimization techniques to it. Forming effective coal...
143
click to vote
SSR
2001
15 years 5 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...