Sciweavers

3831 search results - page 47 / 767
» Dynamic Context Logic
Sort
View
115
Voted
DPD
2007
100views more  DPD 2007»
15 years 3 months ago
Sharing hierarchical context for mobile web services
Context has the potential to enhance Web services in mobile environments to a great extent. Yet, challenges such as bandwidth restriction or dynamic changes require considerations ...
Christoph Dorn, Schahram Dustdar
137
Voted
JELIA
2010
Springer
15 years 1 months ago
Rational Closure for Defeasible Description Logics
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means o...
Giovanni Casini, Umberto Straccia
129
Voted
ISMVL
2003
IEEE
83views Hardware» more  ISMVL 2003»
15 years 9 months ago
Multiple-Valued Dynamic Source-Coupled Logic
A new multiple-valued current-mode (MVCM) integrated circuit based on dynamic source-coupled logic (SCL) is proposed for low-power VLSI applications. The use of a precharge-evalua...
Takahiro Hanyu, Akira Mochizuki, Michitaka Kameyam...
141
Voted
CLIMA
2004
15 years 5 months ago
Dynamic Logic for Plan Revision in Intelligent Agents
In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes a...
M. Birna van Riemsdijk, Frank S. de Boer, John-Jul...
136
Voted
JSYML
2010
103views more  JSYML 2010»
14 years 10 months ago
A note on Hjorth's oscillation theorem
We reformulate, in the context of continuous logic, an oscillation theorem proved by G. Hjorth and give a proof of the theorem in that setting which is similar to, but simpler than...
Julien Melleray