Section of Logic, IMI/BAS -
Research Topics
Dr. Lyubomir Ivanov
algebraic recursion theory
Dr. Jordan Zashev
algebraic recursion theory, combinatory logic
Dr. Vladimir Sotirov
non-classical logics, history of logic, logic and law
Mgr. Dimiter Dobrev
logic programming, artificial intelligence
Dr. Dimitar Guelev
temporal logic and formal methods
Dr. Valentin Goranko
logic in computer science, artificial intelligence,
and multi-agent systems
Last updated:
September, 2010
Home
|
Institute of Mathematics and Informatics
|
BAS