Some of Michael's Journal Articles

2009

• A unifying action calculus (Artificial Intelligence)

• Reinforcement belief revision (Journal of Logic and Computation)

• Iterated belief revision, revised (Artificial Intelligence)

• Human-inspired robots (IEEE Intelligent Systems)

• FLUX: A logic programming method for reasoning agents (Theory and Practice of Logic Programming)

• Intelligent execution monitoring in dynamic environments (Fundamenta Informaticae)

• The qualification problem: a solution to the problem of anomalous models (Artificial Intelligence)

• The concurrent, continuous fluent calculus (Studia Logica)

• From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem (Artificial Intelligence)
• Agents in Proactive Environments (J. of Logic and Computation)

• Introduction to the fluent calculus (Electronic Transactions on Artificial Intelligence)
• Reasoning about actions: steady versus stabilizing state constraints (Artificial Intelligence)

• A theory of dynamic diagnosis (Electronic Transactions on Artificial Intelligence)
• Ramification and causality (Artificial Intelligence)
• Explicit and implicit indeterminism: reasoning about uncertain and contradictory specifications of dynamic systems (J. of Logic Programming)

• On the Completeness of SLDENF-Resolution (J. of Automated Reasoning)
• Representing concurrent actions and solving conflicts (J. of the IGPL)

• Computing change and specificity with equational logic programs (Annals of Mathematics and Artificial Intelligence)
• Default reasoning by deductive planning (J. of Automated Reasoning)

• Comment on Ammon's note (Artificial Intelligence)
• On prediction in Theorist (Artificial Intelligence)

• Etho-physiological investigations in calves in a suckler cow herd on deep litter and in strawless livestock housing (Archives of Animal Breeding, 1996)
• Acid-base balance in the blood of calves of different breeds in a suckler cow herd on deep litter and strawless stable floor (Berliner und Münchener Tierärztliche Wochenschrift, 1995)
• Magnesium and calcium levels in blood plasma of pigs of different breeds and fitness (Monatshefte für Veterinärmedizin, 1994)

Generated by Michael Thielscher