Automated Reasoning Group
source link: http://arg.ciirc.cvut.cz/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Automated Reasoning Group
Our international research group brings together people from various departments and universities who are interested in computational logic. Our research activities focus on different aspects of computational logic, namely automated theorem proving, interactive theorem proving and working with large formal (mainly mathematical) knowledge bases (KBs). We are also interested in typing, model checking and declarative and functional programming.
Our system for automated reasoning over such knowledge bases - MaLARea - has won the Large-Theory (LTB) division of the world automated reasoning championship (CASC-24) in 2013. Our systems MaLARea and SInE have won two categories in the world automated reasoning championship (CASC-J4) in 2008, and the first two places in the commercially sponsored SUMO Reasoning Prize in 2008. Our future plans include further novel combinations of inductive (e.g., machine learning) and deductive (e.g., automated theorem proving) reasoning.
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK