740 search results - page 101 / 148 » Open Answer Set Programming with Guarded Programs |
LPKR
1997
Springer
14 years 3 days ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
ESEM
2009
ACM
13 years 11 months ago
2009
ACM
The goal of this work is to visualize inheritance in objectoriented programs to help its comprehension. We propose a single, compact view of all class hierarchies at once using a ...
VLDB
2002
ACM
13 years 7 months ago
2002
ACM
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
TLDI
2005
ACM
14 years 1 months ago
2005
ACM
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
EUROPAR
2007
Springer
14 years 2 months ago
2007
Springer
Periscope is a distributed automatic online performance analysis system for large scale parallel systems. It consists of a set of analysis agents distributed on the parallel machin...