3319 search results - page 258 / 664 » Subshifts, Languages and Logic |
175
click to vote
FORMATS
2007
Springer
16 years 26 days 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...
184
click to vote
WCFLP
2005
ACM
16 years 7 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 ...
191
click to vote
INLG
2004
Springer
16 years 1 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...
161
click to vote
KR
2004
Springer
16 years 1 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...
194
click to vote
WLP
2004
Springer
16 years 19 hour 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...