551 search results - page 65 / 111 » {log}: A Logic Programming Language with Finite Sets |
113
click to vote
COMMA
2006
15 years 4 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
128
Voted
JAPLL
2010
14 years 10 months ago
2010
The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this p...
114
Voted
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
136
click to vote
GPCE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
124
click to vote
TROB
2002
15 years 2 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...