1126 search results - page 116 / 226 » Modularity and the Rule of Adaptation |
112
Voted
LOPSTR
2009
Springer
15 years 7 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
91
Voted
ICALT
2007
IEEE
15 years 7 months ago
2007
IEEE
Applying Virtual Reality (VR) in combination with Intelligent Tutoring Systems (ITSs) is a promising approach to computer based learning and training. However, the classical struc...
112
Voted
LOPSTR
2007
Springer
15 years 6 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
ARGMAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
87
Voted
ACISICIS
2009
IEEE
15 years 5 months ago
2009
IEEE
Grammars, especially context-free grammars, are widely used within and even outside the field of computer science. In this paper, we present a systematic framework for grammar te...