Meyer, John-Jules Ch.
Meyer, J.-J. Ch., 1954-
Meyer, J.-J.Ch. (John-Jules Charles), 1954-
Meyer, John-Jules Charles
Meyer, John-Jules Ch. 1954-
John-Jules Charles Meyer
VIAF ID: 59263801 ( Personal )
Permalink: http://viaf.org/viaf/59263801
Preferred Forms
- 100 0 _ ‡a John-Jules Charles Meyer
- 200 _ | ‡a Meyer ‡b John-Jules Ch.
- 100 1 _ ‡a Meyer, J.-J. Ch ‡d 1954-
-
-
-
-
-
-
-
-
- 100 1 0 ‡a Meyer, John-Jules Ch.
- 100 1 _ ‡a Meyer, John-Jules Ch. ‡d 1954-
- 100 1 _ ‡a Meyer, John-Jules Charles
4xx's: Alternate Name Forms (16)
Works
Title | Sources |
---|---|
Actions that make you change your mind : belief revision in an agent-oriented setting | |
Agent-based defeasible control in dynamic environments | |
Agenttechnologie : computers die 'denken' | |
An analysis of the Yale shooting problem by means of dynamic epistemic logic | |
Applications of compactness in the Smyth powerdomain of streams | |
ATAL 2001 | |
Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases | |
A complete epistemic logic for multiple agents : combining distributed and common knowledge | |
Coordonner flexiblement en utilisant des cultures et des valeurs. | |
Correctness of programs with function procedures [microvorm] | |
DEON 2006 | |
Deontic logic in computer science : normative system specification | |
A different approach to deontic logic : deontic logic viewed as a variant of dynamic logic | |
Dynamic logic for reasoning about actions and agents | |
Dynamics and management of reasoning processes | |
The dynamics of probabilistic structural relevance | |
Epistemic logic for AI and computer science, 1995: | |
An epistemic logic for defeasible reasoning using a meta-level architecture metaphor | |
An epistemic proof system for parallel processes | |
Formal models of agents : ESPRIT Project ModelAge final workshop selected papers | |
Formalising motivational attitudes of agents using the KARO framework | |
Formele methoden in kennisrepresentatie | |
Free choice permissions and Ross's paradox : internal vs external nondeterminism | |
Graded modalities in epistemic logic | |
Group knowledge isn't always distributed (neither is it always implicit) | |
Handbook of defeasible reasoning and uncertainty management systems | |
Informational independence: models and normal forms | |
An integrated framework for ought-to-be and ought-to-do constraints | |
An integrated modal approach to rational agents | |
Intelligent agents : issues and logics | |
Intelligent agents VIII : agent theories, architectures, and languages ; 8th international workshop, ATAL 2001, Seattle, WA, USA, August 1-3, 2001 : revised papers | |
Intelligent Technologies for Interactive Entertainment : 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28–30, 2016, Revised Selected Papers | |
J.W. de Bakker, 25 jaar semantiek | |
Knowledge representation for agents and multi-agent systems : first international workshop, Kramas 2008, Sydney, Australia, September 17, 2008, revised selected papers | |
Liber amicorum ter gelegenheid van de 50e verjaardag van John-Jules Charles Meyer | |
A logic of capabilities | |
A logical approach to the dynamics of commitments | |
Making some issues of implicit knowledge explicit | |
A modal contrastive logic : the logic of 'But'/ J.J.Ch. Meyer and W. van der Hoek. | |
Modal logics for representing incoherent knowledge | |
Non-monotonic reasoning by monotonic means | |
Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 ; revised and invited papers | |
On defaults and counterfactuals | |
On infinite computations in denotational semantics | |
On relating denotational and operational semantics for programming languages with recursion and concurrency | |
Order and metric in the stream semantics of elemental concurrency | |
The paradoxes of deontic logic revisited: a computer science perspective, or: Should computer scientists be bothered by the concerns of philosophers? | |
Pomset semantics for true concurrency with synchronization and recursion : (extended abstract) | |
Possible logics for belief | |
Possible world semantics for analogous reasoning | |
Preferential action semantics : (preliminary report) | |
Process modalities obtained as fixed points | |
Programming calculi based on fixed point transformations : semantics and applications | |
A simple solution to the "Deepest" paradox in deontic logic | |
A sound and complete logic for deontic reasoning | |
Specification and verification of multi-agent systems | |
Specifying dynamic and deontic integrity constraints | |
Temporalizing epistemic default logic | |
Tests as epistemic updates : pursuit of knowledge | |
Tractatus logico-informaticus : een verhandeling betreffende logische aspecten van de informatica | |
Unravelling nondeterminism : on having the ability to choose | |
Using culture and values to support flexible coordination | |
Using programming concepts in deontic reasoning |