Bourns College of Engineering

419 Engineering II
Riverside, Ca 92521
Phone: 951-827-5015
FAX: 951-827-4643

Teodor C. Przymusinski

Degrees

Habilitation in Mathematics 1979

Institute of Mathematics of the Polish Academy of Sciences in Warsaw

PhD Mathematics 1974

Institute of Mathematics of the Polish Academy of Sciences in Warsaw

Awards

•First Prize in the Polish Mathematical Society Competition for the best M.Sc. Thesis (The Marcinkiewicz Competition)
•Scientific Award of the Institute of Mathematical Sciences of the Polish Academy of Sciences, 1979
•Scientific Award of the Science Section of the Polish Academy of Sciences, 1980
•Outstanding Contribution Award at the 1st Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'89), Toronto, May 1989
•Calouste Gulbienkian Professor, Universidade Nova de Lisboa, Lisbon, Portugal, 1997
•Founding member of the Center for Research in Intelligent Systems (CRIS) at UCR, 1998.

Research Area

Artificial Intelligence, Logic Programming, Automated Theorem Proving

Publications

For additional information, please see Professor Przymusinski's faculty webpage.

http://www.cs.ucr.edu/~teodor

Former Institution

Professor, Department of Math, University of Texas at El Paso

Biography

Research Specialization -Professor Przymusinski's primary domain of interests lies in the broad area of declarative knowledge representation in Artificial Intelligence. More specifically, he is interested in those aspects of knowledge representation that relate to commonsense reasoning, i.e., to the problem of finding suitable symbolic representation and efficient computer automation of human reasoning. The resolution of this problem is of fundamental importance to Artificial Intelligence, in particular, and to Computer Science as a whole. Specifically, much of his recent work was devoted to the issues of formalizing commonsense reasoning within the framework of logic programming and its extensions. Logic programming constitutes a relatively narrow domain of commonsense reasoning which is therefore easier to study and more efficient to implement. Consequently, logic programs provide fruitful test beds to study the highly complex issues involved in formalizing commonsense reasoning. The results of his studies led to the introduction of powerful extensions of the logic programming paradigm that allow much more expressive representation of commonsense knowledge.