1699 search results - page 168 / 340 » A timed semantics of Orc |
178
click to vote
ICLP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
147
click to vote
HICSS
2006
IEEE
16 years 16 days ago
2006
IEEE
We report on analysis of discussions in an online community of people with chronic illness using socio-cognitively motivated, automatically produced semantic spaces. The analysis ...
155
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
This application demonstrates how to provide personalized, syndicated views on distributed web data using Semantic Web technologies. The application comprises four steps: The infor...
175
click to vote
ACOM
2004
Springer
15 years 12 months ago
2004
Springer
Agent communication languages defined using joint intention theory have enjoyed a long research history. A number of performatives have been defined and refined in this literature ...
169
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...