DECOMPOSABLE NEGATION NORMAL FORM
Experts
- Adnan Darwiche
- Pierre Marquis
- Guy Van den Broeck
- Stefan Mengel
- Gianfranco Lamperti
- Alexis de Colnet
- Atilim Gunes Baydin
- Frank D. Wood
- Stephen A. Edwards
- Florent Capelli
- Dan Suciu
- Anton Dries
- Tuan Anh Le
- Francesco M. Donini
- Marina Zanella
- Liangda Fang
- Bart Selman
- Dan Olteanu
- Thomas G. Dietterich
- Luc De Raedt
- Henry A. Kautz
- Nalini Vasudevan
- Hiroki Sayama
- Shengyu Zhu
- Lijie Chen
- Kewen Wang
- Eugenio Di Sciascio
- Silvia Giannini
- Vaishak Belle
- Sheila A. McIlraith
- J. Christopher Beck
- Youssef Hamadi
- Yong Lai
- Simona Colucci
- Peter T. Breuer
- Sheng-sheng Wang
- Eufemia Tinelli
- Dayou Liu
- Anthony Gasperin
Venues
- CoRR
- AAAI
- IJCAI
- KR
- ECAI
- SAT
- Artif. Intell.
- Electron. Colloquium Comput. Complex.
- ICAPS
- Proc. ACM Program. Lang.
- ISMIS
- Int. J. Approx. Reason.
- Theory Comput. Syst.
- AAAI Workshop: Beyond NP
- Theor. Comput. Sci.
- IEEE Expert
- ICDT
- TABLEAUX
- Proc. VLDB Endow.
- J. ACM
- AI*IA
- AAAI/IAAI
- CP
- PLDI
- Australasian Conference on Artificial Intelligence
- SPLT
- SC
- CiE
- ICPP (2)
- NMR
- IACR Cryptol. ePrint Arch.
- J. Networks
- Ă–GAI
- ISPAN
- CSL
- LPAR
- ISSRE Workshops
- CD-MAKE
- EMNLP
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend