( en | de | ru )

 

Disambiguation of "Frisch, Alan M."

Author of the publication

copydeleteadd this publication to your clipboard
Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming.

. ILP, volume 1634 of Lecture Notes in Computer Science, page 104-115. Springer, (1999)

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.

Safwat Alani

Maia Alandjiyska

Yilmaz Alan

Bertold Aland

Viola Alanku

 

Other publications of authors with the same name

The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.. Artif. Intell., 49 (1-3): 161-198 (1991)Modal logics of higher-order probability., and . UAI, page 133-148. North-Holland, (1988)A General Framework for Modal Deduction., and . KR, page 196-207. Morgan Kaufmann, (1991)Automatic Generation of Implied Constraints: Project Description., and . ARW, volume 32 of CEUR Workshop Proceedings, CEUR-WS.org, (2000)Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)., , , , , and . IJCAI, page 6833-6838. ijcai.org, (2023)A Constraint Logic Approach to Modal Deduction., and . JELIA, volume 478 of Lecture Notes in Computer Science, page 234-250. Springer, (1990)A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.. KR, page 126-136. Morgan Kaufmann, (1989)Solving Non-Boolean Satisfiability Problems with Stochastic Local Search., and . IJCAI, page 282-290. Morgan Kaufmann, (2001)Using Model Theory to Specify AI Programs.. IJCAI, page 148-154. Morgan Kaufmann, (1985)Cautious Induction in Inductive Logic Programming., and . ILP, volume 1297 of Lecture Notes in Computer Science, page 45-60. Springer, (1997)