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}
}

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.