Author of the publication

GOLOG: A Logic Programming Language for Dynamic Domains

, , , , and . Journal of Logic Programming, Special issue on Reasoning about Action and Change, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards a Logical Reconstruction of Relational Database Theory. On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages, Springer-Verlag, New York, (1984)A Theory of Diagnosis from First Principles. Artificial Intelligence, 32 (1): 57--95 (April 1987)Characterizing Diagnoses and Systems, , and . Artificial Intelligence, (1992)A Logic for Default Reasoning. Artificial Intelligence, 13 (1-2): 81--132 (April 1980)A Logic for Default Reasonning. Artificial Intelligence, (1980)Information retrieval using self-organizing and heteroassociative supervised neural network, and . Proceedings of International Conference Neural Networks (ICNN-90), page 361-364. (1990)GOLOG: A Logic Programming Language for Dynamic Domains, , , , and . Journal of Logic Programming, Special issue on Reasoning about Action and Change, (1997)Wave-Function Mapping of Graphene Quantum Dots with Soft Confinement, , , , , , , , , and 4 other author(s). Phys. Rev. Lett., 108 (4): 046801 (January 2012)A Logical Approach to High-Level Robot Programming -- A Progress Report, , , , , and . Control of the Physical World by Intelligent Systems, Papers from the 1994 AAAI Fall Symposium, page 79--85. New Orleans, (November 1994)Temporal Reasoning in Logic Programming: A Case for the Situation Calculus, and . Proc. 10th Int. Conf. on Logic Programming, Budapest, Hungary, (1993)