Gerard R. Renardel de Lavalette

29 papers B 1Journal 19Unranked 9
YearRankTypeTitle / Venue / Authors
2018 J jnl
Interpolation in propositional Horn logic.
J. Log. Comput.
Gerard R. Renardel de Lavalette
2015 J jnl
An Agent-Based Dialogical Model with Fuzzy Attitudes.
J. Artif. Soc. Soc. Simul.
Piter Dykstra, Wander Jager, Corinna Elsenbroich, Rineke Verbrugge, Gerard R. Renardel de Lavalette
2013 J jnl
Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion Dynamics.
J. Artif. Soc. Soc. Simul.
Piter Dykstra, Corinna Elsenbroich, Wander Jager, Gerard R. Renardel de Lavalette, Rineke Verbrugge
2012 J jnl
Finite and infinite implementation of transition systems.
Theor. Comput. Sci.
Wim H. Hesselink, Gerard R. Renardel de Lavalette
2012 J jnl
Intuitionistic implication without disjunction.
J. Log. Comput.
Gerard R. Renardel de Lavalette, Alex Hendriks, Dick de Jongh
2009 J jnl
Strong Completeness and Limited Canonicity for PDL.
J. Log. Lang. Inf.
Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge
2008 J jnl
Interpolation in computing science: the semantics of modularization.
Synth.
Gerard R. Renardel de Lavalette
2008 J jnl
Strong Completeness and Limited Canonicity for PDL.
J. Log. Lang. Inf.
Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge
2007 J jnl
Kekulé Cells for Molecular Computation
CoRR
Wim H. Hesselink, J. C. Hummelen, H. T. Jonkman, H. G. Reker, Gerard R. Renardel de Lavalette, M. H. van der Veen
2006 J jnl
Hybrid Logics with Infinitary Proof Systems.
J. Log. Comput.
Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge
2005 — conf
Experiments with strategies for agents in the social interaction game Mafia.
BNAIC
Hendrik Wietze de Haan, Wim H. Hesselink, Gerben G. Meyer, Gerard R. Renardel de Lavalette
2004 J jnl
Changing Modalities.
J. Log. Comput.
Gerard R. Renardel de Lavalette
2004 J jnl
Knowledge-Based Asynchronous Programming.
Fundam. Informaticae
Hendrik Wietze de Haan, Wim H. Hesselink, Gerard R. Renardel de Lavalette
1998 J jnl
Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems.
Data Knowl. Eng.
Dieter Fensel, Rix Groenboom, Gerard R. Renardel de Lavalette
1997 J jnl
Formalisation for decision support in anaesthesiology.
Artif. Intell. Medicine
Gerard R. Renardel de Lavalette, Rix Groenboom, Ernest Rotterdam, Frank van Harmelen, Annette ten Teije, Fred de Geus
1996 — conf
Formalizing Anaesthesia: a case study in formal specification.
FME
Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette
1993 — conf
From Implicit via Inductive to Explicit Definitions.
Semantics of Specification Languages
Gerard R. Renardel de Lavalette
1993 — conf
Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification.
Semantics of Specification Languages
Rix Groenboom, Gerard R. Renardel de Lavalette
1993 — conf
The Static Part of the Design Language COLD-K.
Semantics of Specification Languages
Gerard R. Renardel de Lavalette
1992 J jnl
Strictness Analysis via Abstract Interpretation for Recursively Defined Types
Inf. Comput.
Gerard R. Renardel de Lavalette
1991 J jnl
Computations in Fragments of Intuitionistic Propositional Logic.
J. Autom. Reason.
Dick de Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette
1991 — conf
Formal Development of a Serial Copy Management System.
VDM Europe (1)
Gerard R. Renardel de Lavalette
1991 — conf
LPF and MPL
VDM Europe (1)
Cornelis A. Middelburg, Gerard R. Renardel de Lavalette
1991 B conf
Logical Semantics of Modularisation.
CSL
Gerard R. Renardel de Lavalette
1991 — conf
Query Optimization Using Rewrite Rules.
RTA
Sieger van Denneheuvel, Karen L. Kwast, Gerard R. Renardel de Lavalette, Edith Spaan
1990 J jnl
Extended Bar Induction in Applicative Theories.
Ann. Pure Appl. Log.
Gerard R. Renardel de Lavalette
1989 J jnl
Interpolation in Fragments of Intuitionistic Propositional Logic.
J. Symb. Log.
Gerard R. Renardel de Lavalette
1989 J jnl
Modularisation, Parametrisation, Interpolation.
J. Inf. Process. Cybern.
Gerard R. Renardel de Lavalette
1987 — conf
The Logic MPL
Algebraic Methods
C. P. J. Koymanns, Gerard R. Renardel de Lavalette