Add to ORKGIn a range of contexts, one comes across processes resembling inference, but where input propositions are not in general included among outputs, and the operation is not in any way reversible. Examples arise in contexts of conditional obligations, goals, ideals, preferences, actions, and beliefs. Our purpose is to develop a general theory of propositional input/output operations. Particular attention is given to the special case where outputs may be recycled as inputs
The logic of conditionals (and, especially, of subjunctive or counterfactual conditionals) is a long...
We look at two fundamental logical processes, often intertwined in planning and problem solving: inf...
We translate unconstrained and constrained input/output logics as introduced by Makinson and van der...
In a range of contexts, one comes across processes resembling inference, but where input proposition...
In a range of contexts, one comes across processes resembling inference, but whe...
peer reviewedMakinson and van der Torre [13] introduce a number of input/output (I/O) logics to reas...
We explain the {em raison d\u27^etre} and basic ideas of input/output logic, sketching the central e...
peer reviewedInput/Output (I/O) logics address the abstract study of conditional norms. Here, norms ...
Abstract. In this paper we study three semantics to combine constitutive and regulative norms. In th...
International audienceIn this paper we study AGM contraction and revision of rules usinginput/output...
Makinson and van der Torre [14] introduce a number of in- put/output (I/O) logics to reason about co...
AbstractWe examine the notion of conditionals and the role of conditionals in inductive logics and a...
I will analyse some properties of abduction that are essential from a logical standpoint. When deali...
AbstractThe central research question of this paper is how notions developed in interactive computin...
We establish a novel connection between two research areas in non-classical logics which have been d...
The logic of conditionals (and, especially, of subjunctive or counterfactual conditionals) is a long...
We look at two fundamental logical processes, often intertwined in planning and problem solving: inf...
We translate unconstrained and constrained input/output logics as introduced by Makinson and van der...
In a range of contexts, one comes across processes resembling inference, but where input proposition...
In a range of contexts, one comes across processes resembling inference, but whe...
peer reviewedMakinson and van der Torre [13] introduce a number of input/output (I/O) logics to reas...
We explain the {em raison d\u27^etre} and basic ideas of input/output logic, sketching the central e...
peer reviewedInput/Output (I/O) logics address the abstract study of conditional norms. Here, norms ...
Abstract. In this paper we study three semantics to combine constitutive and regulative norms. In th...
International audienceIn this paper we study AGM contraction and revision of rules usinginput/output...
Makinson and van der Torre [14] introduce a number of in- put/output (I/O) logics to reason about co...
AbstractWe examine the notion of conditionals and the role of conditionals in inductive logics and a...
I will analyse some properties of abduction that are essential from a logical standpoint. When deali...
AbstractThe central research question of this paper is how notions developed in interactive computin...
We establish a novel connection between two research areas in non-classical logics which have been d...
The logic of conditionals (and, especially, of subjunctive or counterfactual conditionals) is a long...
We look at two fundamental logical processes, often intertwined in planning and problem solving: inf...
We translate unconstrained and constrained input/output logics as introduced by Makinson and van der...