2599 search results - page 451 / 520 » An Operational Semantics for Knowledge Bases |
PPOPP
2010
ACM
15 years 7 months ago
2010
ACM
Drawing inspiration from several previous projects, we present an ownership-record-free software transactional memory (STM) system that combines extremely low overhead with unusua...
CCS
2005
ACM
15 years 3 months ago
2005
ACM
Vulnerabilities that allow worms to hijack the control flow of each host that they spread to are typically discovered months before the worm outbreak, but are also typically disc...
103
click to vote
ICLP
2004
Springer
15 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...
DBPL
1993
Springer
15 years 2 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...