5818 search results - page 1055 / 1164 » A reasonable Semantic Web |
170
click to vote
GPCE
2007
Springer
16 years 12 days ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
185
click to vote
IFSA
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
185
click to vote
LPNMR
2007
Springer
16 years 11 days ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
158
click to vote
TARK
2007
Springer
16 years 10 days ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
198
click to vote
CSFW
2006
IEEE
16 years 9 days ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...