| rdfs:comment
| - Computational logic involves the combination of computation↑ and logic↑ using, for example, logic programming techniques such as Prolog. The ESPRIT Basic Research funded COMPULOG NET is a large European community of researchers consisting of more than 80 nodes in leading European universities and industries. Nodes are classified according to their role in the network or their size. In particular, there are coordinating nodes, regular nodes, associate nodes, industrial nodes and members that are usually attached to some node.
|
| abstract
| - Computational logic involves the combination of computation↑ and logic↑ using, for example, logic programming techniques such as Prolog. The ESPRIT Basic Research funded COMPULOG NET is a large European community of researchers consisting of more than 80 nodes in leading European universities and industries. Nodes are classified according to their role in the network or their size. In particular, there are coordinating nodes, regular nodes, associate nodes, industrial nodes and members that are usually attached to some node. This document contains information on the European ESPRIT Basic Research COMPULOG NET Network of Excellence (NoE), concerned with the area of Computational Logic, which is available on the World Wide Web (WWW or W3), the global hypermedia system providing worldwide information. In particular, an [ftp://ftp.cs.kuleuven.ac.be/pub/compulog anonymous FTP] archive on COMPULOG is provided at the Department of Computer Science, Katholieke Universiteit Leuven↑, Belgium.
|