1947 search results - page 35 / 390 » A presentation of Quantum Logic based on an |
63
Voted
WSC
1997
15 years 2 months ago
1997
This paper presents a message-based discrete event simulation architecture. It will examine each of the different types of messages used to schedule events, transfer items through...
110
click to vote
AAAI
2007
15 years 3 months ago
2007
This paper presents a new approach for merging prioritized knowledge bases in possibilistic logic. Our approach is semantically defined by a model-based merging operator in propo...
151
Voted
ECOWS
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
101
Voted
AUSAI
2006
Springer
15 years 4 months ago
2006
Springer
This paper explores logical properties of belief-revision-based bargaining solution. We first present a syntax-independent construction of bargaining solution based on prioritized ...
105
Voted
ICFCA
2010
Springer
15 years 7 months ago
2010
Springer
This paper is the successor to two previous papers published at the ICFCA conference. In the first paper we have shown that in the Description Logics EL and ELgfp, the set of gene...