Gerard R. Renardel de Lavalette

Publication Activity (10 Years)

Years Active: 1987-2018
Publications (10 Years): 2

Top Topics

Transition Systems

Top Venues

J. Log. Comput.

J. Artif. Soc. Soc. Simul.

Theor. Comput. Sci.

Publications

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