3468 search results - page 325 / 694 » An open logical framework |
153
click to vote
FCT
2005
Springer
16 years 8 days ago
2005
Springer
We show that a slightly extended version of asynchronous cellular automata, relative to any class of pomsets and dags without autoconcurrency, has the same expressive power as the ...
162
click to vote
ER
2004
Springer
16 years 4 days ago
2004
Springer
Our goal is to model the way people induce knowledge from rare and sparse data. This paper describes a theoretical framework for inducing knowledge from these incomplete data descr...
192
click to vote
INLG
2004
Springer
16 years 3 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...
196
click to vote
WLP
2004
Springer
16 years 2 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...
197
click to vote
IRI
2003
IEEE
16 years 23 hour ago
2003
IEEE
- Middleware technologies change so rapidly that designers must adapt existing software architectures to incorporate new emerging ones. This paper proposes tectural pattern and gui...