Research Interests
- Formal methods in Artificial Intelligence (Automated Reasoning, Knowledge Representation);
- Symbolic Logic in Computer Science;
- History of Computing; History of Logic;
- Computational logic and Knowledge Representation: methodology of automated reasoning and theorem proving systems, computer science and applied logics;
- Logic Programming.
Bio
Zbigniew received his Ph.D. in 1979 from the University of Wroclaw, Poland.
Selected Publications