FLUX: A logic programming method for reasoning agents

Michael Thielscher. FLUX: A logic programming method for reasoning agents. TPLP, 5(4-5):533-565, 2005. [doi]

Authors

Michael Thielscher

This author has not been identified. Look up 'Michael Thielscher' in Google