PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Cadoli, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Semantical and computational aspects of Horn approximations.

, and . Artif. Intell., 119 (1-2): 1-17 (2000)

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.

Marco Ströbel University of Stuttgart

Univ. -Prof. Dr. -Ing. habil. Marco Huber University of Stuttgart

XAutoML: A Visual Analytics Tool for Understanding and Validating Automated Machine Learning, , , and . ACM transactions on interactive intelligent systems, 13 (4): 28; 1-39 (2023)

Marco Testa University of Stuttgart

Marco Maier University of Stuttgart

Dr. Marco Spurk University of Stuttgart

 

Other publications of authors with the same name

On the complexity of Entailment in Propositional Multivalued Logics., and . Ann. Math. Artif. Intell., 18 (1): 29-50 (1996): Compiling problem specifications into SAT., and . Artif. Intell., 162 (1-2): 89-120 (2005)Evaluating ASP and commercial solvers on the CSPLib (Preliminary work)., , , and . WLP, volume 1843-06-02 of INFSYS Research Report, page 54-63. Technische Universität Wien, Austria, (2006)Approximation in Concept Description Languages., and . KR, page 330-341. Morgan Kaufmann, (1992)Using Abstract Resources to Control Reasoning., , and . Journal of Logic, Language and Information, 7 (1): 77-101 (1998)Feasibility and Unfeasibility of Off-Line Processing., , , and . ISTCS, page 100-109. IEEE Computer Society, (1996)Default Logic as a Query Language., , and . IEEE Trans. Knowl. Data Eng., 9 (3): 448-463 (1997)Space Efficiency of Propositional Knowledge Representation Formalisms., , , and . J. Artif. Intell. Res., (2000)NP-SPEC: An Executable Specification Language for Solving All Problems in NP., , , and . PADL, volume 1551 of Lecture Notes in Computer Science, page 16-30. Springer, (1999)Semantical and Computational Aspects of Horn Approximations.. IJCAI, page 39-45. Morgan Kaufmann, (1993)