Representing and Reasoning About the Rules of General Games With Imperfect Information von Schiffel, S., Thielscher, M.

Volltext

Human-Inspired Robots von Coradeschi, S., Ishiguro, H., Asada, M., Shapiro, S.C., Thielscher, M., Breazeal, C., Mataric, M.J., Ishida, H.

Volltext

FLUX: A logic programming method for reasoning agents von THIELSCHER, MICHAEL

Volltext

From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem von Thielscher, Michael

Volltext

Ramification and causality von Thielscher, Michael

Volltext

Retinal colour duplex scanning during LASIK-ring suction with different keratomes von Schicke, S. H., Krumeich, J., Duncker, G. I. W., Scheibel, S., Thielscher, M.

Volltext

The Qualification Problem: A solution to the problem of anomalous models von Thielscher, Michael

Volltext

Logical-Epistemic Foundations of General Game Descriptions von Ruan, Ji, Thielscher, Michael

Volltext

A general first-order solution to the ramification problem with cycles von Strass, Hannes, Thielscher, Michael

Volltext

Handling Implication and Universal Quantification Constraints in FLUX von Thielscher, Michael

Volltext

Reasoning about actions: steady versus stabilizing state constraints von Thielscher, Michael

Volltext

Reinforcement Belief Revision von Jin, Yi, Thielscher, Michael

Volltext

Reasoning about Actions with CHRs and Finite Domain Constraints von Thielscher, Michael

Volltext

Controlling Semi-automatic Systems with FLUX von Thielscher, Michael

Volltext

Preface von McIlraith, S., Peppas, P., Thielscher, M.

Volltext

Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic von Kamide, Norihiro

Volltext

Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall von Dima, Cătălin

Volltext

Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant von Dung, Phan Minh, Thang, Phan Minh, Hung, Nguyen Duy

Volltext

Run-Time Semantics of a Language for Programming Social Processes von Serrano, Juan M., Saugar, Sergio

Volltext

Easy Yet Hard: Model Checking Strategies of Agents von Jamroga, Wojciech

Volltext