1317 search results - page 141 / 264 » Fusions of Description Logics and Abstract Description Syste... |
150
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
137
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. Twelve years ago, various notions of preferential entailment have been introduced. The main reference is a paper by Kraus, Lehmann and Magidor (KLM), one of the main comp...
209
click to vote
DLOG
2010
15 years 4 months ago
2010
Abstract. Recently, the use of the MapReduce framework for distributed RDF Schema reasoning has shown that it is possible to compute the deductive closure of sets of over a billion...
179
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
149
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...