DECOMPOSABLE NEGATION NORMAL FORM
Experts
- Adnan Darwiche
- Pierre Marquis
- Guy Van den Broeck
- Stefan Mengel
- Thomas G. Dietterich
- Dan Olteanu
- Marina Zanella
- Dan Suciu
- Anton Dries
- Gianfranco Lamperti
- Nalini Vasudevan
- Alexis de Colnet
- Henry A. Kautz
- Liangda Fang
- Bart Selman
- Francesco M. Donini
- Luc De Raedt
- Stephen A. Edwards
- Frank D. Wood
- Tuan Anh Le
- Atilim Gunes Baydin
- Florent Capelli
- Christian J. Muise
- Jesse Davis
- Sheila A. McIlraith
- Yong Lai
- Zhe Wang
- Biao Chen
- Giuseppe Cerbone
- Lucas Bordeaux
- Larisa Han
- Ali Jazayeri
- Eugenio Di Sciascio
- Simona Colucci
- Eufemia Tinelli
- Youssef Hamadi
- Silvia Giannini
- Christoph Wernhard
- Shengyu Zhu
Venues
- CoRR
- AAAI
- IJCAI
- KR
- ECAI
- Electron. Colloquium Comput. Complex.
- Artif. Intell.
- SAT
- ICAPS
- ICDT
- Australasian Conference on Artificial Intelligence
- PLDI
- AI*IA
- J. ACM
- AAAI/IAAI
- ISMIS
- Proc. VLDB Endow.
- Int. J. Approx. Reason.
- AAAI Workshop: Beyond NP
- Theory Comput. Syst.
- TABLEAUX
- IEEE Expert
- Theor. Comput. Sci.
- Proc. ACM Program. Lang.
- CP
- CAV (1)
- ICPP (2)
- Universität Trier, Mathematik/Informatik, Forschungsbericht
- PAAR@FLoC
- CSL
- LPAR (short papers)
- Canadian Conference on AI
- ARC
- FOCS
- SLP
- SC
- LISP and Functional Programming
- DATE
- EMNLP
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend