3353 search results - page 155 / 671 » Laver and set theory |
187
click to vote
COSIT
1999
Springer
15 years 10 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
159
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
177
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
We study perfectly locally computable structures, which are (possibly uncountable) structures S that have highly effective presentations of their local properties. We show that eve...
183
click to vote
LANMR
2004
15 years 7 months ago
2004
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitr...
102
click to vote
JCC
2008
15 years 6 months ago
2008
: Time-dependent coupled cluster theory, with unrestricted electron spins and full treatment of orbital rotation, is used to calculate polarizabilities at imaginary frequencies for...