Computer
From custom applications to domain-specific frameworks
Communications of the ACM
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Incremental execution of guarded theories
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Compiling language definitions: the ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources
ISMB '98 Proceedings of the 6th International Conference on Intelligent Systems for Molecular Biology
Architecture Software Using: A Methodology for Language Development
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Hi-index | 0.00 |
We report on the development of an agent-based system, called ΦLOG, for the specification and execution of phylogenetic inference applications. We detail the implementation of the main components of the system. In the process, we discuss how advanced techniques developed in different research areas such as domain-specific languages, planning, Web Services discovery and invocation, and Web Service compositions can be applied in the building of the ΦLOG system.