Sciweavers

2395 search results - page 99 / 479
» Reasoning in Semantic Wikis
Sort
View
FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
15 years 2 months ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...
AI
1998
Springer
15 years 4 months ago
Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
Fangzhen Lin
SEMWEB
2007
Springer
15 years 10 months ago
An Architecture for Peer-to-peer Reasoning
Abstract. Similar to the current Web, the key to realizing the Semantic Web is scale. Arguably, to achieve this, we need a good balance between participation cost and perceived ben...
George Anadiotis, Spyros Kotoulas, Ronny Siebes
AH
2006
Springer
15 years 10 months ago
Combining Adaptive Hypermedia Techniques and Ontology Reasoning to Produce Dynamic Personalized News Services
Abstract. Applying traditional Adaptive Hypermedia techniques to the personalization of news can pose a number of problems. The first main difficulty is the fact that news is inher...
Owen Conlan, Ian O'Keeffe, Shane Tallon
BIRTHDAY
2003
Springer
15 years 9 months ago
A Formal Basis for Reasoning on Programmable QoS
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari...