Christian Muise

38 papers and 464 indexed citations i.

Christian Muise has authored 38 papers that have received a total of 464 indexed citations. This includes 35 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 4 papers in Software. The topics of these papers are AI-based Problem Solving and Planning (27 papers), Logic, Reasoning, and Knowledge (23 papers) and Formal Methods in Verification (10 papers). Christian Muise is often cited by papers focused on AI-based Problem Solving and Planning (27 papers), Logic, Reasoning, and Knowledge (23 papers) and Formal Methods in Verification (10 papers) and collaborates with scholars based in Canada, Australia and United States. Christian Muise's co-authors include Sheila A. McIlraith, J. Christopher Beck, Paolo Felli, Adrian R. Pearce and Liz Sonenberg and has published in prestigious journals such as Artificial Intelligence, Journal of Artificial Intelligence Research and Lecture notes in computer science