3775 search results - page 412 / 755 » The Expression Problem Revisited |
169
click to vote
ICTAC
2007
Springer
16 years 29 days ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
183
click to vote
KI
2007
Springer
16 years 29 days ago
2007
Springer
We propose a novel approach to experience collection for autonomous service robots performing complex activities. This approach enables robots to data for many learning problems at...
176
Voted
LPAR
2007
Springer
16 years 29 days ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
184
click to vote
TLCA
2007
Springer
16 years 28 days ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
175
click to vote
VMCAI
2007
Springer
16 years 28 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...