PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Giunchiglia, Enrico"

Author of the publication

copydeleteadd this publication to your clipboard
Embedding Complex Decision Procedures Inside an Interactive Theorem Prover.

, and . Ann. Math. Artif. Intell., 8 (3-4): 475-502 (1993)

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.

Dr. -Ing. Enrico Pfüller University of Stuttgart

 

Other publications of authors with the same name

Constraints and AI Planning., , , , , , , and . IEEE Intelligent Systems, 20 (2): 62-72 (2005)Embedding Complex Decision Procedures Inside an Interactive Theorem Prover., and . Ann. Math. Artif. Intell., 8 (3-4): 475-502 (1993)Structured Proof Procedures., , and . Ann. Math. Artif. Intell., 15 (1): 1-18 (1995)Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting., , , , and . J. Autom. Reasoning, 45 (4): 397-414 (2010)Learning for Quantified Boolean Logic Satisfiability., , and . AAAI/IAAI, page 649-654. AAAI Press / The MIT Press, (2002)Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach., , , and . ICAPS, AAAI, (2013)Determining Ramifications in the Situation Calculus.. KR, page 76-86. Morgan Kaufmann, (1996)QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability., , and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 364-369. Springer, (2001)Automatic Test Generation for Coverage Analysis Using CBMC., , , , and . EUROCAST, volume 5717 of Lecture Notes in Computer Science, page 287-294. Springer, (2009)Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming., and . AI*IA, volume 3673 of Lecture Notes in Computer Science, page 122-134. Springer, (2005)