3624 search results - page 376 / 725 » Abstract Algebraic Logic |
159
click to vote
WOLLIC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract: The aim of this work is to analyze the relationship between interval QL-implications and interval D-implications, studying some properties that relate these concepts. We ...
164
click to vote
DEON
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
189
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...
152
click to vote
RULEML
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...
194
click to vote
WLP
2004
Springer
16 years 10 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...