Gerard R. Renardel de Lavalette

According to our database, Gerard R. Renardel de Lavalette authored at least 28 papers between 1987 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Interpolation in propositional Horn logic.

Gerard R. Renardel de Lavalette

J. Log. Comput., 2018

2015

An Agent-Based Dialogical Model with Fuzzy Attitudes.

Piter Dykstra, Wander Jager, Corinna Elsenbroich, Rineke Verbrugge, Gerard R. Renardel de Lavalette

J. Artif. Soc. Soc. Simul., 2015

2013

Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion Dynamics.

Piter Dykstra, Corinna Elsenbroich, Wander Jager, Gerard R. Renardel de Lavalette, Rineke Verbrugge

J. Artif. Soc. Soc. Simul., 2013

2012

Finite and infinite implementation of transition systems.

Wim H. Hesselink, Gerard R. Renardel de Lavalette

Theor. Comput. Sci., 2012

Intuitionistic implication without disjunction.

Gerard R. Renardel de Lavalette, Alex Hendriks, Dick de Jongh

J. Log. Comput., 2012

2009

Strong Completeness and Limited Canonicity for PDL.

Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge

J. Log. Lang. Inf., 2009

2008

Interpolation in computing science: the semantics of modularization.

Gerard R. Renardel de Lavalette

Synth., 2008

2007

Kekulé Cells for Molecular Computation

Wim H. Hesselink, J. C. Hummelen, H. T. Jonkman, H. G. Reker, Gerard R. Renardel de Lavalette, M. H. van der Veen

CoRR, 2007

2006

Hybrid Logics with Infinitary Proof Systems.

Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge

J. Log. Comput., 2006

2005

Experiments with strategies for agents in the social interaction game Mafia.

Hendrik Wietze de Haan, Wim H. Hesselink, Gerben G. Meyer, Gerard R. Renardel de Lavalette

Proceedings of the BNAIC 2005, 2005

2004

Changing Modalities.

Gerard R. Renardel de Lavalette

J. Log. Comput., 2004

Knowledge-Based Asynchronous Programming.

Hendrik Wietze de Haan, Wim H. Hesselink, Gerard R. Renardel de Lavalette

Fundam. Informaticae, 2004

1998

Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems.

Dieter Fensel, Rix Groenboom, Gerard R. Renardel de Lavalette

Data Knowl. Eng., 1998

1997

Formalisation for decision support in anaesthesiology.

Gerard R. Renardel de Lavalette, Rix Groenboom, Ernest Rotterdam, Frank van Harmelen, Annette ten Teije, Fred de Geus

Artif. Intell. Medicine, 1997

1996

Formalizing Anaesthesia: a case study in formal specification.

Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1993

From Implicit via Inductive to Explicit Definitions.

Gerard R. Renardel de Lavalette

Proceedings of the Semantics of Specification Languages (SoSL), 1993

The Static Part of the Design Language COLD-K.

Gerard R. Renardel de Lavalette

Proceedings of the Semantics of Specification Languages (SoSL), 1993

Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification.

Rix Groenboom, Gerard R. Renardel de Lavalette

Proceedings of the Semantics of Specification Languages (SoSL), 1993

1992

Strictness Analysis via Abstract Interpretation for Recursively Defined Types

Gerard R. Renardel de Lavalette

Inf. Comput., August, 1992

1991

Computations in Fragments of Intuitionistic Propositional Logic.

Dick De Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette

J. Autom. Reason., 1991

Query Optimization Using Rewrite Rules.

Sieger van Denneheuvel, Karen L. Kwast, Gerard R. Renardel de Lavalette, Edith Spaan

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

LPF and MPL_omega - A Logical Comparison of VDM SL and COLD-K.

Cornelis A. Middelburg, Gerard R. Renardel de Lavalette

Proceedings of the VDM '91, 1991

Formal Development of a Serial Copy Management System.

Gerard R. Renardel de Lavalette

Proceedings of the VDM '91, 1991

Logical Semantics of Modularisation.

Gerard R. Renardel de Lavalette

Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990

Extended Bar Induction in Applicative Theories.

Gerard R. Renardel de Lavalette

Ann. Pure Appl. Log., 1990

1989

Interpolation in Fragments of Intuitionistic Propositional Logic.

Gerard R. Renardel de Lavalette

J. Symb. Log., 1989

Modularisation, Parametrisation, Interpolation.

Gerard R. Renardel de Lavalette

J. Inf. Process. Cybern., 1989

1987

The Logic MPL_omega.

C. P. J. Koymanns, Gerard R. Renardel de Lavalette

Proceedings of the Algebraic Methods: Theory, 1987