AnthracosauriaSäve-Söderbergh, 1934
Anthracosauria odkazuje na skupinu vyhynulých obojživelníků podobných plazům, kterým se dařilo v období karbonu a raného permu, i když přesně to, které druhy jsou zahrnuty, závisí na definici taxonu.
Jak původně definoval Säve-Söderbergh v roce 1934, antrakosauři, jsou skupinou obvykle velkých vodních amfibií z karbonu a dolního permu. Podle definice Alfreda Sherwooda Romera však antrakosauři zahrnují všechny neplodné „Labyrinthodont“ plazům podobné obojživelníky a definice Säve-Söderbergha je více ekvivalentní Romerovu podřádu Embolomeri. Tuto definici také použili Edwin H. Colbert a Robert L. Carroll ve svých učebnicích obratlovců paleontologie (Colbert 1969, Carroll 1988). Dr. A. L. Panchen však antrakosaury vrátil do původní definice Säve-Söderbergha (Panchen 1970).
S kladistickou revolucí se věci opět změnily. Michel Laurin (1996) používá termín v kladistickém smyslu pro označení pouze plazům podobných tetrapodů (již nejsou považováni za příbuzné moderním obojživelníkům) (Diadectomorpha a Solenodonsauridae) a Amniotů. Ale Michael Benton (2000, 2004) dělá z Anthracosaurů parafyletický řád v rámci nadřádu Reptiliomorpha, spolu s řády Seymouriamorpha a Diadectomorpha.
Název „Anthracosauria“ je řecký („uhelní ještěři“), protože mnoho jeho fosilií bylo nalezeno v Uhelných měřítcích.