DECOMPOSABLE NEGATION NORMAL FORM
Experts
- Adnan Darwiche
- Pierre Marquis
- Guy Van den Broeck
- Stefan Mengel
- Luc De Raedt
- Nalini Vasudevan
- Henry A. Kautz
- Liangda Fang
- Atilim Gunes Baydin
- Tuan Anh Le
- Thomas G. Dietterich
- Alexis de Colnet
- Frank D. Wood
- Dan Olteanu
- Florent Capelli
- Bart Selman
- Stephen A. Edwards
- Dan Suciu
- Anton Dries
- Marina Zanella
- Francesco M. Donini
- Gianfranco Lamperti
- Yong Lai
- Giuseppe Cerbone
- Dayou Liu
- Lucas Bordeaux
- Oliver Kullmann
- Erik Rosenthal
- Abhay Kumar Jha
- Sheng-sheng Wang
- Zhe Wang
- Christoph Wernhard
- Kewen Wang
- Simona Colucci
- Michael Fisher
- Shengyu Zhu
- Neil V. Murray
- Peter J. F. Lucas
- Christian J. Muise
Venues
- CoRR
- AAAI
- IJCAI
- KR
- ECAI
- ICAPS
- SAT
- Electron. Colloquium Comput. Complex.
- Artif. Intell.
- ICDT
- TABLEAUX
- Theory Comput. Syst.
- Proc. ACM Program. Lang.
- AAAI/IAAI
- J. ACM
- CP
- ISMIS
- Theor. Comput. Sci.
- Proc. VLDB Endow.
- AAAI Workshop: Beyond NP
- Australasian Conference on Artificial Intelligence
- Int. J. Approx. Reason.
- AI*IA
- IEEE Expert
- PLDI
- Inf. Process. Lett.
- FLAIRS Conference
- ARC
- J. Comput. Syst. Sci.
- ACM Trans. Program. Lang. Syst.
- CADE
- FPCA
- CAV (1)
- Formal Methods Syst. Des.
- SPLT
- ISC
- Softw. Pract. Exp.
- ÖGAI
- EMNLP
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend