%0 Journal Article %1 Giesl10ki %A Giesl, Jürgen %D 2010 %J KI -- Künstliche Intelligenz %K v1205 paper ai knowledge processing theory algorithm zzz.th %N 1 %P 11-13 %R 10.1007/s13218-010-0011-9 %T Current Trends in Automated Deduction %V 24 %X Automated deduction is one of the key areas in artificial intelligence. In this short article we give an overview on some of the main current research topics in automated deduction.

@article{Giesl10ki, abstract = {Automated deduction is one of the key areas in artificial intelligence. In this short article we give an overview on some of the main current research topics in automated deduction.}, added-at = {2012-05-30T10:46:28.000+0200}, author = {Giesl, J\"{u}rgen}, biburl = {https://www.bibsonomy.org/bibtex/2968fb47755955f34fa775e8dff8a20cb/flint63}, doi = {10.1007/s13218-010-0011-9}, file = {SpringerLink:2010/Giesl10ki.pdf:PDF}, groups = {public}, interhash = {acb6db38a9167747f6bc083546d472cc}, intrahash = {968fb47755955f34fa775e8dff8a20cb}, issn = {0933-1875}, journal = {KI -- K\"{u}nstliche Intelligenz}, keywords = {v1205 paper ai knowledge processing theory algorithm zzz.th}, number = 1, pages = {11-13}, timestamp = {2018-04-16T12:15:13.000+0200}, title = {Current Trends in Automated Deduction}, username = {flint63}, volume = 24, year = 2010 }