1206 search results - page 13 / 242 » Concurrent Abstract Predicates |
CORR
2009
Springer
14 years 10 months ago
2009
Springer
94
Voted
FAC
2010
14 years 9 months ago
2010
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
113
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
95
Voted
ESOP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...