Author of the publication

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

Experimental Results on the Crossover Point in Random 3-SAT., and . Artif. Intell., 81 (1-2): 31-57 (1996)R++: Adding Path-Based Rules to C++., , , , and . IEEE Trans. Knowl. Data Eng., 14 (3): 638-658 (2002)QPC: A Compiler from Physical Models into Qualitative Differential Equations., , and . AAAI, page 365-372. AAAI Press / The MIT Press, (1990)ALL: Formalizing Access-Limited Reasoning., and . Principles of Semantic Networks, Morgan Kaufmann, (1991)Toward Efficient Default Reasoning., and . AAAI/IAAI, Vol. 1, page 627-632. AAAI Press / The MIT Press, (1996)Device Representation and Reasoning with Affective Relations., , , , and . IJCAI, page 1814-1820. Morgan Kaufmann, (1995)Towards a Theory of Access-Limited Logic for Knowledge Representation., and . KR, page 67-78. Morgan Kaufmann, (1989)Introduction to a Benchmark Column in CONSTRAINTS., , , and . Constraints An Int. J., 3 (2/3): 255-256 (1998)Algernon - A Tractable System for Knowledge-Representation., and . SIGART Bull., 2 (3): 35-44 (1991)Implicates and Prime Implicates in Random 3-SAT., and . Artif. Intell., 81 (1-2): 199-222 (1996)