Search results for "Legal reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Tokuyasu Kakuta, Makoto Haraguchi	A demonstration of a legal reasoning system based on teleological analogies.	ICAIL	1999	DBLP DOI BibTeX RDF	goal-dependent abstraction, legal reasoning system, order-sorted logic, analogy
2	Ping Wang, Xuemei Zhu	The Reliability Assessment of Legal Reasoning with Evidence Theory.	WKDD	2009	DBLP DOI BibTeX RDF
2	Thomas F. Gordon, Douglas Walton	Legal reasoning with argumentation schemes.	ICAIL	2009	DBLP DOI BibTeX RDF
2	Kevin D. Ashley	Ontological requirements for analogical, teleological, and hypothetical legal reasoning.	ICAIL	2009	DBLP DOI BibTeX RDF	legal ontologies, analogical reasoning, hypothetical reasoning
2	Jingde Cheng	Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems.	KES	2008	DBLP DOI BibTeX RDF	Knowledge management, Knowledge representation, Knowledge discovery, Deontic logic, Legal reasoning, Relevant logic
2	Kevin D. Ashley, Niels Pinkwart, Collin Lynch, Vincent Aleven	Learning by diagramming Supreme Court oral arguments.	ICAIL	2007	DBLP DOI BibTeX RDF	argument diagrams, argument models, hypothetical legal reasoning, intelligent tutoring systems
2	Gian Piero Zarri	Ontologies and reasoning techniques for (legal) intelligent information retrieval systems.	Artif. Intell. Law	2007	DBLP DOI BibTeX RDF	(legal) reasoning, inference techniques, ontologies, knowledge representation
2	Joost Breuker, André Valente, Radboud Winkels	Legal Ontologies in Knowledge Engineering and Information Management.	Artif. Intell. Law	2004	DBLP DOI BibTeX RDF	common-sense ontology, legal core ontologies, legal reasoning
2	Trevor J. M. Bench-Capon	Categorizing Justifications in Legal Argument. (PDF / PS)	DEXA Workshops	1999	DBLP DOI BibTeX RDF	computational argument, Legal reasoning
2	Giovanni Sartor	A Simple Computational Model for Nonmonotonic and Adversarial Legal Reasoning.	ICAIL	1993	DBLP DOI BibTeX RDF	legal system, rules and exceptions, knowledge representation, arguments, nonmonotonic reasoning
2	Indira Mahalingam Carr	Computers in law - Some questions.	Artif. Intell. Rev.	1992	DBLP DOI BibTeX RDF	legal rules, statutes, case law, intelligent computer systems, jurisprudence, expert systems, legal reasoning
2	P. Wahlgren	Legal Reasoning - a Jurisprudential Description.	ICAIL	1989	DBLP DOI BibTeX RDF
2	M. Belzer	Legal Reasoning in 3-D.	ICAIL	1987	DBLP DOI BibTeX RDF
1	Tanapon Tantisripreecha, Nuanwan Soonthornphisaj	Creating Rules Using Abduction for Legal Reasoning by Logic Programming.	BIS (Workshops)	2011	DBLP DOI BibTeX RDF
1	Bruce M. McLaren, Kevin D. Ashley	Can temporal representation and reasoning make a difference in automated legal reasoning?: lessons from an AI-based ethical reasoner.	ICAIL	2011	DBLP DOI BibTeX RDF
1	Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker	Intuitionistic Description Logic and Legal Reasoning.	DEXA Workshops	2011	DBLP DOI BibTeX RDF
1	Peter Condliffe, Brooke Abrahams, John Zeleznikow	An OWL Ontology and Bayesian Network to Support Legal Reasoning in the Owners Corporation Domain.	ODR	2010	DBLP BibTeX RDF
1	Guido Governatori, Antonino Rotolo, Rossella Rubino	Implementing Temporal Defeasible Logic for Modeling Legal Reasoning.	JSAI-isAI Workshops	2009	DBLP DOI BibTeX RDF
1	Tomasz Zurek, Emil Kruk	Supporting of legal reasoning for cases which are not strictly regulated by law.	ICAIL	2009	DBLP DOI BibTeX RDF	legal expert systems, tax law, reasoning
1	Collin Lynch, Kevin D. Ashley, Niels Pinkwart, Vincent Aleven	Toward assessing law students' argument diagrams.	ICAIL	2009	DBLP DOI BibTeX RDF	argument diagrams, argument models, hypothetical legal reasoning, intelligent tutoring systems
1	Kevin D. Ashley, Collin Lynch, Niels Pinkwart, Vincent Aleven	Toward Modeling and Teaching Legal Case-Based Adaptation with Expert Examples.	ICCBR	2009	DBLP DOI BibTeX RDF	Case-based adaptation, Legal reasoning, Hypothetical reasoning
1	Ir. R. A. Hilhorst, Tom M. van Engers	e-dossier at the Dutch Council of State: design, implementation and lessons learned.	ICAIL	2009	DBLP DOI BibTeX RDF	computer-assisted legal drafting and document management
1	Gerhard Brewka, Thomas Eiter	Argumentation Context Systems: A Framework for Abstract Group Argumentation.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Piotr Stolarski, Tadeusz Tomaszewski	Modeling and Using Polish Legal Knowledge - Commercial Companies Code Ontology.	BIS	2008	DBLP DOI BibTeX RDF	law and computing, Commercial Companies Code, legal ontologies, Legal reasoning, AI and law
1	Adam Zachary Wyner	An ontology in OWL for legal case-based reasoning.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Legal cases, Ontology, OWL, Case-based reasoning, Legal reasoning
1	Douglas Walton	A dialogical theory of presumption.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Burden of proof, Burden of persuasion, Shifting burden, Expert opinion evidence, Formal dialog systems, Evidence, Argumentation schemes
1	Régis Riveret, Antonino Rotolo	Temporal Deontic Defeasible Logic: An Analytical Approach.	Computable Models of the Law, Languages, Dialogues, Games, Ontologies	2008	DBLP DOI BibTeX RDF
1	Katie Atkinson, Trevor J. M. Bench-Capon	Argumentation and standards of proof.	ICAIL	2007	DBLP DOI BibTeX RDF	standards of proof, argumentation, legal reasoning, purposes
1	Thomas F. Gordon	Constructing arguments with a computational model of an argumentation scheme for legal rules: interpreting legal rules as reasoning policies.	ICAIL	2007	DBLP DOI BibTeX RDF	computational models of legal reasoning and argumentation, legal knowledge-based systems
1	Rinke Hoekstra, Joost Breuker	Commonsense Causal Explanation in a Legal Domain.	Artif. Intell. Law	2007	DBLP DOI BibTeX RDF	commonsense, ontology, legal reasoning, liability, causation
1	Floris J. Bex, Henry Prakken, Bart Verheij	Formalising argumentative story-based analysis of evidence.	ICAIL	2007	DBLP DOI BibTeX RDF	inference to the best explanation, legal evidence, argumentation, stories, abductive reasoning
1	Ugo Pagallo, Giancarlo Ruffo	P2P systems in legal networks: another "small world" case.	ICAIL	2007	DBLP DOI BibTeX RDF
1	Katsumi Nitta, Ken Satoh, Satoshi Tojo	First International Workshop on Juris-Informatics.	JSAI	2007	DBLP DOI BibTeX RDF
1	Ioan Alfred Letia, Adrian Groza	Exploiting Rough Argumentation in an Online Dispute Resolution Mediator.	RSEISP	2007	DBLP DOI BibTeX RDF
1	Joost Breuker, Alexander Boer, Rinke Hoekstra, Kasper van den Berg	Developing Content for LKIF: Ontologies and Frameworks for Legal Reasoning.	JURIX	2006	DBLP BibTeX RDF
1	Alison Chorley, Trevor J. M. Bench-Capon	An empirical investigation of reasoning with legal cases through theory construction and application.	Artif. Intell. Law	2005	DBLP DOI BibTeX RDF	factors and dimensions, theory construction, Case Based Reasoning, legal reasoning, legal knowledge based systems
1	Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng	A General-Purpose Forward Deduction Engine for Modal Logics.	KES	2005	DBLP DOI BibTeX RDF
1	David W. Aha	Conversational Case-Based Reasoning.	PReMI	2005	DBLP DOI BibTeX RDF
1	L. Bibel	AI and the Conquest of Complexity in Law.	Artif. Intell. Law	2004	DBLP DOI BibTeX RDF	peddems of legal system, epistemology of law, formalized law, legal knowledge systems, philosophy of legal reasoning, legal ontologies, AI and law
1	Alison Chorley, Trevor J. M. Bench-Capon	Support for Constructing Theories in Case Law Domains.	DEXA	2004	DBLP DOI BibTeX RDF
1	Jaap Hage	Comparing Alternatives in the law.	Artif. Intell. Law	2004	DBLP DOI BibTeX RDF	legal proof, qualitative comparative reasoning, reason-based logic, theory construction, case-based reasoning
1	Vincent Aleven	Using background knowledge in case-based legal reasoning: A computational model and an intelligent learning environment.	Artif. Intell.	2003	DBLP DOI BibTeX RDF
1	Trevor J. M. Bench-Capon, Giovanni Sartor	A model of legal reasoning with cases incorporating theories and values.	Artif. Intell.	2003	DBLP DOI BibTeX RDF
1	N. Graca, Paulo Quaresma	Using dynamic logic programming to model legal reasoning.	APPIA-GULP-PRODE	2003	DBLP BibTeX RDF
1	Samuel M. Brasil Jr., Berilhes Borges Garcia	Modelling Legal Reasoning in a Mathematical Environment through Model-Theoretic Semantics.	ICAIL	2003	DBLP BibTeX RDF
1	Jean Hall, Richard Hall, John Zeleznikow	A proposal for an evaluation repository for AI and Law systems.	Evaluation of Legal Reasoning and Problem-Solving Systems	2003	DBLP BibTeX RDF
1	Jack G. Conrad, Joanne S. Claussen	Validation: A Critical First Step in the Evaluation of Systems for Legal Corpus Determination.	Evaluation of Legal Reasoning and Problem-Solving Systems	2003	DBLP BibTeX RDF
1	Stefanie Brüninghaus, Kevin D. Ashley	Experimental Design for Evaluating an AI and Law Program.	Evaluation of Legal Reasoning and Problem-Solving Systems	2003	DBLP BibTeX RDF
1	Trevor J. M. Bench-Capon	Suggestions for Standard Example Sets.	Evaluation of Legal Reasoning and Problem-Solving Systems	2003	DBLP BibTeX RDF
1	Karl Branting	An Agenda for Empirical Research in AI and Law.	Evaluation of Legal Reasoning and Problem-Solving Systems	2003	DBLP BibTeX RDF
1	Hugo de Bruin, Henry Prakken, Jörgen S. Svensson	The use of legal knowledge-based systems in public administration: what can go wrong?	Evaluation of Legal Reasoning and Problem-Solving Systems	2003	DBLP BibTeX RDF
1	Marie-Francine Moens	An Evaluation Forum for Legal IR System?	Evaluation of Legal Reasoning and Problem-Solving Systems	2003	DBLP BibTeX RDF
1	Trevor J. M. Bench-Capon	Try to See it My Way: Modelling Persuasion in Legal Discourse.	Artif. Intell. Law	2003	DBLP DOI BibTeX RDF	argumentation, persuasion, audiences, legal reasoning
1	Jan-R. Sieckmann	Why Non-Monotonic Logic is Inadequate to Represent Balancing Arguments.	Artif. Intell. Law	2003	DBLP DOI BibTeX RDF	internal point of view, normative arguments, weighing and balancing, argumentation, legal reasoning, defeasible reasoning
1	Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta	Computing Preferred Answer Sets in Answer Set Programming.	LPAR	2003	DBLP DOI BibTeX RDF
1	Joost Breuker, André Valente, Radboud Winkels	Use and Reuse of Legal Ontologies in Knowledge Engineering and Information Management.	Law and the Semantic Web	2003	DBLP DOI BibTeX RDF
1	Floris Bex, Henry Prakken, Chris Reed, Douglas Walton	Towards a Formal Account of Reasoning about Evidence: Argumentation Schemes and Generalisations.	Artif. Intell. Law	2003	DBLP DOI BibTeX RDF
1	Jaap Hage	Law and Defeasibility.	Artif. Intell. Law	2003	DBLP DOI BibTeX RDF	defeasibility, legal justification, non-monotonic logic
1	Carole D. Hafner, Donald H. Berman	The role of context in case-based legal reasoning: teleological, temporal, and procedural.	Artif. Intell. Law	2002	DBLP DOI BibTeX RDF
1	Henry Prakken, Giovanni Sartor	The Role of Logic in Computational Models of Legal Argument: A Critical Survey.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
1	Afzal Ballim, Tomas By, Yorick Wilks, Christian Lieske	Modelling Agent Attitudes in Legal Reasoning.	Computers and Artificial Intelligence	2001	DBLP BibTeX RDF
1	Jos Lehmann, Abdullatif A. O. Elhag	On the automation of legal reasoning about the attribution of responsibility.	ICAIL	2001	DBLP BibTeX RDF
1	Ronald Prescott Loui	Review - Jaap Hage, Reasoning with Rules: An Essay on Legal Reasoning and Its Underlying Logic. Law and Philosophy Library.	Artif. Intell. Law	2000	DBLP DOI BibTeX RDF
1	Audun Jøsang, Viggo A. Bondi	Legal reasoning with subjective logic.	Artif. Intell. Law	2000	DBLP DOI BibTeX RDF	court, probability, uncertainty, reasoning, law, belief, artificial
1	Andrew Stranieri, John Zeleznikow, Mark Gawler, Bryn Lewis	A Hybrid Rule - Neural Approach for the Automation of Legal Reasoning in the Discretionary Domain of Family Aaw in Australia.	Artif. Intell. Law	1999	DBLP DOI BibTeX RDF
1	Jürgen Hollatz	Analogy Making in Legal Reasoning with Neural Networks and Fuzzy Logic.	Artif. Intell. Law	1999	DBLP DOI BibTeX RDF
1	Trevor J. M. Bench-Capon	Zenon Bankowski, Ian White, and Ulrike Hahn, Informatics and the Foundations of Legal Reasoning (Review).	Artif. Intell. Law	1999	DBLP BibTeX RDF
1	Jacky Legrand	Some Guidelines for Fuzzy Sets Application in Legal Reasoning.	Artif. Intell. Law	1999	DBLP DOI BibTeX RDF
1	Mohamed T. Elhadi, Tibor Vamos	Bankruptcy case law: a hybrid IR-CBR approach.	ICAIL	1999	DBLP DOI BibTeX RDF
1	Grigoris Antoniou	A tutorial on default logics.	ACM Comput. Surv.	1999	DBLP DOI BibTeX RDF	nonmonotonic reasoning, default logic, operational models
1	Henry Prakken, Giovanni Sartor	A System for Defeasible Argumentation, with Defeasible Priorities.	Artificial Intelligence Today	1999	DBLP DOI BibTeX RDF
1	M. R. K. Krishna Rao, Abdul Sattar	Learning Linearly-Moded Programs from Entailment.	PRICAI	1998	DBLP DOI BibTeX RDF
1	Takashi Kanai, Susumu Kunifuji	Legal Reasoning Using Abductive Logic Programming.	JACIII	1997	DBLP BibTeX RDF
1	Tokuyasu Kakuta, Makoto Haraguchi, Yoshiaki Okubo	A Goal-Dependent Abstraction for Legal Reasoning by Analogy.	Artif. Intell. Law	1997	DBLP DOI BibTeX RDF
1	Bipin Indurkhya	On Modeling Creativity in Legal Reasoning.	ICAIL	1997	DBLP DOI BibTeX RDF
1	Henry Prakken, Giovanni Sartor	A Dialectical Model of Assessing Conflicting Arguments in Legal Reasoning.	Artif. Intell. Law	1996	DBLP DOI BibTeX RDF
1	Kathleen Freeman, Arthur M. Farley	A Model of Argumentation and Its Application to Legal Reasoning.	Artif. Intell. Law	1996	DBLP DOI BibTeX RDF
1	Jaap Hage	A Theory of Legal Reasoning and a Logic to Match.	Artif. Intell. Law	1996	DBLP DOI BibTeX RDF
1	Makoto Haraguchi	Towards a Legal Reasoning System based on Description Logics: A Position Paper.	Description Logics	1996	DBLP BibTeX RDF
1	Robert A. Kowalski	Workshop Report: Application of Logic Programming to Legal Reasoning.	New Generation Comput.	1995	DBLP DOI BibTeX RDF
1	Arno R. Lodder, Aimée Herczog	DiaLaw: A Dialogical Framework for Modeling Legal Reasoning.	ICAIL	1995	DBLP DOI BibTeX RDF
1	Katsumi Nitta, Yoshihisa Ohtake, Shigeru Maeda, Masayuki Ono, Hiroshi Ohsaki, Kiyokazu Sakane	HELIC-II: Legal Reasoning System on the Parallel Inference Machine.	New Generation Comput.	1993	DBLP DOI BibTeX RDF
1	Donald H. Berman, Carole D. Hafner	Representing Teleological Structure in Case-based Legal Reasoning: The Missing Link.	ICAIL	1993	DBLP DOI BibTeX RDF
1	Joost Breuker	Modelling Artificial Legal Reasoning.	EKAW	1993	DBLP DOI BibTeX RDF
1	Wullianallur Raghupathi, Peter P. Mykytyn Jr., Karan Harbison-Briggs	A blackboard model of reasoning in product liability claims evaluation.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	Blackboard model, product liability claim evaluation, legal reasoning
1	Barbara Cuthill, Robert McCartney	Issue Spotting in Legal Cases.	ICAIL	1993	DBLP DOI BibTeX RDF
1	Jaap Hage	Monological Reason-Based Logic: A Low Level Integration of Rule-Based Reasoning and Case-Based Reasoning.	ICAIL	1993	DBLP DOI BibTeX RDF
1	Katsumi Nitta, Stephen T. C. Wong, Yoshihisa Ohtake	A Computational Model for Trial Reasoning.	ICAIL	1993	DBLP DOI BibTeX RDF
1	Henry Prakken	A Logical Framework for Modelling Legal Argument.	ICAIL	1993	DBLP DOI BibTeX RDF
1	Uri J. Schild, Shai Herzog	The Use of Meta-Rules in Rule Based Legal Computer Systems.	ICAIL	1993	DBLP DOI BibTeX RDF
1	Daniela Tiscornia	Meta-resoning in Law: A computational Model.	DEXA	1993	DBLP DOI BibTeX RDF
1	Giovanni Sartor	Normative conflicts in legal reasoning.	Artif. Intell. Law	1992	DBLP DOI BibTeX RDF
1	Katsumi Nitta, Yoshihisa Ohtake, Shigeru Maeda, Masayuki Ono, Hiroshi Ohsaki, Kiyokazu Sakane	HELIC-II: A Legal Reasoning System on the Parallel Inference Machine.	FGCS	1992	DBLP BibTeX RDF
1	Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa	Embedding Negation as Failure into a Model Generation Theorem Prover.	CADE	1992	DBLP DOI BibTeX RDF
1	Edwina L. Rissland	Introduction to the Special Issue on AI and Legal Reasoning.	International Journal of Man-Machine Studies	1991	DBLP DOI BibTeX RDF
1	George Vossos, Tharam S. Dillon, John Zeleznikow, Graeme Taylor	The Use of Object Oriented Principles to Develop Intelligent Legal Reasoning Systems.	Australian Computer Journal	1991	DBLP BibTeX RDF
1	Donald H. Berman, Carole D. Hafner	Incorporating Procedural Context into a Model of Case-based Legal Reasoning.	ICAIL	1991	DBLP DOI BibTeX RDF
1	G. J. van Opdorp, R. F. Walker, J. A. Schrickx, Cees Groendijk, P. H. van den Berg	Networks at Work: A Connectionist Approach to Non-Deductive Legal Reasoning.	ICAIL	1991	DBLP DOI BibTeX RDF
1	M. G. Venkateshmurthy, T. V. Geetha, R. K. Subramanian	Extraction and representation of facts from legal briefs.	Journal of Intelligent and Robotic Systems	1990	DBLP DOI BibTeX RDF	knowledge representation, Legal reasoning, facts extraction
1	Bernard Moulin, Daniel Rousseau	Knowledge Acquisition from Prescriptive Texts.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF