304 search results - page 46 / 61 » Semantic Argumentation in Dynamic Environments |
65
Voted
AGP
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
CIA
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
With the increasing adoption of Java for parallel and distributed computing, there is a strong motivation for enhancing the expressive elegance of the RMI paradigm with flexible ...
SAMT
2007
Springer
15 years 3 months ago
2007
Springer
Presentation of content is an important aspect of today’s virtual reality applications, especially in domains such as virtual exhibitions. The large amount and variety of exhibit...