( en | de | ru )

 

Disambiguation of "Giunchiglia, Enrico"

Author of the publication

copydeleteadd this publication to your clipboard
Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers

, and (Eds.) volume 2919 of Lecture Notes in Computer Science, Springer, (2004)

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.

Enrico Fest

Enrico Metzler

Enrico Mönke

Enrico Thormann

Enrico Körner

 

Other publications of authors with the same name

Formal specification of beliefs in multi-agent systems., , , and . Int. J. Intell. Syst., 14 (10): 1021-1040 (1999)A SAT-based polynomial space algorithm for answer set programming., , and . NMR, page 189-196. (2004)On the relation among answer set solvers., , and . Ann. Math. Artif. Intell., 53 (1-4): 169-204 (2008)Nonmonotonic causal theories., , , , and . Artif. Intell., 153 (1-2): 49-104 (2004)Editorial: Nonmonotonic Reasoning., and . Artif. Intell., 157 (1-2): 1-3 (2004)Quantifier Structure in Search-Based Procedures for QBFs., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 26 (3): 497-507 (2007)Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas., , and . J. Artif. Intell. Res., (2006)Visual representation of natural language scene descriptions., , , and . IEEE Trans. Syst. Man Cybern. Part B, 26 (4): 575-589 (1996)An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints., , , and . J. Comput. Syst. Sci., 78 (1): 119-141 (2012)Introducing Preferences in Planning as Satisfiability., and . J. Log. Comput., 21 (2): 205-229 (2011)