Sciweavers

546 search results - page 48 / 110
» An Action Semantics for MML
Sort
View
INTERNET
2010
141views more  INTERNET 2010»
15 years 13 days ago
Computing for Human Experience: Semantics-Empowered Sensors, Services, and Social Computing on the Ubiquitous Web
abstractions, concepts, and actions that characterize human experiences. This will herald computing for human experience (CHE). The CHE vision is built on a suite of technologies t...
Amit Sheth
AI
2008
Springer
15 years 8 months ago
Verbs Speak Loud: Verb Categories in Learning Polarity and Strength of Opinions
In this work we show that verbs reliably represent texts when machine learning algorithms are used to learn opinions. We identify semantic verb categories that capture essential pr...
Marina Sokolova, Guy Lapalme
LICS
2006
IEEE
15 years 8 months ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel
ATAL
2000
Springer
15 years 6 months ago
Delegation and Responsibility
An agent may decide to delegate tasks to others. The act of delegating a task by one autonomous agent to another can be carried out by the performance of one or more imperative com...
Timothy J. Norman, Chris Reed
TIME
1994
IEEE
15 years 6 months ago
Hypothetical Reasoning from Situation Calculus to Event Calculus
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
Alessandro Provetti