Michiel van Lambalgen

Identifiers

No identifiers captured yet.

Papers (2)

1. Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples cs.AI · 2017 · author #5
2. On a Spector ultrapower of the Solovay model math.LO · 1995 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Artur d'Avila Garcez 1 shared papers
• Keith Stenning 1 shared papers
• Leendert van der Torre 1 shared papers
• Tarek R. Besold 1 shared papers
• Vladimir Kanovei 1 shared papers