The following pages link to John-Jules Ch. Meyer (Q375309):
Displayed 50 items.
- A formal model of emotion triggers: an approach for BDI agents (Q375310) (← links)
- Modal logics for communicating systems (Q578896) (← links)
- Item:Q375309 (redirect page) (← links)
- Reasoning about plan revision in BDI agent programs (Q655407) (← links)
- Seeing is believing. And so are hearing and jumping (Q676178) (← links)
- Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
- Corrigendum: On infinite computations in denotational semantics (Q789892) (← links)
- Expressiveness and the completeness of Hoare's logic (Q800082) (← links)
- Equivalences among logics of programs (Q801684) (← links)
- Process algebra and constraint programming for modeling interactions in MAS (Q814899) (← links)
- Semantics of plan revision in intelligent agents (Q820137) (← links)
- A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic (Q909653) (← links)
- Bringing it about (Q910393) (← links)
- An elementary proof for some semantic characterizations of nondeterministic Floyd-Hoare logic (Q910396) (← links)
- Item:Q375309 (redirect page) (← links)
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- The many faces of counts-as: A formal analysis of constitutive rules (Q931777) (← links)
- Item:Q375309 (redirect page) (← links)
- Item:Q1036056 (redirect page) (← links)
- Item:Q789890 (redirect page) (← links)
- Item:Q1036056 (redirect page) (← links)
- Determining the environment: a modal logic for closed interaction (Q1036057) (← links)
- On infinite computations in denotational semantics (Q1051414) (← links)
- Optimal fixedpoints of logic programs (Q1069694) (← links)
- Programs and logics (Q1070221) (← links)
- Merging regular processes by means of fixed-point theory (Q1082070) (← links)
- Order and metric in the stream semantics of elemental concurrency (Q1085602) (← links)
- Infinite streams and finite observations in the semantics of uniform concurrency (Q1091800) (← links)
- First-order approximation of algorithmic theories (Q1095655) (← links)
- A fixpoint semantics of Horn sentences based on substitution sets (Q1100934) (← links)
- Applications of compactness in the Smyth powerdomain of streams (Q1107301) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- Designing equivalent semantic models for process creation (Q1107305) (← links)
- Metric semantics for concurrency (Q1113660) (← links)
- Interpretations of recursion under unbounded nondeterminacy (Q1115173) (← links)
- Hiding in stream semantics of uniform concurrency (Q1120267) (← links)
- Type theory and concurrency (Q1124322) (← links)
- Semantic models for concurrent logic languages (Q1177921) (← links)
- Temporalizing epistemic default logic (Q1289106) (← links)
- A functional logic for higher level reasoning about computation (Q1318281) (← links)
- The completeness of functional logic (Q1318282) (← links)
- Linear time and branching time semantics for recursion with merge (Q1348527) (← links)
- Counterfactual reasoning by (means of) defaults (Q1353877) (← links)
- Actors, actions, and initiative in normative system specification (Q1353968) (← links)
- The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? (Q1360685) (← links)
- A modal contrastive logic: The logic of ``but'' (Q1380429) (← links)
- A fully abstract model for the exchange of information in multi-agent systems. (Q1401189) (← links)
- Group knowledge is not always distributed (neither is it always implicit) (Q1806307) (← links)
- Typing and computational properties of lambda expressions (Q1819575) (← links)
- On the elimination of iteration quantifiers in a fragment of algorithmic logic (Q1837179) (← links)
- On agents that have the ability to choose (Q1840648) (← links)
- Free choice and contextually permitted actions (Q1922828) (← links)
- A logical approach to the dynamics of commitments (Q1978378) (← links)