TRUTH MAINTENANCE SYSTEMS
Experts
- Grigoris Antoniou
- Miroslaw Truszczynski
- Torsten Schaub
- Gerhard Brewka
- Thomas Eiter
- Laura Giordano
- Arne Meier
- V. Wiktor Marek
- Heribert Vollmer
- Michael Thomas
- Georg Gottlob
- Hans Tompits
- Paolo Liberatore
- Nicola Olivetti
- Kurt Konolige
- Ilkka Niemelä
- Churn-Jung Liau
- Katsumi Inoue
- James P. Delgrande
- Valentina Gliozzi
- Olaf Beyersdorff
- Tuan-Fang Fan
- Pascal Nicolas
- Michael Reinfrank
- Teodor C. Przymusinski
- Marco Schaerf
- Jan Treur
- Judea Pearl
- Alberto Martelli
- Frédéric Saubion
- V. S. Subrahmanian
- Philippe Besnard
- Jérôme Lang
- Alexander Bochman
- Kurt Driessens
- Marco Cadoli
- Igor Stéphan
- Gerhard Lakemeyer
- Gian Luca Pozzato
Venues
- CoRR
- IJCAI
- Artif. Intell.
- JELIA
- LPNMR
- KR
- AAAI
- ECAI
- Stud Logica
- ECSQARU
- Fundam. Informaticae
- J. Log. Comput.
- Ann. Math. Artif. Intell.
- Log. J. IGPL
- ACM Trans. Comput. Log.
- Synth.
- Notre Dame J. Formal Log.
- J. Appl. Non Class. Logics
- Theor. Comput. Sci.
- Math. Log. Q.
- ISMIS
- J. Philos. Log.
- NMR
- TABLEAUX
- Comput. Intell.
- ELP
- Ann. Pure Appl. Log.
- J. Symb. Log.
- LICS
- ICTAI
- J. Autom. Reason.
- AI*IA
- Künstliche Intell.
- CogSci
- Truth Maintenance Systems (ECAI Workshop)
- Int. J. Intell. Syst.
- Artif. Intell. Rev.
- LPAR
- AIMSA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend