3468 search results - page 143 / 694 » An open logical framework |
120
Voted
ACMMSP
2006
ACM
15 years 6 months ago
2006
ACM
Open nesting provides a loophole in the strict model of atomic transactions. Moss and Hosking suggested adapting open nesting for transactional memory, and Moss and a group at Sta...
211
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
94
Voted
CE
2007
15 years 19 days ago
2007
This paper argues that the internet is built around key technology design features of openness, robustness and decentralisation. These design features have transformed into social...
106
Voted
DLOG
2004
15 years 2 months ago
2004
Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that...
79
Voted
ENTCS
2008
15 years 27 days ago
2008
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion...