Switch to: References

Add citations

You must login to add citations.
  1. On the role of logical separability in knowledge compilation.Junming Qiu, Wenqing Li, Liangda Fang, Quanlong Guan, Zhanhao Xiao, Zhao-Rong Lai & Qian Dong - 2024 - Artificial Intelligence 328 (C):104077.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • On propositional definability.Jérôme Lang & Pierre Marquis - 2008 - Artificial Intelligence 172 (8-9):991-1017.
  • Disjunctive closures for knowledge compilation.Hélène Fargier & Pierre Marquis - 2014 - Artificial Intelligence 216 (C):129-162.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation