Author of the publication

Contextual Logic of Change and the Ramification Problem.

, and . EPIA, volume 1323 of Lecture Notes in Computer Science, page 267-278. Springer, (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

Expanding SNePS Capabilities with LORE., and . SNePS, volume 437 of Lecture Notes in Computer Science, page 27-39. Springer, (1989)Recent Advances and Developments - The SNePS 2.1 Report., and . SNePS, volume 437 of Lecture Notes in Computer Science, page 1-13. Springer, (1989)Inscription - A Rule of Conjecture., and . EPIA, volume 390 of Lecture Notes in Computer Science, page 141-150. Springer, (1989)Being Aware of Assumptions., and . ÖGAI, volume 287 of Informatik-Fachberichte, page 137-146. Springer, (1991)Using AI Local Search to Improve an OR Optimizer., , , , , and . IAAI, page 2237-2244. AAAI, (2012)A Formal System for Reasoning about Change., and . ECAI, page 503-508. (1990)Parsimonious Diagnosis in SNePS., and . EPIA, volume 990 of Lecture Notes in Computer Science, page 457-463. Springer, (1995)Introduction to computer science using Pascal. Wadsworth, Belmont, Calif., International student ed. edition, (1989)Path-Based Inference in SNeBr., and . EPIA, volume 390 of Lecture Notes in Computer Science, page 97-106. Springer, (1989)CREWS_NS: Scheduling Train Crews in The Netherlands., and . AI Magazine, 19 (1): 25-38 (1998)