3238 search results - page 374 / 648 » On the Computational Interpretation of Negation |
199
click to vote
DIAGRAMS
2004
Springer
16 years 22 hour ago
2004
Springer
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...
160
click to vote
DIS
2004
Springer
16 years 22 hour ago
2004
Springer
We consider the problem of discovering the optimal pair of substring patterns with bounded distance α, from a given set S of strings. We study two kinds of pattern classes, one is...
187
click to vote
ECAI
2004
Springer
16 years 21 hour ago
2004
Springer
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
146
Voted
FC
2004
Springer
16 years 17 hour ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
158
click to vote
ICALP
2004
Springer
16 years 11 hour ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...