Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/nmr/AmgoudCL04,
  author    = {Leila Amgoud and
               Claudette Cayrol and
               Marie{-}Christine Lagasquie{-}Schiex},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {On the bipolarity in argumentation frameworks},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {1--9},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper01.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/AmgoudCL04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/AmgoudP04,
  author    = {Leila Amgoud and
               Henri Prade},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Generation and evaluation of different types of arguments in negotiation},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {10--15},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper02.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/AmgoudP04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/AnXC04,
  author    = {Xiangdong An and
               Yang Xiang and
               Nick Cercone},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Probabilistic reasoning in dynamic multiagent systems},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {16--24},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper03.pdf},
  timestamp = {Mon, 03 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/nmr/AnXC04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Arlo-CostaL04,
  author    = {Horacio L. Arl{\'{o}}{-}Costa and
               Isaac Levi},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {A complete characterization of a notion of contraction based on information-value},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {25--40},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper04.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Arlo-CostaL04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BaldwinN04,
  author    = {Richard A. Baldwin and
               Eric Neufeld},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {The structural model interpretation of the {NESS} test},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {41--49},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper06.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/BaldwinN04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BaroniG04,
  author    = {Pietro Baroni and
               Massimiliano Giacomin},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {A recursive approach to argumentation: motivation and perspectives},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {50--58},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper07.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/BaroniG04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BesnardD04,
  author    = {Philippe Besnard and
               Sylvie Doutre},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Checking the acceptability of a set of arguments},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {59--64},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers.html},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/BesnardD04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Billington04,
  author    = {David Billington},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {A plausible logic which detects loops},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {65--71},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper09.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Billington04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BoothCMG04,
  author    = {Richard Booth and
               Samir Chopra and
               Thomas Andreas Meyer and
               Aditya Ghose},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {A unifying semantics for belief change},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {72--78},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper10.pdf},
  timestamp = {Thu, 17 Nov 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/nmr/BoothCMG04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BraccialiK04,
  author    = {Andrea Bracciali and
               Antonis C. Kakas},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Frame consistency: computing with causal explanations},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {79--87},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper11.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/BraccialiK04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Brewka04,
  author    = {Gerhard Brewka},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {A rank based description language for qualitative preferences},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {88--93},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper12.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Brewka04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Caminada04,
  author    = {Martin Caminada},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Dialogues and HY-arguments},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {94--99},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper13.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Caminada04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/ChaconP04,
  author    = {Jos{\'{e}} Luis Chac{\'{o}}n and
               Ram{\'{o}}n Pino P{\'{e}}rez},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Logic-based merging: the infinite case},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {100--108},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper14.pdf},
  timestamp = {Fri, 05 Nov 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/nmr/ChaconP04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/ChesnevarMS04,
  author    = {Carlos Iv{\'{a}}n Ches{\~{n}}evar and
               Ana Gabriela Maguitman and
               Guillermo Ricardo Simari},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {A first approach to argument-based recommender systems based on defeasible
               logic programming},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {109--117},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper15.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/ChesnevarMS04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Delgrande04,
  author    = {James P. Delgrande},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Preliminary considerations on the modelling of belief change operators
               by metric spaces},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {118--125},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper16.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Delgrande04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/DelgrandeS04,
  author    = {James P. Delgrande and
               Torsten Schaub},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Consistency-based approaches to merging knowledge bases: preliminary
               report},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {126--133},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper17.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/DelgrandeS04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/DoutreM04,
  author    = {Sylvie Doutre and
               J{\'{e}}r{\^{o}}me Mengin},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {On sceptical vs credulous acceptance for abstract argument systems},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {134--139},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper18.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/DoutreM04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/DuboisKP04,
  author    = {Didier Dubois and
               Souhila Kaci and
               Henri Prade},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Ordinal and absolute representations of positive information in possibilistic
               logic},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {140--146},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper19.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/DuboisKP04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/EiterEF04,
  author    = {Thomas Eiter and
               Esra Erdem and
               Wolfgang Faber},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Plan reversals for recovery in execution monitoring},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {147--154},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper20.pdf},
  timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/nmr/EiterEF04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/ElkhativPS04,
  author    = {Omar El{-}Khatib and
               Enrico Pontelli and
               Tran Cao Son},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {{ASP-PROLOG:} a system for reasoning about answer set programs in
               prolog},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {155--163},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper21.pdf},
  timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/ElkhativPS04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/FalappaGS04,
  author    = {Marcelo A. Falappa and
               Alejandro Javier Garc{\'{\i}}a and
               Guillermo Ricardo Simari},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Belief dynamics and defeasible argumentation in rational agents},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {164--170},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper22.pdf},
  timestamp = {Tue, 07 Dec 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/nmr/FalappaGS04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/FlourisPA04,
  author    = {Giorgos Flouris and
               Dimitris Plexousakis and
               Grigoris Antoniou},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Generalizing the {AGM} postulates: preliminary results and applications},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {171--179},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper23.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/FlourisPA04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Gilio04,
  author    = {Angelo Gilio},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {On Cs{\'{a}}sz{\'{a}}r's condition in nonmonotonic reasoning},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {180--188},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper24.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Gilio04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/GiunchigliaLM04,
  author    = {Enrico Giunchiglia and
               Yuliya Lierler and
               Marco Maratea},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {A SAT-based polynomial space algorithm for answer set programming},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {189--196},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper25.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/GiunchigliaLM04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/HanL04,
  author    = {Qing Han and
               Zuoquan Lin},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Paraconsistent default reasoning},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {197--203},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper26.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/HanL04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/HerzigV04,
  author    = {Andreas Herzig and
               Ivan Jos{\'{e}} Varzinczak},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Domain descriptions should be modular},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {204--211},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper27.pdf},
  timestamp = {Fri, 02 Jul 2004 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/HerzigV04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/HulstijnT04,
  author    = {Joris Hulstijn and
               Leendert W. N. van der Torre},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Combining goal generation and planning in an argumentation framework},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {212--218},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper28.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/HulstijnT04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Hunter04,
  author    = {Aaron Hunter},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Adding modal operators to the action language {A}},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {219--226},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper29.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Hunter04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Hunter04a,
  author    = {Anthony Hunter},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Towards higher impact argumentation},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {227--232},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper30.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Hunter04a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/IanniIPSC04,
  author    = {Giovambattista Ianni and
               Giuseppe Ielpa and
               Adriana Pietramala and
               Maria Carmela Santoro and
               Francesco Calimeri},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Enhancing answer set programming with templates},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {233--239},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper31.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/IanniIPSC04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/IocchiLNR04,
  author    = {Luca Iocchi and
               Thomas Lukasiewicz and
               Daniele Nardi and
               Riccardo Rosati},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Qualitative and probabilistic uncertainty in reasoning about actions
               with sensing},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {240--248},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper32.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/IocchiLNR04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Konieczny04,
  author    = {S{\'{e}}bastien Konieczny},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Propositional belief merging and belief negotiation model},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {249--257},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper33.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Konieczny04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/LeonePS04,
  author    = {Nicola Leone and
               Simona Perri and
               Francesco Scarcello},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {BackJumping techniques for rules instantiation in the {DLV} system},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {258--266},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper34.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/LeonePS04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/LinkeTW04,
  author    = {Thomas Linke and
               Hans Tompits and
               Stefan Woltran},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {On acyclic and head-cycle free nested logic programs},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {267--275},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper35.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/LinkeTW04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/MarekR04,
  author    = {Victor W. Marek and
               Jeffrey B. Remmel},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Answer set programming with default logic},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {276--284},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper36.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/MarekR04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/MeyerPR04,
  author    = {David A. Meyer and
               James Pommersheim and
               Jeffrey B. Remmel},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Finding stable models via quantum computation},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {285--291},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper37.pdf},
  timestamp = {Wed, 24 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/MeyerPR04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Milnikel04,
  author    = {Robert Saxon Milnikel},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {A sequent calculus for skeptical reasoning in autopeistemic logic},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {292--296},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper38.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Milnikel04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Morgan04,
  author    = {Charles G. Morgan},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Probability, rational belief and belief change},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {297--305},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper39.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Morgan04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/NicolasGS04,
  author    = {Pascal Nicolas and
               Laurent Garcia and
               Igor St{\'{e}}phan},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {A possibilistic approach to restore consistency in answer set programming},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {306--312},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper40.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/NicolasGS04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Nittka04,
  author    = {Alexander Nittka},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Adjusting adjustments - an algorithm for knowledge base extraction},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {313--320},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper41.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Nittka04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/PelovT04,
  author    = {Nikolay Pelov and
               Miroslaw Truszczynski},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Semantics of disjunctive programs with monotone aggregates - an operator-based
               approach},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {327--334},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper43.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/PelovT04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/QiLG04,
  author    = {Guilin Qi and
               Weiru Liu and
               David H. Glass},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Combining individually inconsistent prioritized knowledge bases},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {342--349},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper45.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/QiLG04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/RaskovicOM04,
  author    = {Miodrag Raskovic and
               Zoran Ognjanovic and
               Zoran Markovic},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {A probabilistic approach to default reasoning},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {335--341},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper44.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/RaskovicOM04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/SacconiM04,
  author    = {Lorenzo Sacconi and
               Stefano Moretti},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {A fuzzy logic and default reasoning model of social norm and equilibrium
               selection in games under unforeseen contingencies},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {350--359},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper46.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/SacconiM04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Satoh04,
  author    = {Ken Satoh},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {"All's well that ends well" - a proposal of global abduction},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {360--367},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper47.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Satoh04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Sefranek04,
  author    = {J{\'{a}}n Sefr{\'{a}}nek},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Semantic considerations on rejection},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {368--376},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper48.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Sefranek04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/SimariGC04,
  author    = {Guillermo Ricardo Simari and
               Alejandro Javier Garc{\'{\i}}a and
               Marcela Capobianco},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Actions, planning and defeasible reasoning},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {377--384},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper49.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/SimariGC04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/TakahashiS04,
  author    = {Takehisa Takahashi and
               Hajime Sawamura},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Theory of multiple-valued defeasible argumentation and its applications},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {385--393},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper50.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/TakahashiS04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/TohmeS04,
  author    = {Fernando A. Tohm{\'{e}} and
               Guillermo Ricardo Simari},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Preferential defeasibility: utility in defeasible logic programming},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {394--399},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper51.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/TohmeS04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/VennekensGD04,
  author    = {Joost Vennekens and
               David Gilis and
               Marc Denecker},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Splitting an operator: an algebraic modularity result and its application
               to auto-epistemic logic},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {400--408},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper52.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/VennekensGD04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/VennekensVB04,
  author    = {Joost Vennekens and
               Sofie Verbaeten and
               Maurice Bruynooghe},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Logic programs with annotated disjunctions},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {409--415},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper53.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/VennekensVB04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Wheeler04,
  author    = {Gregory R. Wheeler},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {A resource bounded default logic},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {416--422},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper54.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Wheeler04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nmr/2004,
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  year      = {2004},
  isbn      = {92-990021-0-X},
  timestamp = {Mon, 21 Jun 2004 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/2004.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/AmgoudM02,
  author    = {Leila Amgoud and
               Nicolas Maudet},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Strategical considerations for argumentative agents (preliminary report)},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {399--407},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/AmgoudM02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Amir02,
  author    = {Eyal Amir},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Interpolation theorems for nonmonotonic reasoning systems},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {41--50},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Amir02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Antoniou02,
  author    = {Grigoris Antoniou},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Defeasible logic with dynamic priorities},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {84--90},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Antoniou02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BarceloB02,
  author    = {Pablo Barcel{\'{o}} and
               Leopoldo E. Bertossi},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Repairing databases with annotated predicate logic},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {160--170},
  year      = {2002},
  timestamp = {Thu, 23 Jun 2005 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/BarceloB02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Bench-Capon02,
  author    = {Trevor J. M. Bench{-}Capon},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Value-based argumentation frameworks},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {443--454},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Bench-Capon02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BenferhatLP02,
  author    = {Salem Benferhat and
               Sylvain Lagrue and
               Odile Papini},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Revising partially ordered beliefs},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {142--149},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/BenferhatLP02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BerzatiAK02,
  author    = {Dritan Berzati and
               Bernhard Anrig and
               J{\"{u}}rg Kohlas},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Embedding default logic in propositional argumentation systems},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {302--310},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/BerzatiAK02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BesnardMS02,
  author    = {Philippe Besnard and
               Robert E. Mercer and
               Torsten Schaub},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Optimality theory through default logic},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {77--83},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/BesnardMS02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Bochman02,
  author    = {Alexander Bochman},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Two representations for iterative non-prioritized change},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {135--141},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Bochman02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Bochman02a,
  author    = {Alexander Bochman},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Collective argumentation},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {436--443},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Bochman02a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Bonatti02,
  author    = {Piero A. Bonatti},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Abduction, {ASP} and open logic programs},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {184--190},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Bonatti02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Brewka02,
  author    = {Gerhard Brewka},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Logic programming with ordered disjunction},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {67--76},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Brewka02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BroersenMW02,
  author    = {Jan M. Broersen and
               John{-}Jules Ch. Meyer and
               Roel J. Wieringa},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {The mutual exclusion problem in reasoning about action and change},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {365--371},
  year      = {2002},
  timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/nmr/BroersenMW02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Cabalar02,
  author    = {Pedro Cabalar},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Alternative characterizations for strong equivalence of logic programs},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {229--237},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Cabalar02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/CalimeriFLP02,
  author    = {Francesco Calimeri and
               Wolfgang Faber and
               Nicola Leone and
               Gerald Pfeifer},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Pruning operators for answer set programming systems},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {200--209},
  year      = {2002},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/nmr/CalimeriFLP02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/CastilhoHV02,
  author    = {Marcos A. Castilho and
               Andreas Herzig and
               Ivan Jos{\'{e}} Varzinczak},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {It depends on the context! {A} decidable logic of actions and plans
               based on a ternary dependence relation},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {343--348},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/CastilhoHV02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/CayrolDLM02,
  author    = {Claudette Cayrol and
               Sylvie Doutre and
               Marie{-}Christine Lagasquie{-}Schiex and
               J{\'{e}}r{\^{o}}me Mengin},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {"Minimal defence": a refinement of the preferred semantics for argumentation
               frameworks},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {408--415},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/CayrolDLM02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/ChopraGM02,
  author    = {Samir Chopra and
               Aditya Ghose and
               Thomas Andreas Meyer},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Iterated revision and the axiom of recovery: a unified treatment via
               epistemic states},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {117--123},
  year      = {2002},
  timestamp = {Thu, 21 Aug 2008 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/ChopraGM02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/ChopraHM02,
  author    = {Samir Chopra and
               Johannes Heidema and
               Thomas Andreas Meyer},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Some logics of belief and disbelief},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {25--32},
  year      = {2002},
  timestamp = {Fri, 11 Dec 2009 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/nmr/ChopraHM02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/ColettiSV02,
  author    = {Giulianella Coletti and
               Romano Scozzafava and
               Barbara Vantaggi},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Default reasoning in a coherent setting},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {275--282},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/ColettiSV02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/DarwicheM02,
  author    = {Adnan Darwiche and
               Pierre Marquis},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Compilation of propositional weighted bases},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {6--14},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/DarwicheM02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/DastaniT02,
  author    = {Mehdi Dastani and
               Leendert W. N. van der Torre},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {What is a joint goal? Games with beliefs and defeasible desires},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {33--40},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/DastaniT02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/DelgrandeS02,
  author    = {James P. Delgrande and
               Matthew Suderman},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Considerations on compositional update operators},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {150--159},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/DelgrandeS02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Denecker02,
  author    = {Marc Denecker},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Unifying abductive logic programming and stable logic programming},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {183},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Denecker02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/DuboisP02,
  author    = {Didier Dubois and
               Henri Prade},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Possibility theory in information fusion},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {103--116},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/DuboisP02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Dunne02,
  author    = {Paul E. Dunne},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {On concise encodings of preferred extensions},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {392--398},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Dunne02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/FinziP02,
  author    = {Alberto Finzi and
               Fiora Pirri},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Explanatory diagnosing and meaningful perception},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {124--134},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/FinziP02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/FoxM02,
  author    = {John Fox and
               Peter McBurney},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Decision making by intelligent agents: logical argument, probabilistic
               inference and the maintenance of beliefs and acts},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {293--301},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/FoxM02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/GilisD02,
  author    = {David Gilis and
               Marc Denecker},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Compositionally results for stratified nonmonotone operators},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {51--56},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/GilisD02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/GiordanoS02,
  author    = {Laura Giordano and
               Camilla Schwind},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Towards a conditional logic of actions and causation},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {333--342},
  year      = {2002},
  timestamp = {Fri, 01 Apr 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/GiordanoS02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Gottlob02,
  author    = {Georg Gottlob},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Visual Data Extraction Through Visual Logic Programming},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {4},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Gottlob02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Horty02,
  author    = {John F. Horty},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Skepticism and floating conclusions},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {391},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Horty02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/KakasM02,
  author    = {Antonis C. Kakas and
               Loizos Michael},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Modeling complex domains of actions and change},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {380--390},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/KakasM02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/KoniecznyP02,
  author    = {S{\'{e}}bastien Konieczny and
               Ram{\'{o}}n Pino P{\'{e}}rez},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Dynamical revision operators with memory},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {171--182},
  year      = {2002},
  timestamp = {Mon, 01 Aug 2005 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/KoniecznyP02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/KyburgT02,
  author    = {Henry E. Kyburg Jr. and
               Choh{-}Man Teng},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Evaluating defaults},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {257--264},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/KyburgT02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Lifschitz02,
  author    = {Vladimir Lifschitz},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Why Sam doesn't know calculus},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {5},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Lifschitz02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/LinkeAK02,
  author    = {Thomas Linke and
               Christian Anger and
               Kathrin Konczak},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {More on noMoRe},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {210--218},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/LinkeAK02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Lorenzo02,
  author    = {David Lorenzo},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Learning non-monotonic causal theories from narratives of actions},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {349--355},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Lorenzo02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Lukasiewicz02,
  author    = {Thomas Lukasiewicz},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Nonmonotonic probabilistic logics between model-theoretic probabilistic
               logic and probabilistic logic under coherence},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {265--274},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Lukasiewicz02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/MarekR02,
  author    = {Victor W. Marek and
               Jeffrey B. Remmel},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {On logic programs with cardinality constraints},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {219--228},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/MarekR02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/McIlraithF02,
  author    = {Sheila A. McIlraith and
               Ronald Fadel},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Planning with complex actions},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {356--364},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/McIlraithF02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Moinard02,
  author    = {Yves Moinard},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Linking Makinson and Kraus-Lehmann- Magidor preferential entailments},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {15--24},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Moinard02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/PearceSSTW02,
  author    = {David Pearce and
               Vladimir Sarsakov and
               Torsten Schaub and
               Hans Tompits and
               Stefan Woltran},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {A polynomial translation of logic programs with nested expressions
               into disjunctive logic programs: preliminary report},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {57--66},
  year      = {2002},
  timestamp = {Fri, 05 Feb 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/nmr/PearceSSTW02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Prakken02,
  author    = {Henry Prakken},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Intuitions and the modelling of defeasible reasoning: some case studies},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {91--102},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Prakken02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Richter02,
  author    = {Eva Richter},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Nonmonotonic inference operators for fuzzy logic},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {321--332},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Richter02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Satoh02,
  author    = {Ken Satoh},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Speculative computation and abduction for an autonomous agent},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {191--199},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Satoh02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/SchaubW02,
  author    = {Torsten Schaub and
               Kewen Wang},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Preferred well-founded semantics for logic programming by alternating
               fixpoints: preliminary report},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {238--246},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/SchaubW02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Schwarz02,
  author    = {Sibylle Schwarz},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Answer sets generated by selector functions},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {247--256},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Schwarz02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/SchweimeierS02,
  author    = {Ralf Schweimeier and
               Michael Schroeder},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Well-founded argumentation semantics for extended logic programming},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {426--435},
  year      = {2002},
  timestamp = {Wed, 11 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/SchweimeierS02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Verheij02,
  author    = {Bart Verheij},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {On the existence and multiplicity of extensions in dialectical argumentation},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {416--425},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Verheij02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Weydert02,
  author    = {Emil Weydert},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Default epistemology rankings, reasoning and revision (a very preliminary
               account)},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {283--292},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Weydert02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/White02,
  author    = {Graham White},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Intensionality and circumscription},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {372--379},
  year      = {2002},
  timestamp = {Wed, 11 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/White02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Williams02,
  author    = {Mary{-}Anne Williams},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Collaborative belief revision},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {3},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Williams02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Witte02,
  author    = {Ren{\'{e}} Witte},
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {Fuzzy belief revision},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {311--320},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Witte02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nmr/2002,
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/2002.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tue, 14 May 2019 10:00:51 +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 = {Tue, 14 May 2019 10:00:51 +0200},
  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 = {Tue, 14 May 2019 10:00:51 +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 = {Tue, 14 May 2019 10:00:51 +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 = {Tue, 14 May 2019 10:00:51 +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 = {Tue, 14 May 2019 10:00:51 +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 = {Tue, 14 May 2019 10:00:51 +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 = {Tue, 14 May 2019 10:00:51 +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 = {Tue, 14 May 2019 10:00:51 +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 = {Tue, 14 May 2019 10:00:51 +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 = {Tue, 14 May 2019 10:00:51 +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 = {Tue, 14 May 2019 10:00:51 +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 = {Tue, 14 May 2019 10:00:51 +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 = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/ThomasonH88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Ascher84,
  author    = {Nicholas Ascher},
  title     = {Linguistic Understanding and Non-Monotonic Reasoning},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {1--20},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Ascher84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BorgidaI84,
  author    = {Alexander Borgida and
               Tomasz Imielinski},
  title     = {Decision Making in Commitees - {A} Framework for Dealing with Inconsistency
               and Non-Monotonicity},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {21--32},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/BorgidaI84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Cottrell84,
  author    = {Garrison W. Cottrell},
  title     = {Re: Inheritance Hierarchies with Exceptions},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {33--56},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Cottrell84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Doyle84,
  author    = {Jon Doyle},
  title     = {Circumscription and Implicit Definability},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {57--69},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Doyle84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/EtheringtonMR84,
  author    = {David W. Etherington and
               Robert E. Mercer and
               Raymond Reiter},
  title     = {On the Adequacy of Predicate Circumscription for Closed-World Reasoning},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {70--81},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/EtheringtonMR84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/FischlerF84,
  author    = {Martin A. Fischler and
               Oscar Firschein},
  title     = {Computational Vision as a (Non-Monotonic) Reasoning Process},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {82--92},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/FischlerF84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/GlymourT84,
  author    = {Clark Glymour and
               Richmond H. Thomason},
  title     = {Default Reasoning and the Logic of Theory Perturbation},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {93--102},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/GlymourT84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Goodwin84,
  author    = {James W. Goodwin},
  title     = {{WATSON:} {A} Dependency Directed Inference System},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {103--114},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Goodwin84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Grosof84,
  author    = {Benjamin N. Grosof},
  title     = {Default Reasoning as Circumscription},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {115--124},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Grosof84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/HalpernM84,
  author    = {Joseph Y. Halpern and
               Yoram Moses},
  title     = {Towards a Theory of Knowledge and Ignorance: Preliminary Report},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {125--143},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/HalpernM84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/JoshiWW84,
  author    = {Aravind K. Joshi and
               Bonnie L. Webber and
               Ralph M. Weischedel},
  title     = {Default Reasoning in Interaction},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {144--150},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/JoshiWW84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Lifschitz84,
  author    = {Vladimir Lifschitz},
  title     = {Some Results on Circumscription},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {151--164},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Lifschitz84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Lukaszewicz84,
  author    = {Witold Lukaszewicz},
  title     = {Considerations on Default Logic},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {165--193},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Lukaszewicz84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Marek84,
  author    = {V. Wiktor Marek},
  title     = {A Natural Semantics for Modal Logic over Databases and Model-Theoretic
               Forcing},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {194--240},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Marek84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/MartinsS84,
  author    = {Jo{\~{a}}o P. Martins and
               Stuart C. Shapiro},
  title     = {A Model for Belief Revision},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {241--294},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/MartinsS84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/McCarthy84,
  author    = {John McCarthy},
  title     = {Applications of Circumscription to Formalizing Common Sense Knowledge},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {295--324},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/McCarthy84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/McCarty84,
  author    = {L. Thorne McCarty},
  title     = {Programming Directly in a Non Monotonic Logic},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {325--336},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/McCarty84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/MinkerP84,
  author    = {Jack Minker and
               Donald Perlis},
  title     = {Protected Circumscription},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {337--343},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/MinkerP84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Moore84,
  author    = {Robert C. Moore},
  title     = {Possible-World Semantics for Autoepistemic Logic},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {344--354},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Moore84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/PapalaskarisB84,
  author    = {Mary Angela Papalaskaris and
               Alan Bundy},
  title     = {Topics for Circumscription},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {355--362},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/PapalaskarisB84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Perlis84,
  author    = {Donald Perlis},
  title     = {Non-Monotonicity and Real-Time Reasoning},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {363--372},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Perlis84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Perlis84a,
  author    = {Donald Perlis},
  title     = {Bibliography of Literature on Non-Monotonic Reasoning},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {396--401},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Perlis84a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Poole84,
  author    = {David Poole},
  title     = {A Logical System for Default Reasoning},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {373--384},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/Poole84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/ReggiaN84,
  author    = {James A. Reggia and
               Dana S. Nau},
  title     = {An Abductive Non-Monotonic Logic},
  booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {385--395},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/ReggiaN84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nmr/1984,
  title     = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/1984.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics