DECOMPOSABLE NEGATION NORMAL FORM
Experts
- Adnan Darwiche
- Pierre Marquis
- Guy Van den Broeck
- Stefan Mengel
- Bart Selman
- Luc De Raedt
- Frank D. Wood
- Dan Suciu
- Anton Dries
- Florent Capelli
- Gianfranco Lamperti
- Nalini Vasudevan
- Marina Zanella
- Tuan Anh Le
- Henry A. Kautz
- Liangda Fang
- Thomas G. Dietterich
- Atilim Gunes Baydin
- Dan Olteanu
- Francesco M. Donini
- Stephen A. Edwards
- Alexis de Colnet
- Vaishak Belle
- Larisa Han
- Christian J. Muise
- Anthony Gasperin
- Dayou Liu
- J. Christopher Beck
- Sheng-sheng Wang
- Wannes Meert
- Hiroki Sayama
- Sheila A. McIlraith
- Biao Chen
- Lucas Bordeaux
- Youssef Hamadi
- Zhe Wang
- Michael Fisher
- Kewen Wang
- Neil V. Murray
Venues
- CoRR
- AAAI
- IJCAI
- ECAI
- KR
- ICAPS
- Artif. Intell.
- Electron. Colloquium Comput. Complex.
- SAT
- Theor. Comput. Sci.
- IEEE Expert
- Int. J. Approx. Reason.
- Australasian Conference on Artificial Intelligence
- AI*IA
- TABLEAUX
- CP
- PLDI
- Proc. ACM Program. Lang.
- AAAI/IAAI
- Proc. VLDB Endow.
- ISMIS
- ICDT
- J. ACM
- Theory Comput. Syst.
- AAAI Workshop: Beyond NP
- Softw. Pract. Exp.
- STACS
- CASES
- LISP and Functional Programming
- Fundam. Informaticae
- Electron. Notes Theor. Comput. Sci.
- SOFSEM
- SETTA
- Math. Struct. Comput. Sci.
- FOCS
- ICTSS
- AISTATS
- Commun. ACM
- AAAI/IAAI, Vol. 1
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend