Legal Knowledge and Information Systems : Jurix 2000: the Thirteenth Annual ConferenceJurix 2000

This volume contains the proceedings of the 13th JURIX Conference on legal knowledge and information systems, held at Twente University, Enschede, the Netherlands. Topics covered include: the study of (artificial) legal reasoning and inference - case based reasoning, deontic or normative reasoning, model based legal reasoning; representation of legal knowledge in intelligent systems (logics, ontologies); knowledge support systems that support - legal decision making, legal drafting, legal knowledge discovery, legal teaching; storage and retrieval of legal information; application of machine learning in law; legal theoretical foundations for legal knowledge systems; verification and validation of legal knowledge systems; knowledge acquisition for legal knowledge systems; methodology for constructing legal knowledge systems.