DECOMPOSABLE NEGATION NORMAL FORM
Experts
- Adnan Darwiche
- Pierre Marquis
- Guy Van den Broeck
- Stefan Mengel
- Marina Zanella
- Tuan Anh Le
- Atilim Gunes Baydin
- Stephen A. Edwards
- Luc De Raedt
- Dan Olteanu
- Francesco M. Donini
- Nalini Vasudevan
- Henry A. Kautz
- Florent Capelli
- Thomas G. Dietterich
- Gianfranco Lamperti
- Anton Dries
- Bart Selman
- Liangda Fang
- Dan Suciu
- Alexis de Colnet
- Frank D. Wood
- Sheila A. McIlraith
- Robert Fink
- Peter T. Breuer
- Silvia Giannini
- Dayou Liu
- Lucas Bordeaux
- Michael Fisher
- Anton Fuxjaeger
- Angelika Kimmig
- Simona Colucci
- Neil V. Murray
- Oliver Kullmann
- Shengyu Zhu
- Anthony Gasperin
- Lijie Chen
- Sheng-sheng Wang
- Larisa Han
Venues
- CoRR
- AAAI
- IJCAI
- ECAI
- KR
- SAT
- Artif. Intell.
- Electron. Colloquium Comput. Complex.
- ICAPS
- Australasian Conference on Artificial Intelligence
- IEEE Expert
- ISMIS
- AAAI Workshop: Beyond NP
- Theor. Comput. Sci.
- AI*IA
- TABLEAUX
- Proc. ACM Program. Lang.
- J. ACM
- Proc. VLDB Endow.
- CP
- Theory Comput. Syst.
- PLDI
- ICDT
- Int. J. Approx. Reason.
- AAAI/IAAI
- ISSAC
- MICAI
- NMR
- IJCAR
- J. Autom. Reason.
- Inf. Process. Lett.
- ISC
- AI Commun.
- Logic of Programs
- Fundam. Informaticae
- AISC
- IEEE Trans. Computers
- ICPP (2)
- PDK
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend