prof. dr. G.R. (Gerard) Renardel de Lavalette

Professor

Faculty of Science and Engineering

Telephone:

+31 50 36 37128

+31 50 36 33939 (Secretariat)

E-mail:

g.r.renardel.de.lavalette rug.nl

Homepage Research Portal

Publications

Interpolation in propositional Horn logic

De Lavalette, G. R. R. , Sep-2018 , In: Journal of Logic and Computation. 28 , 6 , p. 1189-1215 27 p.

Research output: Contribution to journal › Article › Academic › peer-review

An agent-based dialogical model with fuzzy attitudes

Dykstra, P. , Jager, W. , Elsenbroich, C. , Verbrugge, R. & De Lavalette, G. R. , 1-Jun-2015 , In: Journal of Artificial Societies and Social Simulation. 18 , 3

Research output: Contribution to journal › Article › Academic › peer-review

Infinitary hybrid logic and the Lindelöf property

Renardel de Lavalette, G. , Ghosh, S. (ed.) & Szymanik, J. (ed.) , 2015 , The Facts Matter. Essays on Logic and Cognition in Honour of Rineke Verbrugge: Tributes. College Publications , Vol. 25 . p. 113-120 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

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

Dykstra, P. , Elsenbroich, C. , Jager, W. , de Lavalette, G. R. & Verbrugge, R. , Jun-2013 , In: Jasss-The journal of artificial societies and social simulation. 16 , 3 , 89 p. , 4.

Research output: Contribution to journal › Article › Academic › peer-review

Finite and infinite implementation of transition systems

Hesselink, W. H. & Renardel de Lavalette, G. R. , 2-Nov-2012 , In: Theoretical Computer Science. 458 , p. 131-135 5 p.

Research output: Contribution to journal › Article › Academic › peer-review

Intuitionistic implication without disjunction

Renardel de Lavalette, G. R. , Hendriks, A. & Jongh, D. H. J. D. , Jun-2012 , In: Journal of Logic and Computation. 22 , 3 , p. 375-404 30 p.

Research output: Contribution to journal › Article › Academic › peer-review

Belief Revision and Verisimilitude Based on Preference and Truth Orderings

Renardel de Lavalette, G. R. & Zwart, S. D. , Sep-2011 , In: Erkenntnis. 75 , 2 , p. 237-254 18 p.

Research output: Contribution to journal › Article › Academic

A logic-based architecture for opinion dynamics

Dykstra, P. , Elsenbroich, C. , Jager, W. , Renardel de Lavalette, G. & Verbrugge, L. , 2010 , Proceedings of the World Congress of Social Simulation 2010 (WCSS 2010). Kassel

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

A dialogical logic-based simulation architecture for social agents and the emergence of extremist behaviour

Dykstra, P. , Elsenbroich, C. , Jager, W. , Renardel de Lavalette, G. & Verbrugge, L. , 2009 , Proceedings of the Sixth Conference of the European Socila Simulation Association. Edmonds, B. & Gilbert, N. (eds.). Guilford: University of Surrey

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Interpolation in computing science: the semantics of modularization

Renardel de Lavalette, G. R. , Oct-2008 , In: Synthese. 164 , 3 , p. 437-450 14 p.

Research output: Contribution to journal › Article › Academic › peer-review

All (58) publications

View full research profile