Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and to model laws produced by distinct entities with different priorities at different time points. In this paper we propose the use of dynamic logic programming to model these legal dynamic situations. Some examples are ...

Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and to model laws produced by distinct entities with different priorities at different time points. In this paper we propose the use of dynamic logic programming to model these legal dynamic situations. Some examples are ...

This paper present a research project involved in legal expert system. The expertise domain concerns Public Procurement Market (PPM) in software acquisition. A very few civil servants have the necessary skill to combine public procurement regulations, data processing and computer law knowledge. The system should assist the Belgian administration in writing legal documents. During the consultati...

This paper discusses the state of the art in CBR ontologies from the perspective of one developing an improved system for case-based legal reasoning. The paper proposes three specific roles for a CBR ontology and illustrates them in the context of the intended output of the new system: a legal classroom discussion of how to decide a case featuring hypothetical reasoning and abstract analogies. ...

Arti cial intelligence has contributed fundamentally to our understanding of reasoning and communication processes, and especially their limits. These insights have deep implications for issues in jurisprudence which depend on a model of `correct' reasoning and argumentation, such as theories of the separation of powers and judicial discretion. Some of these implications are explored in this pa...

This paper presents an application of the Carneades Argumentation System to case-law. The application relies on a set of ontologies – representing the core and domain concepts of a restricted legal field, the law of contracts – and a collection of precedents taken from Italian courts of different grades. The knowledge base represents the starting point for the construction of rules representing...

for the reason of religious and legal principles contradictions, principles and concepts of installments purchasing in iran are totally different from what is common practice in the western countries. not having appropriate accounting standards, iran's current methods of accounting is based on that of the uk and usa. in this article, the principles and concepts of installment purchasing in...

First, traditional legal education does not encourage creative thinking by students. Traditional Chinese legal education consists of teachers on the platform speaking and students in the audience listening—the “spoon-feeding” method. Teachers are the protagonists; students are passive recipients of legal theory. There are few discussions between teachers and students and examinations are a test...

Much work using argumentation frameworks treats arguments as entirely abstract, related by a uniform attack relation which always succeeds unless the attacker can itself be defeated. However, this does not seem adequate for legal argumentation. Some proposals have suggested regulating attack relations using preferences or values on arguments and which filter the attack relation, so that, depend...