3773 search results - page 160 / 755 » Logical Reasoning |
157
Voted
DALT
2005
Springer
15 years 9 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
132
Voted
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
The complexity of LTrL, a global linear time temporal logic over traces is investigated. The logic is global because the truth of a formula is evaluated in a global state, also ca...
113
Voted
RULEML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of vio...
118
Voted
CSL
2008
Springer
15 years 5 months ago
2008
Springer
We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...
136
Voted
RR
2007
Springer
15 years 9 months ago
2007
Springer
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...