| [11] | Two-phase deontic logic (L. Van der Torre, Y.H. Tan), In Logique et Analyse, volume 43, 2000.
[bib] [pdf] |
| [10] | Input/output logics (D. Makinson, L. Van Der Torre), In Journal of Philosophical Logic, Springer, volume 29, 2000.
[bib] [pdf] |
| [9] | The Logic Of Reusable Propositional Output With The Fulfilment Constraint (Leendert van der Torre), Chapter in Labelled Deduction, volume 17 of Applied Logic Series, Kluwer, 2000.
[bib] [pdf] |
| [8] | Agents recognizing emergence (L. van der Torre, F. Wan), In Proceedings of the Belgium/Dutch AI Conference (BNAIC'2000), Kaatsheuvel, 2000.
[bib] [pdf] |
| [7] | Negotiation protocols and dialogue games (M. Dastani, J. Hulstijn, L. van der Torre), In Proceedings of the Belgium/Dutch AI Conference (BNAIC'2000), Kaatsheuvel, 2000.
[bib] [pdf] |
| [6] | Leveled commitment and trust in negotiation (J. Broersen, M. Dastani, L. van der Torre), In Proceedings of the Autonomous Agents 2000 Workshop on Deception, Fraud and Trust in Agent Societies, Barcelona, 2000.
[bib] [pdf] |
| [5] | Input-output logics (D. Makinson, L. van der Torre), In Proceedings of the Fifth Workshop on Deontic Logic in Computer Science (Deon'2000), Toulouse, 2000.
[bib] [pdf] |
| [4] | Dynamic desires (M. Dastani, Z. Huang, L. van der Torre), In Proceedings of the ICMAS2000 Workshop on game-theoretic and decision-theoretic approaches to agency (GTDT 2000), 2000.
[bib] [pdf] |
| [3] | Contextual Deontic Logic: violation contexts and factual defeasibility (Leendert van der Torre), Chapter in Formal Aspects of Context, Applied Logic Series (P. Bonzon, M. Cavalcanti, R. Nossum, eds.), Kluwer, 2000.
[bib] [pdf] |
| [2] | Consistency constraints for input/output logic: a comparative review (D. Makinson, L. van der Torre), In Proceedings of the Fifth Workshop on Deontic Logic in Computer Science (Deon'2000), Toulouse, 2000.
[bib] [pdf] |
| [1] | Causal deontic logic (L. van der Torre), In Proceedings of the Fifth Workshop on Deontic Logic in Computer Science (Deon'2000), Toulouse, 2000.
[bib] [pdf] |