Lecture Notes in Computer Science - Truth Maintenance Systems
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer-Verlag

3540543058
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An abductive procedure for the CMS/ATMS

2006 ◽  
pp. 34-53 ◽  
Author(s):  
Katsumi Inoue

Variations on backtracking for TMS

2006 ◽  
pp. 17-33 ◽  
Author(s):  
Ulrich Junker

On logical foundations of the ATMS

2006 ◽  
pp. 125-135 ◽  
Author(s):  
Yasushi Fujiwara ◽  
Shinichi Honiden
Keyword(s):  
Logical Foundations

Truth maintenance systems and belief revision

2006 ◽  
pp. 71-86 ◽  
Author(s):  
Laura Giordano ◽  
Alberto Martelli
Keyword(s):  
Belief Revision ◽  
Maintenance Systems ◽  
Truth Maintenance ◽  
Truth Maintenance Systems

Knowledge assimilation and abduction

2006 ◽  
pp. 54-70 ◽  
Author(s):  
A. C. Kakas ◽  
P. Mancarella
Keyword(s):  
Knowledge Assimilation

A skeptical semantics for truth maintenance

2006 ◽  
pp. 136-154 ◽  
Author(s):  
Cees Witteveen
Keyword(s):  
Truth Maintenance
Load More ...
Sign in / Sign up

Export Citation Format

Share Document