C o m p u t a t i o n a l    L o g i c

Knowledge Representation & Reasoning

Contents

Coordinator's Report
Logic Programming and Knowledge Representation LPKR 97
Aplications of Natural Language to Information Systems
DYNAMICS97 (Trans)Actions and Change in Logic Programming and Deductive Databases
LPNMR '97
Internet Library of Logic Programming Systems and Test Cases

[ Automated Deduction Systems ] [ Computational Logic & Machine Learning ] [ Concurrent & Constraint Logic Programming ] [ Language Design, Semantics & Verification Methods ] [ Logic Based Databases ] [ Program Development ] [ Knowledge Representation & Reasoning ]

[ Home ] [ Editorial ] [ Network Activities ] [ Industrial News ] [ International Relations ] [ Area News ] [ Education ]