John-Jules Ch. Meyer (meyer-jjc)

My contributions to Philosophie.ch

Bibliography

Broersen, Jan and Meyer, John-Jules Ch. 2014. “Action, Failure and Free Will Choice in Epistemic stit Logic.” in Epistemology, Context, and Formalism, edited by Franck Lihoreau and Manuel Rebuschi, pp. 141–168. Synthese Library n. 369. Dordrecht: Springer.
Dignum, Frank, Meyer, John-Jules Ch. and Wieringa, Roel J. 1996. “Free Choice and Contextually Permitted Actions.” Studia Logica: An International Journal for Symbolic Logic 57(1): 193–220.
Dignum, Frank, Meyer, John-Jules Ch., Wieringa, Roel J. and Kuiper, R. 1996. “A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation.” in \(\Delta\)EON’96. Deontic Logic, Agency and Normative Systems, Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11–13 January 1996, edited by Mark A. Brown and José Carmo, pp. 80–97. Berlin: Springer.
Grossi, Davide, Meyer, John-Jules Ch. and Dignum, Frank. 2006. “Classificatory Aspects of Counts-as: An Analysis in Modal Logic.” Journal of Logic and Computation 16: 613–643.
Grossi, Davide, Meyer, John-Jules Ch. and Dignum, Frank. 2007. “On the Logic of Constitutive Rules.” in Normative Multi-Agent Systems, edited by Guido Boella, Leendert W. N. van der Torre, and Harko Verhagen. Dagstuhl Seminar Proceedings n. 7122. Dagstuhl: Leibniz-Zentrum für Informatik.
van den Hoek, Wiebe, van Linder, Bernd and Meyer, John-Jules Ch. 1999. “An Integrated Modal Approach to Rational Agents.” in Foundations of Rational Agency, edited by Michael J. Wooldridge and Anand S. Rao, pp. 133–168. Dordrecht: Kluwer Academic Publishers.
van den Hoek, Wiebe, van Linder, Bernd and Meyer, John-Jules Ch. 2000. “On Agents That Have the Ability to Choose.” Studia Logica: An International Journal for Symbolic Logic 66(1): 79–119.
van den Hoek, Wiebe and Meyer, John-Jules Ch. 1989. “Possible Logics for Belief.” Logique et Analyse 32(127–128): 177–194.
van den Hoek, Wiebe and Meyer, John-Jules Ch. 1991. “Graded Modalities in Epistemic Logic.” Logique et Analyse 34(133–134): 251–270.
van den Hoek, Wiebe and Meyer, John-Jules Ch. 1992. “Making Some Issues of Explicit Knowledge Explicit.” International Journal of Foundations of Computer Science 3(2): 193–223.
van den Hoek, Wiebe and Meyer, John-Jules Ch. 1997. “A Complete Epistemic Logic for Multiple Agents.” in Epistemic Logic and the Theory of Games and Decisions, edited by Michael O. L. Bacharach, L. A. Gérard-Varet, Philippe Mongin, and Hyun Song Shin, pp. 35–68. Dordrecht: Kluwer Academic Publishers.
van den Hoek, Wiebe and Meyer, John-Jules Ch. 1998. “Temporalizing Epistemic Default Logic.” Journal of Logic, Language, and Information 7(3): 341–367.
van den Hoek, Wiebe, Meyer, John-Jules Ch. and Treur, Jan. 1994. “Formal Semantics of Temporal Epistemic Reflection.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 332–352. Berlin: Springer.
van den Hoek, Wiebe, Meyer, John-Jules Ch. and Treur, Jan. 2001a. “Formal Semantics of Temporal Epistemic Reflection.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VI: Dynamics and Management of Reasoning Processes, edited by John-Jules Ch. Meyer and Jan Treur, pp. 41–64. Dordrecht: Kluwer Academic Publishers.
van den Hoek, Wiebe, Meyer, John-Jules Ch. and Treur, Jan. 2001b. “Temporalized Epistemic Default Logic.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VI: Dynamics and Management of Reasoning Processes, edited by John-Jules Ch. Meyer and Jan Treur, pp. 177–194. Dordrecht: Kluwer Academic Publishers.
Hulst, M. van der and Meyer, John-Jules Ch. 1994. “An Epistemic Proof System for Parallel Processes.” in TARK 1994. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fifth Conference, edited by Ronald Fagin, pp. 243–254. San Francisco, California: Morgan Kaufmann Publishers.
Krabbendam, J. and Meyer, John-Jules Ch. 1999. “Contextual Deontic Logic.” in Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science, edited by Paul McNamara and Henry Prakken, pp. 347–362. Frontiers in Artificial Intelligence and its Applications. Amsterdam: IOS Press.
Lebbink, Henk-Jan, Witteman, Cilia and Meyer, John-Jules Ch. 2003. “A Dialogue to Agree to Disagree about InconsistentInformation.” in Diabruck 2003: Proceedings of the 7th Workshop on the Semantics and Pragmatics of Dialogue, edited by Ivanna Kruijff-Korbayová and Claudia Kosny, pp. 83–90. Saarbrücken: Universität des Saarlandes.
van Linder, Bernd, van den Hoek, Wiebe and Meyer, John-Jules Ch. 1995. “Actions that Make you Change Your Mind.” in Knowledge and Belief in Philosophy and Artificial Intelligence, edited by Armin Laux and Heinrich Theodor Wansing, pp. 103–146. Berlin: Akademie Verlag.
van Linder, Bernd, van den Hoek, Wiebe and Meyer, John-Jules Ch. 1997. “Seeing is Believing, and So are Hearing and Jumping.” Journal of Logic, Language, and Information 6(1): 33–61.
van Linder, Bernd, van den Hoek, Wiebe and Meyer, John-Jules Ch. 2001. “The Dynamics of Default Reasoning.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VI: Dynamics and Management of Reasoning Processes, edited by John-Jules Ch. Meyer and Jan Treur, pp. 125–158. Dordrecht: Kluwer Academic Publishers.
van Linder, Bernd, van den Hoek, Wiebe and Meyer, John-Jules Ch. 2002a. “Formalising Abilities and Opportunities of Agents.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VII: Agent-Based Defeasible Control in Dynamic Environments, edited by John-Jules Ch. Meyer and Jan Treur, pp. 253–308. Dordrecht: Kluwer Academic Publishers.
van Linder, Bernd, van den Hoek, Wiebe and Meyer, John-Jules Ch. 2002b. “Seeing is Believing (And so are Hearing and Jumping).” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VII: Agent-Based Defeasible Control in Dynamic Environments, edited by John-Jules Ch. Meyer and Jan Treur, pp. 309–340. Dordrecht: Kluwer Academic Publishers.
Meyer, John-Jules Ch. 1987. “A Simple Solution to the ‘Deepest’ Paradox in Deontic Logic.” Logique et Analyse 30(117–118): 81–90.
Meyer, John-Jules Ch. 1988. “A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic.” Notre Dame Journal of Formal Logic 29: 109–136.
Meyer, John-Jules Ch. 1989a. “An Analysis of the Yale Shooting Problem by Means of Dynamic Epistemic Logic.” ir-201. Amsterdam: Fakulteit Wiskunde en Informatica, Vrije Universiteit Amsterdam.
Meyer, John-Jules Ch. 1989b. “Using Programming Concepts in Deontic Reasoning.” in Semantics and Contextual Expression, edited by Renate Bartsch, Johan van Benthem, and Peter van emde Boas, pp. 117–146. Groningen-Amsterdam Studies in Semantics n. 11. Berlin: de Gruyter Mouton.
Meyer, John-Jules Ch. 2000. “Dynamic Logic for Reasoning about Actions and Agents.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 281–311. Dordrecht: Kluwer Academic Publishers.
Meyer, John-Jules Ch. 2001. “Epistemic Logic.” in The Blackwell Guide to Philosophical Logic, edited by Lou F. Goble, pp. 183–202. Blackwell Philosophy Guides. Oxford: Blackwell Publishers, doi:10.1002/9781405164801.
Meyer, John-Jules Ch. 2003. “Modal Epistemic and Doxastic Logic.” in Handbook of Philosophical Logic, Volume X, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 1–38. Dordrecht: Springer.
Meyer, John-Jules Ch. 2014. “Logics for Intelligent Agents and Multi Agent Systems.” in Handbook of the History of Logic. Volume 9: Computational Logic, edited by Jörg H. Siekmann and Dov M. Gabbay, pp. 629–658. Amsterdam: Elsevier Science Publishers B.V.
Meyer, John-Jules Ch. and Doherty, Patrick. 2002. “Preferential Action Semantics.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VII: Agent-Based Defeasible Control in Dynamic Environments, edited by John-Jules Ch. Meyer and Jan Treur, pp. 411–426. Dordrecht: Kluwer Academic Publishers.
Meyer, John-Jules Ch. and van den Hoek, Wiebe. 1991. “Non-Monotonic Reasoning by Monotonic Means.” ir-171. Amsterdam: Fakulteit Wiskunde en Informatica, Vrije Universiteit Amsterdam.
Meyer, John-Jules Ch. and van den Hoek, Wiebe. 1994. “A Modal Contrastive Logic: The Logic of ‘But’ .” UU-CS-1994-07. Utrecht: Utrecht University, Department of Computer Science.
Meyer, John-Jules Ch. and van den Hoek, Wiebe. 1995. Epistemic Logic for AI and Computer Science. Cambridge: Cambridge University Press.
Meyer, John-Jules Ch. and van den Hoek, Wiebe. 1998. “Modal Logics for Representing Incoherent Knowledge.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems II: Reasoning with Actual and Potential Contradictions, edited by Philippe Besnard and Anthony Hunter, pp. 37–75. Dordrecht: Kluwer Academic Publishers.
Meyer, John-Jules Ch., van den Hoek, Wiebe and van Linder, Bernd. 1999. “A Logical Approach to the Dynamics of Commitments.” Artificial Intelligence 113(1–2): 1–40.
Meyer, John-Jules Ch., van den Hoek, Wiebe and van Linder, Bernd. 2002. “Motivational Attitudes in the KARO Framework.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VII: Agent-Based Defeasible Control in Dynamic Environments, edited by John-Jules Ch. Meyer and Jan Treur, pp. 341–356. Dordrecht: Kluwer Academic Publishers.
Meyer, John-Jules Ch., van den Hoek, Wiebe and Vreeswijk, Gerard A. W. 1991a. “Epistemic Logic for Computer Science: A Tutorial (Part I).” EATCS Bulletin 44: 242–270.
Meyer, John-Jules Ch., van den Hoek, Wiebe and Vreeswijk, Gerard A. W. 1991b. “Epistemic Logic for Computer Science: A Tutorial (Part II).” EATCS Bulletin 45: 256–287.
Meyer, John-Jules Ch. and Schobbens, Pierre-Yves. 1999. Formal Models of Agents: Esprit Project Modelage Final Workshop Selected Papers. Berlin: Springer.
Meyer, John-Jules Ch. and Treur, Jan, eds. 2001a. Handbook of Defeasible Reasoning and Uncertainty Management Systems VI: Dynamics and Management of Reasoning Processes. Dordrecht: Kluwer Academic Publishers.
Meyer, John-Jules Ch. and Treur, Jan. 2001b. “Introduction.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VI: Dynamics and Management of Reasoning Processes, edited by John-Jules Ch. Meyer and Jan Treur, pp. 1–6. Dordrecht: Kluwer Academic Publishers.
Meyer, John-Jules Ch. and Treur, Jan. 2001c. “Basic Concepts.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VI: Dynamics and Management of Reasoning Processes, edited by John-Jules Ch. Meyer and Jan Treur, pp. 7–14. Dordrecht: Kluwer Academic Publishers.
Meyer, John-Jules Ch. and Treur, Jan, eds. 2002a. Handbook of Defeasible Reasoning and Uncertainty Management Systems VII: Agent-Based Defeasible Control in Dynamic Environments. Dordrecht: Kluwer Academic Publishers.
Meyer, John-Jules Ch. and Treur, Jan. 2002b. “Introduction.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VII: Agent-Based Defeasible Control in Dynamic Environments, edited by John-Jules Ch. Meyer and Jan Treur, pp. 3–8. Dordrecht: Kluwer Academic Publishers.
Meyer, John-Jules Ch. and Treur, Jan. 2002c. “Basic Concepts.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VII: Agent-Based Defeasible Control in Dynamic Environments, edited by John-Jules Ch. Meyer and Jan Treur, pp. 9–18. Dordrecht: Kluwer Academic Publishers.
Meyer, John-Jules Ch. and Wieringa, Roel J., eds. 1994. \(\Delta\)EON’94. Deontic Logic in Computer Science: Normative System Specification. Hoboken, New Jersey: John Wiley; Sons, Inc.
Segerberg, Krister, Meyer, John-Jules Ch. and Kracht, Marcus. 2009. “The Logic of Action.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2009/entries/logic-action/.
Segerberg, Krister, Meyer, John-Jules Ch. and Kracht, Marcus. 2013. “The Logic of Action.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2013/entries/logic-action/.