381 search results - page 39 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
115
click to vote
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Ontologies are now used within an increasing number of realworld applications. So far, significant effort has been spend in building tools to support users in creating,...
221
click to vote
ICDT
1995
ACM
15 years 5 months ago
1995
ACM
Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the ...
141
click to vote
DC
2002
15 years 1 months ago
2002
Message ordering is a fundamental abstraction in distributed systems. However, ordering guarantees are usually purely "syntactic," that is, message "semantics" ...
134
click to vote
JELIA
2010
Springer
14 years 11 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
101
click to vote
WADT
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...