1032 search results - page 91 / 207 » Extended Computation Tree Logic |
SEBD
2008
14 years 11 months ago
2008
We present a novel Fuzzy Description Logic (DL) based approach to automate matchmaking in e-marketplaces. We model traders' preferences with the aid of Fuzzy DLs and, given a ...
SLP
1993
14 years 11 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...
AINA
2005
IEEE
15 years 3 months ago
2005
IEEE
The purpose of admission control is to support the Quality of Service (QoS) demands of real time applications via resource reservation. In order to deal with admission control for...
CSL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
The Blob Code is a bijective tree code that represents each tree on n labelled vertices as a string of n − 2 vertex labels. In recent years, several researchers have deployed th...