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

Lecture Notes in Computer Science - Truth Maintenance Systems ◽

10.1007/bfb0037028 ◽

2006 ◽

pp. 34-53 ◽

Author(s):

Katsumi Inoue

Download Full-text

Variations on backtracking for TMS

Lecture Notes in Computer Science - Truth Maintenance Systems ◽

10.1007/bfb0037027 ◽

2006 ◽

pp. 17-33 ◽

Author(s):

Ulrich Junker

Download Full-text

Truth maintenance systems and belief revision

Lecture Notes in Computer Science - Truth Maintenance Systems ◽

10.1007/bfb0037030 ◽

2006 ◽

pp. 71-86 ◽

Author(s):

Laura Giordano ◽

Alberto Martelli

Keyword(s):

Belief Revision ◽

Maintenance Systems ◽

Truth Maintenance ◽

Truth Maintenance Systems

Download Full-text

Putting the problem solver back in the Driver's seat: Contextual control of the ATMS

Lecture Notes in Computer Science - Truth Maintenance Systems ◽

10.1007/bfb0037026 ◽

2006 ◽

pp. 1-16 ◽

Author(s):

Oskar Dressler ◽

Adam Farquhar

Keyword(s):

Problem Solver ◽

Contextual Control

Download Full-text

Knowledge assimilation and abduction

Lecture Notes in Computer Science - Truth Maintenance Systems ◽

10.1007/bfb0037029 ◽

2006 ◽

pp. 54-70 ◽

Author(s):

A. C. Kakas ◽

P. Mancarella

Keyword(s):

Knowledge Assimilation

Download Full-text

On logical foundations of the ATMS

Lecture Notes in Computer Science - Truth Maintenance Systems ◽

10.1007/bfb0037033 ◽

2006 ◽

pp. 125-135 ◽

Author(s):

Yasushi Fujiwara ◽

Shinichi Honiden

Keyword(s):

Logical Foundations

Download Full-text

A skeptical semantics for truth maintenance

Lecture Notes in Computer Science - Truth Maintenance Systems ◽

10.1007/bfb0037034 ◽

2006 ◽

pp. 136-154 ◽

Author(s):

Cees Witteveen

Keyword(s):

Truth Maintenance

Download Full-text

ARC: An extended ATMS based on directed CAT-correct resolution

Lecture Notes in Computer Science - Truth Maintenance Systems ◽

10.1007/bfb0037032 ◽

2006 ◽

pp. 107-124 ◽

Author(s):

Pierre Tayrac

Download Full-text

A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision

Lecture Notes in Computer Science - Truth Maintenance Systems ◽

10.1007/bfb0037031 ◽

2006 ◽

pp. 87-106 ◽

Author(s):

Didier Dubois ◽

Jérôme Lang ◽

Henri Prade

Keyword(s):

Belief Revision ◽

Maintenance System ◽

Truth Maintenance

Download Full-text