3658 search results - page 460 / 732 » The logic of proofs, semantically |
189
click to vote
IPL
2007
15 years 6 months ago
2007
A new algorithm is presented for testing if a regular language is locally threshold testable. The new algorithm is slower than existing algorithms, but its correctness proof is sh...
146
click to vote
FSTTCS
2007
Springer
16 years 25 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
159
click to vote
CIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
175
click to vote
JELIA
2000
Springer
15 years 10 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
174
click to vote
DLOG
2006
15 years 8 months ago
2006
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...