Conflicts in Policy-Based Distributed Systems Management
IEEE Transactions on Software Engineering
Legal decision making as dialectical theory construction with argumentation schemes
Proceedings of the 8th international conference on Artificial intelligence and law
Embedding Defeasible Logic into Logic Programs
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
The Role of Logic in Computational Models of Legal Argument: A Critical Survey
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Annotated Semantics for Defeasible Deontic Reasoning
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Nonmonotonic Rule Systems on Top of Ontology Layers
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
An algorithm for the induction of defeasible logic theories from databases
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Artificial argument assistants for defeasible argumentation
Artificial Intelligence - Special issue on AI and law
SCC-recursiveness: a general schema for argumentation semantics
Artificial Intelligence
Artificial Intelligence and Law - Law, logic and defeasibility
Additive consolidation for dialogue game
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Modelling Defeasibility in Law: Logic or Procedure?
Fundamenta Informaticae - Deontic Logic in Computer Science
Understanding the law: a method for legal knowledge dissemination
Proceedings of the 11th international conference on Artificial intelligence and law
Argumentation in artificial intelligence
Artificial Intelligence
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology - Marco Somalvico Memorial Issue
Prioritized conditional imperatives: problems and a new proposal
Autonomous Agents and Multi-Agent Systems
A computational framework for institutional agency
Artificial Intelligence and Law
Institutions with a hierarchy of authorities in distributed dynamic environments
Artificial Intelligence and Law
Computable Models of the Law
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Artificial Intelligence and Law
SCC-recursiveness: a general schema for argumentation semantics
Artificial Intelligence
Legal concepts as inferential nodes and ontological categories
Artificial Intelligence and Law
Normative reasoning with geo information
Proceedings of the 1st International Conference and Exhibition on Computing for Geospatial Research & Application
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
Towards a logical analysis of the judgment on facts
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
A model of juridical acts: part 1:: the world of law
Artificial Intelligence and Law
Analogy, similarity and factors
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Revising knowledge in multi-agent systems using revision programming with preferences
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Specifying and implementing a persuasion dialogue game using commitments and arguments
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
From abstract to concrete norms in agent institutions
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence
Modelling Defeasibility in Law: Logic or Procedure?
Fundamenta Informaticae - Deontic Logic in Computer Science
Modeling social causality and responsibility judgment in multi-agent interactions
Journal of Artificial Intelligence Research
Minimal hypotheses: extension-based semantics to argumentation
Annals of Mathematics and Artificial Intelligence
Cooperative dialogues for defeasible argumentation-based planning
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Modeling social causality and responsibility judgment in multi-agent interactions: extended abstract
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
This book, the expanded and completely revised text of the author's renowned 1993 dissertation, studies the logical aspects of legal reasoning, in order to provide philosophical foundations for legal applications of Artificial Intelligence. It respects that legal reasoning often takes place in a disputational setting, and observes that the law leaves ample room for disagreement, which means that lawyers reason under the possibility of exceptions and with contradictory legal sources, and cannot do without non-deductive reasoning forms, such as analogical reasoning. The study shows that, contrary to what is often said, these features do not escape a logical analysis if recent developments in logic and Artificial Intelligence on so-called non-monotonic reasoning and defeasible argumentation are used, and if logic is regarded as a tool in, rather than as, a model of legal argument. This book is relevant for scholars in legal philosophy, artificial intelligence, logic and argumentation theory, and can also serve as a textbook for graduate courses in AI & Law, non-monotonic reasoning and legal argumentation.