Gerard R. Renardel de Lavalette

Affiliations:
  • University of Groningen, Netherlands


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Interpolation in propositional Horn logic.
J. Log. Comput., 2018

2015
An Agent-Based Dialogical Model with Fuzzy Attitudes.
J. Artif. Soc. Soc. Simul., 2015

2013
Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion Dynamics.
J. Artif. Soc. Soc. Simul., 2013

2012
Finite and infinite implementation of transition systems.
Theor. Comput. Sci., 2012

Intuitionistic implication without disjunction.
J. Log. Comput., 2012

2008
Interpolation in computing science: the semantics of modularization.
Synth., 2008

Strong Completeness and Limited Canonicity for PDL.
J. Log. Lang. Inf., 2008

2007
Kekulé Cells for Molecular Computation
CoRR, 2007

2006
Hybrid Logics with Infinitary Proof Systems.
J. Log. Comput., 2006

2005
Experiments with strategies for agents in the social interaction game Mafia.
Proceedings of the BNAIC 2005, 2005

2004
Changing Modalities.
J. Log. Comput., 2004

Knowledge-Based Asynchronous Programming.
Fundam. Informaticae, 2004

1998
Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems.
Data Knowl. Eng., 1998

1997
Formalisation for decision support in anaesthesiology.
Artif. Intell. Medicine, 1997

1996
Formalizing Anaesthesia: a case study in formal specification.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1993
From Implicit via Inductive to Explicit Definitions.
Proceedings of the Semantics of Specification Languages (SoSL), 1993

The Static Part of the Design Language COLD-K.
Proceedings of the Semantics of Specification Languages (SoSL), 1993

Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification.
Proceedings of the Semantics of Specification Languages (SoSL), 1993

1992
Strictness Analysis via Abstract Interpretation for Recursively Defined Types
Inf. Comput., August, 1992

1991
Computations in Fragments of Intuitionistic Propositional Logic.
J. Autom. Reason., 1991

Query Optimization Using Rewrite Rules.
Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

LPF and MPL<sub>omega</sub> - A Logical Comparison of VDM SL and COLD-K.
Proceedings of the VDM '91, 1991

Formal Development of a Serial Copy Management System.
Proceedings of the VDM '91, 1991

Logical Semantics of Modularisation.
Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990
Extended Bar Induction in Applicative Theories.
Ann. Pure Appl. Log., 1990

1989
Interpolation in Fragments of Intuitionistic Propositional Logic.
J. Symb. Log., 1989

Modularisation, Parametrisation, Interpolation.
J. Inf. Process. Cybern., 1989

1987
The Logic MPL<sub>omega</sub>.
Proceedings of the Algebraic Methods: Theory, 1987


  Loading...