@InProceedings{thielscher:JELIA08, author = "Conrad Drescher and Michael Thielscher", title = "A Fluent Calculus Semantics for {ADL} with Plan Constraints", booktitle = "Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA)", year = 2008, editor = "S.\ H{\"o}lldobler and C.\ Lutz and H.\ Wansing", pages = "140--152", address = "Dresden, Germany", volume = "5293", series = "LNCS", publisher = "Springer", month = sep }