Profiles

Joseph Halpern

Professor of Computer Science, Cornell University

Verified email at cs.cornell.edu

Cited by 47862

Artificial Intelligence decision theory game theory modal logic multi-agent systems

Guido Governatori

Artificial Intelligence and Cyber Futures Institute, Charles Sturt University

Verified email at governatori.net

Cited by 14490

Legal informatics Deontic Logic Modal Logic Defeasible Logic Knowledge representation

Frank Wolter

Department of Computer Science, University of Liverpool

Verified email at liverpool.ac.uk

Cited by 14277

Artificial Intelligence Logic in Computer Science Knowledge Representation Modal Logic Logic

Robert Goldblatt

Professor of Mathematics, Victoria University of Wellington

Verified email at sms.vuw.ac.nz

Cited by 7406

Logic Modal Logic Algebraic Logic

Andreas Herzig

CNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)

Verified email at irit.fr

Cited by 6594

modal logic knowledge representation artificial intelligence multiagent systems automated reasoning

Jean-Yves Beziau

Professor of University of Brazil and Researcher CNPq

Verified email at ufc.br

Cited by 4798

Non-Classical Logics Philosophy of Logic History of Logic Modal Logic Universal Logic

Rajeev Gore

Faculty of Information Technology, Monash University, Australia

Verified email at monash.edu

Cited by 3154

Logic Automated Reasoning Modal Logic Tableaux Electronic Voting

Carlos Areces

Universidad Nacional de C�rdoba - CONICET

Verified email at famaf.unc.edu.ar

Cited by 2978

Logic Computational Logic Modal Logic Model Theory Automated Reasoning

Eric Pacuit

University of Maryland, College Park

Verified email at umd.edu

Cited by 2925

Logic Modal Logic Game Theory Social Choice Theory Formal Epistemology

Jeremy Seligman

Philosophy, The University of Auckland

Verified email at auckland.ac.nz

Cited by 2916

Logic modal logic chinese logic hybrid logic situation theory

1 - 10