default search action

combined dblp search
author search
venue search
publication search

ask others

Truth Maintenance Systems, ECAI 1990 Workshop: Stockholm, Sweden

> Home > Conferences and Workshops > ECAI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ecai/1990tms
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/1990tms
João P. Martins, Michael Reinfrank:
Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings. Lecture Notes in Computer Science 515, Springer 1991, ISBN 3-540-54305-8
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/DresslerF90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/DresslerF90
Oskar Dressler, Adam Farquhar:
Putting the Problem Solver Back in the Driver's Seat: Contextual Control of the AMTS. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/Junker90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/Junker90
Ulrich Junker:
Variations on Backtracking for TMS. 17-33
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/Inoue90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/Inoue90
Katsumi Inoue:
An Abductive Procedure for the CMS/ATMS. 34-53
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/KakasM90a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/KakasM90a
Antonis C. Kakas, Paolo Mancarella:
Knowledge Assimilation and Abduction. 54-70
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/GiordanoM90a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GiordanoM90a
Laura Giordano, Alberto Martelli:
Truth Maintenance Systems and Belief Revision. 71-86
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/DuboisLP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/DuboisLP90
Didier Dubois, Jérôme Lang, Henri Prade:
A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision. 87-106
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/Tayrac90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/Tayrac90
Pierre Tayrac:
ARC: An Extended ATMS Based on Directed CAT-Correct Resolution. 107-124
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/FujiwaraH90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/FujiwaraH90
Yasushi Fujiwara, Shinichi Honiden:
On Logical Foundations of the ATMS. 125-135
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/Witteveen90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/Witteveen90
Cees Witteveen:
A Skeptical Semantics for Truth Maintenance. 136-154
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/JacksonP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/JacksonP90
Peter Jackson, John Pais:
Semantic Accounts of Belief Revision. 155-177

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.