43 citations · 43 across the 2 of their papers we have counts for
2 papers
eess.SY2019★ 43 cited
Flexible Production Systems: Automated Generation of Operations Plans Based on ISA-95 and PDDL
Bernhard Wally, Jirí Vyskočil, Petr Novák +5
Model-driven engineering (MDE) provides tools and methods for the manipulation of formal models. In this letter, we leverage MDE for the transformation of production system models…
cs.AI2012
Theorem Proving in Large Formal Mathematics as an Emerging AI Field
Josef Urban, Jiri Vyskocil
In the recent years, we have linked a large corpus of formal mathematics with automated theorem proving (ATP) tools, and started to develop combined AI/ATP systems working in this…