1948 search results - page 31 / 390 » Formalizing Mirror Theory |
KR
1992
Springer
15 years 3 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
118
click to vote
TYPES
1993
Springer
15 years 3 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
123
click to vote
AOSD
2010
ACM
15 years 6 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
ECP
1997
Springer
15 years 4 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
JILT
2000
14 years 11 months ago
2000
Recent twin decisions of the European Patent Office's Technical Board of Appeal have shifted its stance on software patents significantly. In this paper, I explore the backgr...