𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Legal modeling and automated reasoning with ON-LINE

✍ Scribed by ANDRÉ VALENTE; JOOST BREUKER; BOB BROUWER

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
385 KB
Volume
51
Category
Article
ISSN
1071-5819

No coin nor oath required. For personal study only.

✦ Synopsis

P25414. CLIME stands for computerized legal information management and explanation. It is aimed at the development of a legal information server for regulations on the classi"cation (inspection) of ships (MILE), and a generic architecture (shell) for legal information serving (CLIME).

📜 SIMILAR VOLUMES

A model of legal reasoning with cases in
A model of legal reasoning with cases incorporating theories and values
✍ Trevor Bench-Capon; Giovanni Sartor 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 431 KB

Reasoning with cases has been a primary focus of those working in AI and law who have attempted to model legal reasoning. In this paper we put forward a formal model of reasoning with cases which captures many of the insights from that previous work. We begin by stating our view of reasoning with ca

Modeling and reasoning with qualitative
Modeling and reasoning with qualitative comparative clinical knowledge
✍ Jianbing Ma; Weiru Liu; Anthony Hunter 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 173 KB

The number of clinical trials reports is increasing rapidly due to a large number of clinical trials being conducted; it, therefore, raises an urgent need to utilize the clinical knowledge contained in the clinical trials reports. In this paper, we focus on the qualitative knowledge instead of quant

On proof- and model-based techniques for
On proof- and model-based techniques for reasoning with uncertainty
✍ Flávio S. Corrěa da Silva 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 578 KB

In this article we compare two well-known techniques for reasoning with uncertainty-namely, Incidence Calculus and Fagin-Halpern's version of the Theory of Evidence-from a viewpoint not so frequently explored for such techniques. We argue that, despite the equivalence relations that these techniques

Y. Moses and M.Tennenholtz, Off-line rea
Y. Moses and M.Tennenholtz, Off-line reasoning for on-line effeciency: knowledge bases
📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 73 KB

## Off-line reasoning for on-line efficiency: knowledge bases The complexity of reasoning is a fundamental issue in AI. In many cases, the fact that an intelligent system needs to perform reasoning on-line contributes to the difficulty of this reasoning. This paper considers the case in wllich an