1948 search results - page 31 / 390 » Formalizing Mirror Theory |
KR
1992
Springer
14 years 22 days 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...
TYPES
1993
Springer
14 years 22 days 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...
AOSD
2010
ACM
14 years 3 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
14 years 25 days 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
13 years 8 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...