(Dual) Projected Propositional Model Counting and Enumeration without Repetition

  • Sibylle Möhle-Rotondi (Speaker)

Activity: Talk or presentation › Other talk or presentation › science-to-science

Description

A new tableau rule for extending our formal calculi for propositional model counting and enumeration under projection is introduced. The working or the resulting tableau calculus is demonstrated by means of an example.
Period24 Sept 2020
Event titleunbekannt/unknown
Event typeOther
LocationAustriaShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence

JKU Focus areas

  • Digital Transformation