Legal Knowledge Based Systems : Jurix-2000: the 13th Conference

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.