Search dblp for Publications

export results for "stream:streams/conf/ltc:"

 download as .bib file

@proceedings{DBLP:conf/ltc/1989,
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0018413},
  doi          = {10.1007/BFB0018413},
  isbn         = {3-540-53567-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/1989.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ltc/Asher89,
  author       = {Nicholas Asher},
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {Discourse representation theory and belief dynamics},
  booktitle    = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  pages        = {282--321},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018426},
  doi          = {10.1007/BFB0018426},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/Asher89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ltc/Brewka89,
  author       = {Gerhard Brewka},
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {Belief revision in a framework for default reasoning},
  booktitle    = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  pages        = {206--222},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018422},
  doi          = {10.1007/BFB0018422},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/Brewka89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ltc/Doyle89,
  author       = {Jon Doyle},
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {Rational control of reasoning in Artificial Intelligence},
  booktitle    = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  pages        = {19--48},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018415},
  doi          = {10.1007/BFB0018415},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/Doyle89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ltc/Fuhrmann89,
  author       = {Andr{\'{e}} Fuhrmann},
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {On the modal logic of theory change},
  booktitle    = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  pages        = {259--281},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018425},
  doi          = {10.1007/BFB0018425},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/Fuhrmann89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ltc/GardenforsLMR89,
  author       = {Peter G{\"{a}}rdenfors and
                  Sten Lindstr{\"{o}}m and
                  Michael Morreau and
                  Wlodzimierz Rabinowicz},
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {The negative Ramsey test: another triviality result},
  booktitle    = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  pages        = {129--134},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018419},
  doi          = {10.1007/BFB0018419},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/GardenforsLMR89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ltc/Hilpinen89,
  author       = {Risto Hilpinen},
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {Inquiry, argumentation and knowledge},
  booktitle    = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018414},
  doi          = {10.1007/BFB0018414},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/Hilpinen89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ltc/LindstromR89,
  author       = {Sten Lindstr{\"{o}}m and
                  Wlodzimierz Rabinowicz},
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {Epistemic entrenchment with incomparabilities and relational belief
                  revision},
  booktitle    = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  pages        = {93--126},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018418},
  doi          = {10.1007/BFB0018418},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/LindstromR89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ltc/MakinsonG89,
  author       = {David Makinson and
                  Peter G{\"{a}}rdenfors},
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {Relations between the logic of theory change and nonmonotonic logic},
  booktitle    = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  pages        = {185--205},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018421},
  doi          = {10.1007/BFB0018421},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/MakinsonG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ltc/Martins89,
  author       = {Jo{\~{a}}o P. Martins},
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {Computational issues in belief revision},
  booktitle    = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  pages        = {51--71},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018416},
  doi          = {10.1007/BFB0018416},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/Martins89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ltc/Niederee89,
  author       = {Reinhard Nieder{\'{e}}e},
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {Multiple contraction. {A} further case against G{\"{a}}rdenfors'
                  principle of recovery},
  booktitle    = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  pages        = {322--334},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018427},
  doi          = {10.1007/BFB0018427},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/Niederee89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ltc/PearceR89,
  author       = {David Pearce and
                  Wolfgang Rautenberg},
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {Propositional logic based on the dynamics of disbelief},
  booktitle    = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  pages        = {243--258},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018424},
  doi          = {10.1007/BFB0018424},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/PearceR89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ltc/Rott89,
  author       = {Hans Rott},
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {A nonmonotonic conditional logic for belief revision. Part 1: Semantics
                  and logic of simple conditionals},
  booktitle    = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  pages        = {135--181},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018420},
  doi          = {10.1007/BFB0018420},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/Rott89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ltc/Schlechta89,
  author       = {Karl Schlechta},
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {Some results on theory revision},
  booktitle    = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  pages        = {72--92},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018417},
  doi          = {10.1007/BFB0018417},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/Schlechta89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ltc/Schulz89,
  author       = {Klaus U. Schulz},
  editor       = {Andr{\'{e}} Fuhrmann and
                  Michael Morreau},
  title        = {Preferential cumulative reasoning and nonmonotonic semantic nets},
  booktitle    = {The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {465},
  pages        = {223--240},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018423},
  doi          = {10.1007/BFB0018423},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ltc/Schulz89.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.