Search dblp for Publications

• > Home > Search

@article{DBLP:journals/lu/Muravitsky21,
  author       = {Alexei Y. Muravitsky},
  title        = {On Nonmonotonic Consequence Relations},
  journal      = {Logica Universalis},
  volume       = {15},
  number       = {2},
  pages        = {227--249},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11787-021-00275-4},
  doi          = {10.1007/S11787-021-00275-4},
  timestamp    = {Thu, 27 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lu/Muravitsky21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/order/MartiP20,
  author       = {Johannes Marti and
                  Riccardo Pinosio},
  title        = {A Discrete Duality Between Nonmonotonic Consequence Relations and
                  Convex Geometries},
  journal      = {Order},
  volume       = {37},
  number       = {1},
  pages        = {151--171},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11083-019-09497-0},
  doi          = {10.1007/S11083-019-09497-0},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/order/MartiP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecsqaru/DoderPO11,
  author       = {Dragan Doder and
                  Aleksandar Perovic and
                  Zoran Ognjanovic},
  editor       = {Weiru Liu},
  title        = {Probabilistic Approach to Nonmonotonic Consequence Relations},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
                  - 11th European Conference, {ECSQARU} 2011, Belfast, UK, June 29-July
                  1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6717},
  pages        = {459--471},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22152-1\_39},
  doi          = {10.1007/978-3-642-22152-1\_39},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/DoderPO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/logcom/ArtosiGR02,
  author       = {Alberto Artosi and
                  Guido Governatori and
                  Antonino Rotolo},
  title        = {Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence
                  Relations},
  journal      = {J. Log. Comput.},
  volume       = {12},
  number       = {6},
  pages        = {1027--1060},
  year         = {2002},
  url          = {https://doi.org/10.1093/logcom/12.6.1027},
  doi          = {10.1093/LOGCOM/12.6.1027},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/logcom/ArtosiGR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/PerezU00,
  author       = {Ram{\'{o}}n Pino P{\'{e}}rez and
                  Carlos Uzc{\'{a}}tegui},
  title        = {On Representation Theorems for Nonmonotonic Consequence Relations},
  journal      = {J. Symb. Log.},
  volume       = {65},
  number       = {3},
  pages        = {1321--1337},
  year         = {2000},
  url          = {https://doi.org/10.2307/2586702},
  doi          = {10.2307/2586702},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/PerezU00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/ArtosiGR00,
  author       = {Alberto Artosi and
                  Guido Governatori and
                  Antonino Rotolo},
  editor       = {Roy Dyckhoff},
  title        = {A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence
                  Relations},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods, International
                  Conference, {TABLEAUX} 2000, St Andrews, Scotland, UK, July 3-7, 2000,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1847},
  pages        = {82--97},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722086\_10},
  doi          = {10.1007/10722086\_10},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/ArtosiGR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Stalnaker94,
  author       = {Robert Stalnaker},
  title        = {What is a Nonmonotonic Consequence Relation?},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {1/2},
  pages        = {7--21},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-21121},
  doi          = {10.3233/FI-1994-21121},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Stalnaker94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tsmc/DuboisP94,
  author       = {Didier Dubois and
                  Henri Prade},
  title        = {Conditional Objects as Nonmonotonic Consequence Relationships},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {24},
  number       = {12},
  pages        = {1724--1740},
  year         = {1994},
  url          = {https://doi.org/10.1109/21.328930},
  doi          = {10.1109/21.328930},
  timestamp    = {Fri, 16 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/DuboisP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kr/DuboisP94,
  author       = {Didier Dubois and
                  Henri Prade},
  editor       = {Jon Doyle and
                  Erik Sandewall and
                  Pietro Torasso},
  title        = {Conditional Objects as Nonmonotonic Consequence Relations: Main Results},
  booktitle    = {Proceedings of the 4th International Conference on Principles of Knowledge
                  Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
  pages        = {170--177},
  publisher    = {Morgan Kaufmann},
  year         = {1994},
  timestamp    = {Fri, 18 May 2012 15:02:59 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/DuboisP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}