1950 search results - page 123 / 390 » Lambda-Free Logical Frameworks |
194
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...
196
click to vote
IRI
2003
IEEE
16 years 17 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...
172
click to vote
SIGIR
1999
ACM
15 years 11 months ago
1999
ACM
This paper claims that Belief Revision can be seen as a theoretical framework for document ranking in Extended Boolean Models. For a model of Information Retrieval based on propos...
167
click to vote
JLP
2010
15 years 5 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
181
click to vote
RR
2010
Springer
15 years 5 months ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...