4513 search results - page 411 / 903 » Logic programming with satisfiability |
142
click to vote
JCS
2006
15 years 5 months ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
131
click to vote
SYNTHESE
2008
15 years 5 months ago
2008
Objective Bayesian probability is often defined over rather simple domains, e.g., finite event spaces or propositional languages. This paper investigates the extension of objectiv...
119
click to vote
JOLLI
2002
15 years 4 months ago
2002
A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checkin...
128
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
We develop a polarised variant of Curien and Herbelin’s ¯λµ˜µ calculus suitable for sequent calculi that admit a focalising cut elimination (i.e. whose proofs are focalised ...
132
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...