Higher Order Logic Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Tim French
University of Western Australia Australia
reasoning
automated reasoning
probabilistic reasoning
View Professor Profile
Professor
Professor Profile
Davide Grossi
University of Groningen Netherlands
logic
decision-making
argumentation
View Professor Profile
Professor
Professor Profile
David Poole
University of British Columbia Canada
automated reasoning
probabilistic reasoning
decision theory
View Professor Profile
Professor
Professor Profile
Ken Forbus
Northwestern University United States of America
spatial reasoning
qualitative reasoning
analogical reasoning
reasoning system design
View Professor Profile
Professor
Professor Profile
Kenneth Forbus
Northwestern University United States of America
spatial reasoning
qualitative reasoning
analogical reasoning
View Professor Profile
Professor
Professor Profile
Satish Thittamaranahalli
University of Southern California United States of America
probabilistic reasoning
constraint reasoning
model-based reasoning
View Professor Profile
Professor
Professor Profile
Satish Thittamaranahalli
University of Southern California United States of America
probabilistic reasoning
constraint reasoning
model-based reasoning
View Professor Profile
Professor
Professor Profile
Uli Sattler
University of Manchester United Kingdom
modal logics
dynamic logics
description logics
View Professor Profile
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
higher-order languages
modern logic
View Professor Profile
Professor
Professor Profile
Fredrik Engström
University of Gothenburg Sweden
mathematical logic
logic
View Professor Profile
Professor
Professor Profile
Ian Pratt-hartmann
University of Manchester United Kingdom
logic
natural language logic
View Professor Profile
Professor
Professor Profile
Enrico Marchioni
University of Southampton United Kingdom
mathematical logic
reasoning
View Professor Profile
Professor
Professor Profile
Alexander Gheorghiu
University of Southampton United Kingdom
mathematical logic
automated reasoning
View Professor Profile
Professor
Professor Profile
Jeremy Avigad
Carnegie Mellon University United States of America
mathematical logic
automated reasoning
View Professor Profile
Professor
Professor Profile
Agi Kurucz
King's College London United Kingdom
mathematical logic
logical systems
View Professor Profile
Professor
Professor Profile
Jørgen Villadsen
Technical University of Denmark Denmark
logic
automated reasoning
View Professor Profile
Professor
Professor Profile
Moshe Vardi
Rice University United States of America
logic
automated reasoning
View Professor Profile
Professor
Professor Profile
Rosalie Iemhoff
Utrecht University Netherlands
mathematical logic
philosophical logic
View Professor Profile
Professor
Professor Profile
Bernardo Cuenca Grau
University of Oxford United Kingdom
computational logic
reasoning
View Professor Profile
Professor
Professor Profile
Kohei Kishida
University of Illinois United States of America
logic
symbolic logic
View Professor Profile
Professor
Professor Profile
Gabriel Uzquiano
University of Southern California United States of America
logic
philosophical logic
View Professor Profile
First
Prev
Page 1 | 2106 Results
Next