Search dblp for Publications

export results for "toc:db/conf/ecai/ecai1990tms.bht:"

 download as .bib file

@proceedings{DBLP:conf/ecai/1990tms,
  editor       = {Jo{\~{a}}o P. Martins and
                  Michael Reinfrank},
  title        = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden,
                  August 6, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {515},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0037025},
  doi          = {10.1007/BFB0037025},
  isbn         = {3-540-54305-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/1990tms.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/DresslerF90,
  author       = {Oskar Dressler and
                  Adam Farquhar},
  editor       = {Jo{\~{a}}o P. Martins and
                  Michael Reinfrank},
  title        = {Putting the Problem Solver Back in the Driver's Seat: Contextual Control
                  of the {AMTS}},
  booktitle    = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden,
                  August 6, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {515},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0037026},
  doi          = {10.1007/BFB0037026},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/DresslerF90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/DuboisLP90,
  author       = {Didier Dubois and
                  J{\'{e}}r{\^{o}}me Lang and
                  Henri Prade},
  editor       = {Jo{\~{a}}o P. Martins and
                  Michael Reinfrank},
  title        = {A Possibilistic Assumption-Based Truth Maintenance System with Uncertain
                  Justifications, and its Application to Belief Revision},
  booktitle    = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden,
                  August 6, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {515},
  pages        = {87--106},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0037031},
  doi          = {10.1007/BFB0037031},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/DuboisLP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/FujiwaraH90,
  author       = {Yasushi Fujiwara and
                  Shinichi Honiden},
  editor       = {Jo{\~{a}}o P. Martins and
                  Michael Reinfrank},
  title        = {On Logical Foundations of the {ATMS}},
  booktitle    = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden,
                  August 6, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {515},
  pages        = {125--135},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0037033},
  doi          = {10.1007/BFB0037033},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/FujiwaraH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/GiordanoM90a,
  author       = {Laura Giordano and
                  Alberto Martelli},
  editor       = {Jo{\~{a}}o P. Martins and
                  Michael Reinfrank},
  title        = {Truth Maintenance Systems and Belief Revision},
  booktitle    = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden,
                  August 6, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {515},
  pages        = {71--86},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0037030},
  doi          = {10.1007/BFB0037030},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/GiordanoM90a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/Inoue90,
  author       = {Katsumi Inoue},
  editor       = {Jo{\~{a}}o P. Martins and
                  Michael Reinfrank},
  title        = {An Abductive Procedure for the {CMS/ATMS}},
  booktitle    = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden,
                  August 6, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {515},
  pages        = {34--53},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0037028},
  doi          = {10.1007/BFB0037028},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Inoue90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/JacksonP90,
  author       = {Peter Jackson and
                  John Pais},
  editor       = {Jo{\~{a}}o P. Martins and
                  Michael Reinfrank},
  title        = {Semantic Accounts of Belief Revision},
  booktitle    = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden,
                  August 6, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {515},
  pages        = {155--177},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0037035},
  doi          = {10.1007/BFB0037035},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/JacksonP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/Junker90,
  author       = {Ulrich Junker},
  editor       = {Jo{\~{a}}o P. Martins and
                  Michael Reinfrank},
  title        = {Variations on Backtracking for {TMS}},
  booktitle    = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden,
                  August 6, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {515},
  pages        = {17--33},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0037027},
  doi          = {10.1007/BFB0037027},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Junker90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/KakasM90a,
  author       = {Antonis C. Kakas and
                  Paolo Mancarella},
  editor       = {Jo{\~{a}}o P. Martins and
                  Michael Reinfrank},
  title        = {Knowledge Assimilation and Abduction},
  booktitle    = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden,
                  August 6, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {515},
  pages        = {54--70},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0037029},
  doi          = {10.1007/BFB0037029},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/KakasM90a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/Tayrac90,
  author       = {Pierre Tayrac},
  editor       = {Jo{\~{a}}o P. Martins and
                  Michael Reinfrank},
  title        = {{ARC:} An Extended {ATMS} Based on Directed CAT-Correct Resolution},
  booktitle    = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden,
                  August 6, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {515},
  pages        = {107--124},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0037032},
  doi          = {10.1007/BFB0037032},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Tayrac90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/Witteveen90,
  author       = {Cees Witteveen},
  editor       = {Jo{\~{a}}o P. Martins and
                  Michael Reinfrank},
  title        = {A Skeptical Semantics for Truth Maintenance},
  booktitle    = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden,
                  August 6, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {515},
  pages        = {136--154},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0037034},
  doi          = {10.1007/BFB0037034},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Witteveen90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.