Meyer, John-Jules Charles (1954-)

A cumulative default logic based on epistemic states / J.-J.Ch. Meyer, W. van der Hoekschema:ProductModel A different approach to deontic logic : deontic logic viewed as a variant of dynamic logic / J.-J. Ch. Meyerschema:ProductModel A logical approach to the dynamics of commitments / John-Jules Meyer, Wiebe van der Hoek, Bernd van Linderschema:ProductModel A modal contrastive logic / J.-J.Ch. Meyer, W. van der Hoekschema:ProductModel A modal contrastive logic : the logic of 'But'/ J.-J.Ch. Meyer and W. van der Hoekschema:ProductModel A modal contrastive logic : the logic of 'But'/ J.J.Ch. Meyer and W. van der Hoekschema:ProductModel A simple solution to the "Deepest" paradox in deontic logic / J.-J.Ch. Meijerschema:ProductModel A sound and complete logic for deontic reasoning / J.-J. Ch. Meyerschema:ProductModel Agenttechnologie : computers die 'denken' / auteur: John-Jules Meyerschema:ProductModel An analysis of the Yale shooting problem by means of dynamic epistemic logic / J.-J.Ch. Meyerschema:ProductModel An epistemic logic for defeasible reasoning using a meta-level architecture metaphor / J.-J.Ch. Meyer, W. van der Hoekschema:ProductModel Applications of compactness in the Smyth powerdomain of streams / J.-J. Ch. Meyer, E.P. de Vinkschema:ProductModel Denotational semantics for 'true' concurrency / J.-J. Ch. Meyer, E.P. de Vinkschema:ProductModel Drums 2 ESPRIT III (No.6156) deliverable D6.2 (WP 6.3) : graded model and epistemic logic / J.-J.Ch. Meyer and W. van der Meer [i.e. W. van der Hoek]schema:ProductModel Dynamic logic for reasoning about actions and agents / John-Jules Meyerschema:ProductModel Epistemic logic / John-Jules Meyerschema:ProductModel Epistemic logic for computer science : a tutorial / J.-J.Ch. Meyer, W. van der Hoek, G.A.W. Vreeswijkschema:ProductModel Formal methods in knowledge representation / J.-J.Ch. Meijerschema:ProductModel Formele methoden in kennisrepresentatie / J.-J.Ch. Meijerschema:ProductModel Free choice permissions and Ross's paradox : internal vs external nondeterminism / J.-J. Ch. Meyerschema:ProductModel ... show all 38

A complete epistemic logic for multiple agents : combining distributed and common knowledge / W. van der Hoek and J.J.-Ch. Meyerschema:ProductModel A knowledge-based compositional proof system for parallel processes / M. van Hulst and J.-J.Ch. Meyerschema:ProductModel A logic of capabilities / W. van der Hoek, B. van Linder, J.-J.Ch. Meyerschema:ProductModel Actions that make you change your mind : belief revision in an agent-oriented setting / B. van Linder and W. van der Hoek, and J.-J.Ch. Meyerschema:ProductModel Actors, actions, and initiative in normative system specification / R.J. Wieringa, J.-J.Ch. Meijerschema:ProductModel Agent-based defeasible control in dynamic environments / volume ed.: J.-J.Ch. Meyer and J. Treurschema:ProductModel An epistemic proof system for parallel processes / M. van Hulst and J.-J.Ch. Meyerschema:ProductModel An integrated framework for ought-to-be and ought-to-do constraints / P. d'Altan, J.-J.Ch. Meyer and R.J. Wieringaschema:ProductModel An integrated framework for ought-to-be and ought-to-do constraints / P. d'Altan, J.-J.Ch. Meyer, R.J. Wieringaschema:ProductModel An integrated modal approach to rational agents / W. van der Hoek, B. van Linder and J.-J.Ch. Meyerschema:ProductModel Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases / P. Spruit, R. Wieringa, J.-J.Ch. Meyerschema:ProductModel Characterising normal forms for informational independence / L.C. van der Gaag and J.-J.Ch. Meyerschema:ProductModel Correctness of programs with function procedures (extended abstract) / by J. W. de Bakker, J. W. Klop and J.-J. Ch. Meyerschema:ProductModel Correctness of programs with function procedures / J.W. de Bakker, J.W. Klop & J.-J. Ch. Meyerschema:ProductModel Correctness of programs with function procedures [microvorm] / J.W. de Bakker, J.W.Klop, J.-J.Ch. Meyerschema:ProductModel Dynamics and management of reasoning processes / volume ed.: J.-J.Ch. Meyer and J. Treurschema:ProductModel Explicitating some issues in implicit knowledge / W. van der Hoek, J.J.Ch. Meyerschema:ProductModel Formalising motivational attitudes of agents using the KARO framework / B. van Linder, J.-J.Ch. Meyer, and W. van der Hoekschema:ProductModel Graded modalities in epistemic logic / W. van der Hoek, J.-J.Ch. Meijerschema:ProductModel Group knowledge isn't always distributed (neither is it always implicit) / W. van der Hoek, B. van Linder, J.-J.Ch. Meyerschema:ProductModel ... show all 39