344 search results - page 37 / 69 » Mathematical Programming Embeddings of Logic |
HASE
2005
IEEE
14 years 3 months ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
LANMR
2004
13 years 11 months ago
2004
In this paper some theoretical results in ASP are discussed in the context of application development. An application of ASP in collaborative learning is presented as a motivation....
IJCAI
1993
13 years 11 months ago
1993
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
JTRES
2010
ACM
13 years 10 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
LISP
2006
13 years 9 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...