( en | de | ru )

 

Disambiguierung von "Cadoli, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Semantical and computational aspects of Horn approximations.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Massimiliano Marcon

Carlos Javier Marcos Navas

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

 

Weitere Publikationen von Autoren mit dem selben Namen

Knowledge Compilation = Query Rewriting + View Synthesis., und . PODS, Seite 199-208. ACM, (2002)Compiling Problem Specifications into SAT., und . ESOP, Volume 2028 von Lecture Notes in Computer Science, Seite 387-401. Springer, (2001)Complexity of propositional nested circumscription and nested abnormality theories., , und . ACM Trans. Comput. Log., 6 (2): 232-272 (2005)The Expressive Power of Binary Linear Programming.. CP, Volume 2239 von Lecture Notes in Computer Science, Seite 570-574. Springer, (2001)Complexity of Nested Circumscription and Abnormality Theories., , und . IJCAI, Seite 169-174. Morgan Kaufmann, (2001)Finite Model Reasoning on UML Class Diagrams Via Constraint Programming., , , und . AI*IA, Volume 4733 von Lecture Notes in Computer Science, Seite 36-47. Springer, (2007)Towards automated reformulation of specications., und . APPIA-GULP-PRODE, Seite 398-409. (2003)Generalizing Consistency and other Constraint Properties to Quantified Constraints, , und . CoRR, (2007)Combining Relational Algebra, SQL, Constraint Modelling, and Local Search, und . CoRR, (2006)Default Logic as a Query Language., , und . KR, Seite 99-108. Morgan Kaufmann, (1994)