Sciweavers

4163 search results - page 140 / 833
» A comprehensive combination framework
Sort
View
FOSSACS
2000
Springer
14 years 16 days ago
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
Kai Engelhardt, Ron van der Meyden, Yoram Moses
CEEMAS
2007
Springer
14 years 3 months ago
An Architecture and Framework for Agent-Based Web Applications
The construction of web applications is a complex task as different kinds of technologies need to be integrated. To ease the task of developing web applications many different we...
Alexander Pokahr, Lars Braubach
IC
2007
13 years 10 months ago
Resource Matching in a Peer-to-Peer Computational Framework
- The rise in high speed networks has led to an increased interest in the development of grid computing frameworks; the ubiquity of the broadband Internet connection has fostered w...
Daniel Santoni, Michael Katchabaw
JOT
2006
92views more  JOT 2006»
13 years 9 months ago
A Rule-Based Approach to Framework Evolution
Framework development is very expensive, not only because of the intrinsic difficulty related to capturing the domain knowledge, but also because of the lack of appropriate method...
Mariela Cortés, Marcus Fontoura, Carlos Jos...
COMMA
2010
13 years 3 months ago
Reasoning about Preferences in Structured Extended Argumentation Frameworks
Abstract. This paper combines two recent extensions of Dung's abstract argumenrameworks in order to define an abstract formalism for reasoning about preferences in structured ...
Sanjay Modgil, Henry Prakken