1438 search results - page 201 / 288 » An Expressive Extension of TLC |
181
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
179
click to vote
SAS
2005
Springer
15 years 12 months ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
156
click to vote
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
141
click to vote
DAS
2004
Springer
15 years 11 months ago
2004
Springer
Annotations on digital documents have clear advantages over annotations on paper. They can be archived, shared, searched, and easily manipulated. Freeform digital ink annotations a...
159
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...