1331 search results - page 100 / 267 » Description logic reasoning using the PTTP approach |
205
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Markov Logic Networks (MLNs) have emerged as a powerful framework that combines statistical and logical reasoning; they have been applied to many data intensive problems including...
152
click to vote
TARK
2005
Springer
15 years 12 months ago
2005
Springer
We analyze a model of interactive unawareness introduced by Heifetz, Meier and Schipper (HMS). We consider two axiomatizations for their model, which capture different notions of ...
156
click to vote
LICS
2006
IEEE
16 years 11 days ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
178
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
172
click to vote
BVAI
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents the implementation of ARQ-PROP II, a limited-depth propositional reasoner, via the compilation of its specification into an exact formulation using the satyrus...