884 search results - page 111 / 177 » A Proof Theory for DL-Lite |
107
click to vote
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
105
click to vote
ICTAI
2007
IEEE
15 years 6 months ago
2007
IEEE
The provision of embedding neural networks into software applications can enable variety of Artificial Intelligence systems for individual users as well as organizations. Previous...
ISCAS
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— MIMO channels and wireless communications systems have generated a great deal of renewed interest in linear system theory. This paper presents two results. The first i...
104
click to vote
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
BIRTHDAY
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the...