John F. Horty

Marija Slavkovik

Leendert van der Torre

Aleks Knoks

Dagstuhl Reports, 2023

The Importance of Intermediate Factors.

[BibT_eX]

[DOI]

Ilaria Canavotto

Proceedings of the Legal Knowledge and Information Systems, 2023

Reasoning with hierarchies of open-textured predicates.

[BibT_eX]

[DOI]

Ilaria Canavotto

Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023

2022

Piecemeal Knowledge Acquisition for Computational Normative Reasoning.

[BibT_eX]

[DOI]

Ilaria Canavotto

Proceedings of the AIES '22: AAAI/ACM Conference on AI, Ethics, and Society, Oxford, United Kingdom, May 19, 2022

2021

Modifying the reason model.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2021

2020

Open Texture and Defeasible Semantic Constraint.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2020

2019

Reasoning with dimensions and magnitudes.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2019

2018

Epistemic Oughts in STIT Semantics (Abbreviated Version).

[BibT_eX]

Proceedings of the Deontic Logic and Normative Systems - 14th International Conference, 2018

2017

Action Types in STIT Semantics.

[BibT_eX]

[DOI]

Eric Pacuit

Rev. Symb. Log., 2017

2015

Introduction.

[BibT_eX]

[DOI]

Frank Veltman

J. Philos. Log., 2015

2014

Stit Logics, Games, Knowledge, and Freedom.

[BibT_eX]

[DOI]

Roberto Ciuni

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2012

An appreciation of John Pollock's work on the computational study of argument.

[BibT_eX]

[DOI]

Henry Prakken

Argument Comput., 2012

A factor-based definition of precedential constraint.

[BibT_eX]

[DOI]

Trevor J. M. Bench-Capon

Artif. Intell. Law, 2012

2011

Reasons and precedent.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Artificial Intelligence and Law, 2011

2007

Defaults with Priorities.

[BibT_eX]

[DOI]

J. Philos. Log., 2007

2002

Skepticism and floating conclusions.

[BibT_eX]

[DOI]

Artif. Intell., 2002

2001

Argument construction and reinstatement in logics for defeasible reasoning.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2001

Evaluating new options in the context of existing plans.

[BibT_eX]

[DOI]

Artif. Intell., 2001

2000

Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches.

[BibT_eX]

[DOI]

Ioannis Tsamardinos

Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999

There's More to Life than Making Plans: Plan Management in Dynamic, Multiagent Environments.

[BibT_eX]

[DOI]

AI Mag., 1999

Precedent, deontic logic, and inheritance.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Artificial Intelligence and Law, 1999

1998

Evaluating Qptions in a Context.

[BibT_eX]

Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), 1998

1996

Agency and obligation.

[BibT_eX]

[DOI]

Synth., 1996

Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision.

[BibT_eX]

Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

Combining Agency and Obligation (Preliminary Version).

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic, Agency and Normative Systems, 1996

1995

The deliberative stit: A study of action, omission, ability, and obligation.

[BibT_eX]

[DOI]

Nuel Belnap

J. Philos. Log., 1995

1994

Moral dilemmas and nonmonotonic logic.

[BibT_eX]

[DOI]

J. Philos. Log., 1994

1993

View Updates in Stratified Disjunctive Databases.

[BibT_eX]

[DOI]

J. Autom. Reason., 1993

Deontic Logic as Founded on Nonmonotonic Logic.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1993

1991

Reasoning about ignorance: a note on the Bush-Gorbachev problem.

[BibT_eX]

Sarit Kraus

Donald Perlis

Fundam. Informaticae, 1991

Conditionals and artificial intelligence.

[BibT_eX]

Fundam. Informaticae, 1991

A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance.

[BibT_eX]

[DOI]

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks.

[BibT_eX]

[DOI]

Artif. Intell., 1990

Boolean Extensions of Inheritance Networks.

[BibT_eX]

[DOI]

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1988

Logics for Inheritance Theory.

[BibT_eX]

[DOI]

Proceedings of the Non-Monotonic Reasoning, 1988

Mixing Strict and Defeasible Inheritance.

[BibT_eX]

[DOI]

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987

A Calculus for Inheritance in Monotonic Semantic Nets.

[BibT_eX]

Proceedings of the Methodologies for Intelligent Systems, 1987

A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems.

[BibT_eX]

[DOI]