Gerard R. Renardel de Lavalette - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2018

Interpolation in propositional Horn logicGerard R. Renardel de Lavalette. logcom, 28(6):1189-1215, 2018. [doi]

2015

An Agent-Based Dialogical Model with Fuzzy AttitudesPiter Dykstra, Wander Jager, Corinna Elsenbroich, Rineke Verbrugge, Gerard R. Renardel de Lavalette. jasss, 18(3), 2015. [doi]

2013

Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion DynamicsPiter Dykstra, Corinna Elsenbroich, Wander Jager, Gerard R. Renardel de Lavalette, Rineke Verbrugge. jasss, 16(3), 2013. [doi]

2012

Intuitionistic implication without disjunctionGerard R. Renardel de Lavalette, Alex Hendriks, Dick De Jongh. logcom, 22(3):375-404, 2012. [doi]

Finite and infinite implementation of transition systemsWim H. Hesselink, Gerard R. Renardel de Lavalette. TCS, 458:131-135, 2012. [doi]

2009

Strong Completeness and Limited Canonicity for PDLGerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge. jolli, 18(2):291-292, 2009. [doi]

2008

Interpolation in computing science: the semantics of modularizationGerard R. Renardel de Lavalette. synthese, 164(3):437-450, 2008. [doi]

Strong Completeness and Limited Canonicity for PDLGerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge. jolli, 17(1):69-87, 2008. [doi]

2006

Hybrid Logics with Infinitary Proof SystemsBarteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge. logcom, 16(2):161-175, 2006. [doi]

2005

Experiments with strategies for agents in the social interaction game MafiaHendrik Wietze de Haan, Wim H. Hesselink, Gerben Meyer, Gerard R. Renardel de Lavalette. bnaic 2005: 89-95

2004

Knowledge-Based Asynchronous ProgrammingHendrik Wietze de Haan, Wim H. Hesselink, Gerard R. Renardel de Lavalette. FUIN, 63(2-3):259-281, 2004. [doi]

Changing ModalitiesGerard R. Renardel de Lavalette. logcom, 14(2):251-275, 2004. [doi]

1998

Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based SystemsDieter Fensel, Rix Groenboom, Gerard R. Renardel de Lavalette. DKE, 26(3):243-269, 1998. [doi]

1997

Formalisation for decision support in anaesthesiologyGerard R. Renardel de Lavalette, Rix Groenboom, Ernest Rotterdam, Frank van Harmelen, Annette ten Teije, Fred de Geus. artmed, 11(3):189-214, 1997.

1996

Formalizing Anaesthesia: a case study in formal specificationRix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette. FM 1996: 120-139

1993

The Static Part of the Design Language COLD-KGerard R. Renardel de Lavalette. sosl 1994: 51-82

From Implicit via Inductive to Explicit DefinitionsGerard R. Renardel de Lavalette. sosl 1994: 304-314

Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and ModificationRix Groenboom, Gerard R. Renardel de Lavalette. sosl 1994: 340-355

1992

Strictness Analysis via Abstract Interpretation for Recursively Defined TypesGerard R. Renardel de Lavalette. iandc, 99(2):154-177, August 1992.

1991

1990

Extended Bar Induction in Applicative TheoriesGerard R. Renardel de Lavalette. APAL, 50(2):139-189, 1990.

1989

Interpolation in Fragments of Intuitionistic Propositional LogicGerard R. Renardel de Lavalette. JSYML, 54(4):1419-1430, 1989.

Modularisation, Parametrisation, InterpolationGerard R. Renardel de Lavalette. eik, 25(5/6):283-292, 1989.

1987

The Logic MPL::omega::C. P. J. Koymanns, Gerard R. Renardel de Lavalette. am 1989: 247-282

Sign in or sign up to see more results.

runs on WebDSL