Search dblp for Publications

export results for "toc:db/conf/lpnmr/lpnmr93.bht:"

 download as .bib file

@inproceedings{DBLP:conf/lpnmr/AlferesDP93,
  author       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Phan Minh Dung and
                  Lu{\'{\i}}s Moniz Pereira},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Scenario Semantics of Extended Logic Programs},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {334--348},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 14:37:29 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/AlferesDP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/BellNNS93,
  author       = {Colin Bell and
                  Anil Nerode and
                  Raymond T. Ng and
                  V. S. Subrahmanian},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Implementing Stable Semantics by Linear Programming},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {23--42},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/BellNNS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Bonatti93,
  author       = {Piero A. Bonatti},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Autoepistemic Logic Programming},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {151--167},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Bonatti93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/BondarenkoTK93,
  author       = {Andrei Bondarenko and
                  Francesca Toni and
                  Robert A. Kowalski},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {An Assumption-Based Framework for Non-Monotonic Reasoning},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {171--189},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/BondarenkoTK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Brewka93,
  author       = {Gerhard Brewka},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {An Abductive Framework for Generalized Logic Programs},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {349--364},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Brewka93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Busch93,
  author       = {Douglas R. Busch},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {A Sequent Axiomatization of Three-valued Logic with Two Negations},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {476--494},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Busch93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Chen93,
  author       = {Jianhua Chen},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes)},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {132--150},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Chen93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Costantini93,
  author       = {Stefania Costantini},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Contributions to the Stable Model Semantics of Logic Programs with
                  Negation},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {190--205},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Costantini93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/DeneckerS93,
  author       = {Marc Denecker and
                  Danny De Schreye},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Justification Semantics: {A} Unifiying Framework for the Semantics
                  of Logic Programs},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {365--379},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/DeneckerS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/DongL93,
  author       = {Fangqing Dong and
                  Laks V. S. Lakshmanan},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs
                  (Extended Abstract)},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {437--456},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/DongL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Drabent93,
  author       = {Wlodzimierz Drabent},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {SLS-Resolution without Floundering},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {82--98},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Drabent93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/GeertsV93,
  author       = {P. Geerts and
                  Dirk Vermeir},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {380--396},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/GeertsV93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/GelfondP93,
  author       = {Michael Gelfond and
                  Halina Przymusinska},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Reasoning on Open Domains},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {397--413},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/GelfondP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Gottlob93,
  author       = {Georg Gottlob},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning,
                  and Why They Matter (Invited Talk Abstract)},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {265},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Gottlob93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/KohnN93,
  author       = {Wolf Kohn and
                  Anil Nerode},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Autonomous Control of Hybrid Systems with Declarative Controllers},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {3--22},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/KohnN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/LifschitzS93,
  author       = {Vladimir Lifschitz and
                  Grigori Schwarz},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Extended Logic Programs as Autoepistemic Theories},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {101--114},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/LifschitzS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/MarekT93,
  author       = {V. Wiktor Marek and
                  Miroslaw Truszczynski},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Reflective Autoepistemic Logic and Logic Programming},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {115--131},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/MarekT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/McCarthyM93,
  author       = {L. Thorne McCarty and
                  Ron van der Meyden},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary
                  Version)},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {417--436},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/McCarthyM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/MikitiukT93,
  author       = {Artur Mikitiuk and
                  Miroslaw Truszczynski},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Rational Default Logic and Disjunctive Logic Programming},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {283--299},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/MikitiukT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/MobasherLP93,
  author       = {Bamshad Mobasher and
                  Jacek Leszczylowski and
                  Don Pigozzi},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Negation as Partial Failure},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {244--262},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/MobasherLP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/MullerD93,
  author       = {Martin M{\"{u}}ller and
                  J{\"{u}}rgen Dix},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Implementing Semantics of Disjunctive Logic Programs Using Fringes
                  and Abstract Properties (Extended Abstract)},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {43--59},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 30 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/MullerD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Pearce93,
  author       = {David Pearce},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Answer Sets and Constructive Logic, {II:} Extended Logic Programs
                  and Related Nonmonotonic Formalisms},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {457--475},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Pearce93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/PereiraDA93,
  author       = {Lu{\'{\i}}s Moniz Pereira and
                  Carlos Viegas Dam{\'{a}}sio and
                  Jos{\'{e}} J{\'{u}}lio Alferes},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Diagnosis and Debugging as Contradiction Removal},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {316--330},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/PereiraDA93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Sagiv93,
  author       = {Yehoshua Sagiv},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Tools for Deductive Databases (Abstract)},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {333},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Sagiv93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/SakamaI93,
  author       = {Chiaki Sakama and
                  Katsumi Inoue},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Relating Disjunctive Logic Programs to Default Theories},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {266--282},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/SakamaI93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Teusink93,
  author       = {Frank Teusink},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {A Characterization of Stable Models using a Non-Monotonic Operator},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {206--222},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Teusink93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Torres93,
  author       = {Alberto Torres},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Negation as Failure to Support},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {223--243},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Torres93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Vingralek93,
  author       = {Radek Vingralek},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Connectionist Approach to Finding Stable Models and Other Structures
                  in Nonmonotonic Reasoning},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {60--81},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Vingralek93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Wagner93,
  author       = {Gerd Wagner},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Reasoning with Inconsistency in Extended Deductive Databases},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {300--315},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Wagner93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lpnmr/1993,
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  publisher    = {{MIT} Press},
  year         = {1993},
  isbn         = {0-262-66083-0},
  timestamp    = {Mon, 20 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/1993.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.