Truth Maintenance Systems is a computational reasoning framework designed to maintain the consistency of a knowledge base by systematically tracking logical dependencies among propositions and revising beliefs when contradictions arise.
114
Publications
7.1K
Citations
180
Authors
96
Institutions
Publications per year
2017–2026
2
Parents
Publications
114
1–5 of 114
Authors
180
- JD
7
h-index
- DMDavid McAllester
Toyota Technological Institute at Chicago, United States
4 publications · 393 citations
4
h-index
- TN
3
h-index
- PM
3
h-index
- KD
3
h-index
1–5 of 180
Institutions
96
Palo Alto Research Center
Palo Alto, United States
8 h-index
8 publications
754 citations
Massachusetts Institute of Technology
Cambridge, United States
6 h-index
8 publications
2.2K citations
Intel (United States)
Santa Clara, United States
6 h-index
8 publications
446 citations
Stanford University
Stanford, United States
3 h-index
5 publications
711 citations
SRI International
Menlo Park, United States
3 h-index
4 publications
87 citations
Tel Aviv University
Tel Aviv, Israel
3 h-index
3 publications
126 citations
Aberystwyth University
Aberystwyth, United Kingdom
3 h-index
5 publications
301 citations
Menlo School
Atherton, United States
2 h-index
2 publications
40 citations
1–8 of 96
Venues
- National Conference on Artificial Intelligence
Conference · 10 publications · 879 citations
10
h-index
- Artificial Intelligence
6 publications · 2.1K citations
6
h-index
- DSpace@MIT (Massachusetts Institute of Technology)
Repository · 5 publications · 408 citations
5
h-index
- European Conference on Artificial Intelligence
Conference · 2 publications · 32 citations
2
h-index
- Journal of Artificial Intelligence Research
JAIR · 2 publications · 223 citations
2
h-index
1–5