Richard W. Weyhrauch

6 papers and 158 indexed citations i.

Richard W. Weyhrauch has authored 6 papers that have received a total of 158 indexed citations. This includes 5 papers in Artificial Intelligence, 3 papers in Computational Theory and Mathematics and 1 paper in Hardware and Architecture. The topics of these papers are Logic, Reasoning, and Knowledge (4 papers), Logic, programming, and type systems (4 papers) and Semantic Web and Ontologies (2 papers). Richard W. Weyhrauch is often cited by papers focused on Logic, Reasoning, and Knowledge (4 papers), Logic, programming, and type systems (4 papers) and Semantic Web and Ontologies (2 papers) and collaborates with scholars based in United States and Italy. Richard W. Weyhrauch's co-authors include Luigia Carlucci Aiello, Jussi Ketonen, Alessandro Cimatti, Carolyn Talcott and Marco Cadoli and has published in prestigious journals such as Artificial Intelligence, Theoretical Computer Science and Computational Intelligence.