2381 search results - page 249 / 477 » On Ordering Descriptions in a Description Logic |
222
click to vote
WLP
2007
Springer
16 years 23 days ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
190
click to vote
IEEESCC
2005
IEEE
16 years 7 days ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
192
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
176
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...
207
click to vote
CCS
2005
ACM
16 years 5 days ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...