232 search results - page 10 / 47 » Reflection principles in computational logic |
132
click to vote
BIRTHDAY
2000
Springer
15 years 7 months ago
2000
Springer
Niklaus Wirth is not only a master of language design but also a pioneer of compiler construction. For four decades he has refined his techniques for building simple, efficient an...
114
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
127
Voted
AAAI
2000
15 years 4 months ago
2000
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...
118
click to vote
WORDS
2002
IEEE
15 years 8 months ago
2002
IEEE
: The monolithic and inflexible nature of current middleware has made it difficult to deal with emerging technologies such as multimedia. Since these applications have timeliness c...
123
click to vote
STACS
2010
Springer
15 years 10 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...