𝔖 Bobbio Scriptorium
✦   LIBER   ✦

WORKSHOP REPORT: Application of Logic Programming to Legal Reasoning

✍ Scribed by Robert Kowalski

Book ID
112976774
Publisher
Springer
Year
1995
Tongue
English
Weight
300 KB
Volume
13
Category
Article
ISSN
0288-3635

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Prioritized logic programming and its ap
Prioritized logic programming and its application to commonsense reasoning
✍ Chiaki Sakama; Katsumi Inoue πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 284 KB

Representing and reasoning with priorities are important in commonsense reasoning. This paper introduces a framework of prioritized logic programming (PLP), which has a mechanism of explicit representation of priority information in a program. When a program contains incomplete or indefinite informa

Decidability of logic program semantics
Decidability of logic program semantics and applications to testing
✍ Salvatore Ruggieri πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 248 KB

In this paper, we investigate the decidability problem of logic program semantics and observables, focusing in particular on the least Herbrand model (or M-semantics), the C-semantics, and the S-semantics. We introduce bounded logic programs, and show that they coincide with programs such that every

Application of constraint logic programm
Application of constraint logic programming to asset and liability management in banks
✍ Johan M. Broek; Hennie A. M. Daniels πŸ“‚ Article πŸ“… 1991 πŸ› Springer US 🌐 English βš– 531 KB

Constraint logic programming is a relatively new and promising paradigm. In this paper it is shown that this approach yields flexible tools to support financial decision making. As an example we present an asset and liability management model implemented in the CHIP language.