„knowledge compilation“

Suchergebnisse

69 Treffer

• Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
  Beierle, Christoph ; Kutsch, Steven ; Sauerwald, Kai
• characterization of efficiently compilable constraint languages
  Berkholz, Christoph ; Mengel, Stefan ; Wilhelm, Hermann 2024 TU Ilmenau
• Summary of "Sequence-Oriented Diagnosis of Discrete-Event Systems" (Extended Abstract)
  Lamperti, Gianfranco ; Trerotola, Stefano ; Zanella, Marina ; Zhao, Xiangfu 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Minimalist Diagnosis of Discrete-Event Systems
  Lamperti, Gianfranco ; Zanella, Marina 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Relative Efficiency of Dynamic and Static Top-Down Compilation to Decision-DNNF
  de Colnet, Alexis 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Relative Strength of #SAT Proof Systems
  Beyersdorff, Olaf ; Fichte, Johannes Klaus ; Hecher, Markus ; Hoffmann, Tim ; Kasche, Kaspar 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Ranked Enumeration for MSO on Trees via Knowledge Compilation
  Amarilli, Antoine ; Bourhis, Pierre ; Capelli, Florent ; Monet, Mikaël 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
  Meel, Kuldeep S. ; de Colnet, Alexis 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Separating Incremental and Non-Incremental Bottom-Up Compilation
  de Colnet, Alexis 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Certified Knowledge Compilation with Application to Verified Model Counting
  Bryant, Randal E. ; Nawrocki, Wojciech ; Avigad, Jeremy ; Heule, Marijn J. H. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms
  Fargier, Hélène ; Mengin, Jérôme ; Schmidt, Nicolas 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation
  Berden, Senne ; Kumar, Mohit ; Kolb, Samuel ; Guns, Tias 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tractable QBF by Knowledge Compilation
  Capelli, Florent ; Mengel, Stefan 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Connecting Width and Structure in Knowledge Compilation
  Amarilli, Antoine ; Monet, Mikaël ; Senellart, Pierre 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Enumeration on Trees under Relabelings
  Amarilli, Antoine ; Bourhis, Pierre ; Mengel, Stefan 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Knowledge and management of Münchausen’s Syndrome by proxy: a survey conducted through the compilation of a questionnaire by pediatricians belonging to the Italian Society of Pediatrics
  Nardello, Rosaria ; Cordova, Giada ; Spina, Corinne La ; Piro, Ettore ; Serra, Gregorio ; Corsello, Giovanni ; Argo, Antonina
• Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)
  Darwiche, Adnan ; Marquis, Pierre ; Suciu, Dan ; Szeider, Stefan
• HipHopEd: The Compilation on Hip-Hop Education – Volume 2: Hip-Hop as Praxis & Social Justice
  Adjapong, Edmund ; Levy, Ian 2020 Peter Lang Verlag
• Partielle Wissenskompilation
  Obermaier, Claudia ; Furbach, Ulrich ; Wernhard, Christoph 2006 Universität Koblenz-Landau, Campus Koblenz
• CoLab: a hybrid knowledge representation and compilation laboratory
  Boley, Harold 1993 DFKI