3319 search results - page 258 / 664 » Subshifts, Languages and Logic |
195
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
194
click to vote
WCFLP
2005
ACM
16 years 25 days ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
202
click to vote
INLG
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and neg...
176
click to vote
KR
2004
Springer
16 years 19 days ago
2004
Springer
Causation is defined recursively: event e is the cause of condition φ in context c iff e is the only sufficient cause of φ in c, and removing e from c either removes φ from c...
216
click to vote
WLP
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...