General theory of cumulative inference
Proceedings of the 2nd international workshop on Non-monotonic reasoning
An abductive theory of legal issues
International Journal of Man-Machine Studies - AI and legal reasoning. Part 2
Representing teleological structure in case-based legal reasoning: the missing link
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
A simple computational model for nonmonotonic and adversarial legal reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Nonmonotonic inference based on expectations
Artificial Intelligence
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Philosophical foundations of deontic logic and the logic of defeasible conditionals
Deontic logic in computer science
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
New HELIC-II: a software tool for legal reasoning
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Knowledge-level analysis of belief base operations
Artificial Intelligence
Theory based explanation of case law domains: 38
Proceedings of the 8th international conference on Artificial intelligence and law
Refinement: a tool to deal with inconsistencies
Proceedings of the 8th international conference on Artificial intelligence and law
Making Beliefs Coherentl. The Subtraction and Addition Strategies.
Journal of Logic, Language and Information
A model of legal reasoning with cases incorporating theories and values
Artificial Intelligence - Special issue on AI and law
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Dialogue game tree with nondeterministic additive consolidation
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Hi-index | 0.00 |
Our purpose is to propose postulates about operators which capture dynamic aspects on a legal argumentation, and to construct operators which satisfy the postulates and expand plaintiff and defendant's theories coherently. These ideas are the generalizations of Olsson's additive consolidation. Consolidation is studied in the field of belief revision, and makes an agent's epistemic state coherent. Therefore, our presentation will build a bridge between legal reasoning and belief revision.