TRUTH MAINTENANCE SYSTEMS
Experts
- Grigoris Antoniou
- Miroslaw Truszczynski
- Torsten Schaub
- Gerhard Brewka
- Laura Giordano
- Thomas Eiter
- Arne Meier
- V. Wiktor Marek
- Michael Thomas
- Georg Gottlob
- Heribert Vollmer
- Hans Tompits
- Paolo Liberatore
- Ilkka Niemelä
- Churn-Jung Liau
- Nicola Olivetti
- Kurt Konolige
- Teodor C. Przymusinski
- James P. Delgrande
- Valentina Gliozzi
- Tuan-Fang Fan
- Olaf Beyersdorff
- Marco Schaerf
- Katsumi Inoue
- Pascal Nicolas
- Michael Reinfrank
- Jérôme Lang
- Judea Pearl
- Marco Cadoli
- Viorica Sofronie-Stokkermans
- Alberto Martelli
- Gerhard Lakemeyer
- Giorgi Japaridze
- Alexander Bochman
- Philippe Besnard
- Frédéric Saubion
- Kurt Driessens
- Jan Treur
- Igor Stéphan
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.
- Notre Dame J. Formal Log.
- Synth.
- J. Appl. Non Class. Logics
- Theor. Comput. Sci.
- ISMIS
- J. Philos. Log.
- Math. Log. Q.
- TABLEAUX
- NMR
- ICTAI
- Comput. Intell.
- J. Symb. Log.
- Ann. Pure Appl. Log.
- LICS
- ELP
- Truth Maintenance Systems (ECAI Workshop)
- AI*IA
- Int. J. Intell. Syst.
- J. Autom. Reason.
- LPAR
- CogSci
- Künstliche Intell.
- Artif. Intell. Rev.
- Nonmonotonic and Inductive Logic
Related Topics
Related Keywords
Popularity