Search dblp for Publications

export results for "toc:db/conf/nmr/nmr88.bht:"

 download as .bib file

@proceedings{DBLP:conf/nmr/1988,
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-50701-9},
  doi          = {10.1007/3-540-50701-9},
  isbn         = {3-540-50701-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/1988.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/AppeltK88,
  author       = {Douglas E. Appelt and
                  Kurt Konolige},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {A Non-Monotonic Logic for Reasoning about Speech Acts and Belief Revision},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {164--175},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_26},
  doi          = {10.1007/3-540-50701-9\_26},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/AppeltK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/BrownS88,
  author       = {Allen L. Brown Jr. and
                  Yoav Shoham},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {New Results on Semantical Non-Monotonic Reasoning},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {19--26},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_17},
  doi          = {10.1007/3-540-50701-9\_17},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/BrownS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/DixonK88,
  author       = {Michael Dixon and
                  Johan de Kleer},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {Massively Parallel Assumption-Based Truth Maintenance},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {131--142},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_24},
  doi          = {10.1007/3-540-50701-9\_24},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nmr/DixonK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/Dressler88,
  author       = {Oskar Dressler},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {An Extended Basic {ATMS}},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {143--163},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_25},
  doi          = {10.1007/3-540-50701-9\_25},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/Dressler88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/Gelfond88,
  author       = {Michael Gelfond},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary
                  Report},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {176--186},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_27},
  doi          = {10.1007/3-540-50701-9\_27},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/Gelfond88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/GelfondL88,
  author       = {Michael Gelfond and
                  Vladimir Lifschitz},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {Compiling Circumscriptive Theories into Logic Programs},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {74--99},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_21},
  doi          = {10.1007/3-540-50701-9\_21},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/GelfondL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/Ginsberg88,
  author       = {Matthew L. Ginsberg},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {A Circumscriptive Theorem Prover},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {100--114},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_22},
  doi          = {10.1007/3-540-50701-9\_22},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/Ginsberg88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/GoodwinG88,
  author       = {Scott D. Goodwin and
                  Randy Goebel},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {Non-Monotonic Reasoning in Temporal Domains: The Knowledge Independence
                  Problem},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {187--201},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_28},
  doi          = {10.1007/3-540-50701-9\_28},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/GoodwinG88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/Konolige88,
  author       = {Kurt Konolige},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {Hierarchic Autoepistemic Theories for Non-Monotonic Reasoning: Preliminary
                  Report},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {42--59},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_19},
  doi          = {10.1007/3-540-50701-9\_19},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/Konolige88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/Lifschitz88,
  author       = {Vladimir Lifschitz},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {202--219},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_29},
  doi          = {10.1007/3-540-50701-9\_29},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/Lifschitz88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/Makinson88,
  author       = {David Makinson},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {General Theory of Cumulative Inference},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_16},
  doi          = {10.1007/3-540-50701-9\_16},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/Makinson88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/Morris88,
  author       = {Paul H. Morris},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {Autoepistemic Stable Closures and Contradiction Resolution},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {60--73},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_20},
  doi          = {10.1007/3-540-50701-9\_20},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/Morris88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/Sandewall88,
  author       = {Erik Sandewall},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {27--41},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_18},
  doi          = {10.1007/3-540-50701-9\_18},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/Sandewall88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/SelmanK88,
  author       = {Bart Selman and
                  Henry A. Kautz},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {The Complexity of Model-Preference Default Theories},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {115--130},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_23},
  doi          = {10.1007/3-540-50701-9\_23},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/SelmanK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/ThomasonH88,
  author       = {Richmond H. Thomason and
                  John F. Horty},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {Logics for Inheritance Theory},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {220--237},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_30},
  doi          = {10.1007/3-540-50701-9\_30},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/ThomasonH88.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.