Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/nmr:"
download as .bib file
@inproceedings{DBLP:conf/nmr/0001OR23,
author = {Ricardo Guimar{\~{a}}es and
Ana Ozaki and
Jandson S. Ribeiro},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {Eviction and Reception for Description Logic Ontologies (Preliminary
Results)},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {43--51},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/paper5.pdf},
timestamp = {Tue, 05 Sep 2023 17:08:45 +0200},
biburl = {https://dblp.org/rec/conf/nmr/0001OR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/AlfanoGPT23,
author = {Gianvincenzo Alfano and
Sergio Greco and
Francesco Parisi and
Irina Trubitsyna},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {On the Conditional Preference-based Argumentation Framework},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {115--119},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/short1.pdf},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/AlfanoGPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/AlfanoGPT23a,
author = {Gianvincenzo Alfano and
Sergio Greco and
Francesco Parisi and
Irina Trubitsyna},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {On the Extended Preference-based Constrained Argumentation Framework},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {120--124},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/short2.pdf},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/AlfanoGPT23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Alviano0D23,
author = {Mario Alviano and
Laura Giordano and
Daniele Theseider Dupr{\'{e}}},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {Typicality, Conditionals and a Probabilistic Semantics for Gradual
Argumentation},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {4--13},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/paper1.pdf},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Alviano0D23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BhattaraiSGZ023,
author = {Bimal Bhattarai and
Rupsa Saha and
Ole{-}Christoffer Granmo and
Vladimir Zadorozhny and
Jiawei Xu},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {A Logic-Based Explainable Framework for Relation Classification of
Human Rights Violations},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {14--21},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/paper2.pdf},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/BhattaraiSGZ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/DimopoulosD0R0W23,
author = {Yannis Dimopoulos and
Wolfgang Dvor{\'{a}}k and
Matthias K{\"{o}}nig and
Anna Rapberger and
Markus Ulbricht and
Stefan Woltran},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {Sets Attacking Sets in Abstract Argumentation},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {22--31},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/paper3.pdf},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/DimopoulosD0R0W23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/DodampegamaS23,
author = {Hasra Dodampegama and
Mohan Sridharan},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {Collaborate and Explain on the Fly: Nonmonotonic Logical Reasoning
and Incremental Learning for Ad Hoc Teamwork},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {32--42},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/paper4.pdf},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/DodampegamaS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/EspinozaNT23,
author = {Mariela Morveli Espinoza and
Juan Carlos Nieves and
Cesar A. Tacla},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {A Gradual Semantics with Imprecise Probabilities for Support Argumentation
Frameworks},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {84--93},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/paper9.pdf},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/EspinozaNT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/FermeGR23,
author = {Eduardo Ferm{\'{e}} and
Marco Garapa and
Maur{\'{\i}}cio D. Lu{\'{\i}}s Reis},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {Causes for changing profiles (Extended Abstract)},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {125--128},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/short3.pdf},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/FermeGR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/HaldimannBK23,
author = {Jonas Philipp Haldimann and
Christoph Beierle and
Gabriele Kern{-}Isberner},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {Extending c-Representations and c-Inference for Reasoning with Infeasible
Worlds},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {52--63},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/paper6.pdf},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/HaldimannBK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Heyninck23,
author = {Jesse Heyninck},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {An Algebraic Notion of Conditional Independence, and its Application
to Knowledge Representation (Preliminary Report)},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {64--73},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/paper7.pdf},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Heyninck23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Heyninck23a,
author = {Jesse Heyninck},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {Semantics for Logic Programs with Choice Constructs on the Basis of
Approximation Fixpoint Theory (Preliminary Report)},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {74--83},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/paper8.pdf},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Heyninck23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/KuhlmannCG23,
author = {Isabelle Kuhlmann and
Carl Corea and
John Grant},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {An ASP-Based Framework for Solving Problems Related to Declarative
Process Specifications},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {129--132},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/short4.pdf},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/KuhlmannCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Ribeiro23,
author = {Jandson S. Ribeiro},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {Towards a Semantic Construction for Belief Base Contraction: Partial
Meet vs Smooth Kernel (Preliminary Report)},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {94--103},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/paper10.pdf},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Ribeiro23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Sakama23,
author = {Chiaki Sakama},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {Human Conditional Reasoning in Answer Set Programming},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {104--114},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/paper11.pdf},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Sakama23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/WolffBHR23,
author = {Johanna Wolff and
Victor de Boer and
Dirk Heylen and
Birna van Riemsdijk},
editor = {Kai Sauerwald and
Matthias Thimm},
title = {Using Non-Monotonic Reasoning for Understandable and Flexible User-Models},
booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
pages = {133--136},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464/short5.pdf},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/WolffBHR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nmr/2023,
editor = {Kai Sauerwald and
Matthias Thimm},
title = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning
co-located with the 20th International Conference on Principles of
Knowledge Representation and Reasoning {(KR} 2023) and co-located
with the 36th International Workshop on Description Logics {(DL} 2023),
Rhodes, Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3464},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3464},
urn = {urn:nbn:de:0074-3464-4},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/000122,
author = {Laura Giordano},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {From Weighted Conditionals with Typicality to a Gradual Argumentation
Semantics and Back},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {127--138},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:30 +0100},
biburl = {https://dblp.org/rec/conf/nmr/000122.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/ArieliBHS22,
author = {Ofer Arieli and
AnneMarie Borg and
Matthis Hesse and
Christian Stra{\ss}er},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Abductive Reasoning with Sequent-Based Argumentation},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {143--146},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/short2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/ArieliBHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BakerM22,
author = {Clayton K. Baker and
Thomas Andreas Meyer},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {139--142},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/short1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/BakerM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BernreiterDRW22,
author = {Michael Bernreiter and
Wolfgang Dvor{\'{a}}k and
Anna Rapberger and
Stefan Woltran},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {The Effect of Preferences in Abstract Argumentation Under a Claim-Centric
View},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {27--38},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/BernreiterDRW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/CamaraT22,
author = {Igor de Camargo e Souza C{\^{a}}mara and
Anni{-}Yasmin Turhan},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Rational Defeasible Subsumption in DLs with Nested Quantifiers: the
Case of ELI{\(\perp\)}},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {159--162},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/short6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/CamaraT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/CasiniMV22,
author = {Giovanni Casini and
Thomas Andreas Meyer and
Ivan Varzinczak},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Situated Conditionals - {A} Brief Introduction},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {151--154},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/short4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/CasiniMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/CasiniS22,
author = {Giovanni Casini and
Umberto Straccia},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Defeasible Reasoning in {RDFS}},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {155--158},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/short5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/CasiniS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Costantini0P22,
author = {Stefania Costantini and
Andrea Formisano and
Valentina Pitoni},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Modelling Agents Roles in the Epistemic Logic {L-DINF}},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {70--79},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/Costantini0P22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Eiter22,
author = {Thomas Eiter},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Hybrid Answer Set Programming: Opportunities and Challenges},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {1},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/invited1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/Eiter22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/HayashiS22,
author = {Hisashi Hayashi and
Ken Satoh},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Towards Legally and Ethically Correct Online {HTN} Planning for Data
Transfer},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {4--15},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/HayashiS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/HeyninckKM22,
author = {Jesse Heyninck and
Gabriele Kern{-}Isberner and
Thomas Andreas Meyer},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Conditional Syntax Splitting, Lexicographic Entailment and the Drowning
Effect},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {61--69},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/HeyninckKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/HunterT22,
author = {Aaron Hunter and
Sam Tadey},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Trust Graphs for Belief Revision: Framework and Implementation},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {39--48},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/paper4.pdf},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/HunterT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Marquis22,
author = {Pierre Marquis},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Rectifying Classifiers},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {2},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/invited2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/Marquis22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/MatosW22,
author = {Vin{\'{\i}}cius Bitencourt Matos and
Renata Wassermann},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Repairing Ontologies via Kernel Pseudo-Contraction},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {16--26},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/MatosW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Parent22,
author = {Xavier Parent},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {On Some Weakened Forms of Transitivity in the Logic of Norms},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {147--150},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/short3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/Parent22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Rapberger0W22,
author = {Anna Rapberger and
Markus Ulbricht and
Johannes Peter Wallner},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Argumentation Frameworks Induced by Assumption-Based Argumentation:
Relating Size and Complexity},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {92--103},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/Rapberger0W22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/RochaC22,
author = {Victor Hugo Nascimento Rocha and
F{\'{a}}bio Gagliardi Cozman},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting
Argumentation and Logic Programming},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {49--60},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/RochaC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Scherl22,
author = {Richard B. Scherl},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {A Situation-Calculus Model of Knowledge and Belief Based on Thinking
About Justifications},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {104--114},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/Scherl22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Singleton022,
author = {Joseph Singleton and
Richard Booth},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Truth-Tracking with Non-Expert Information Sources},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {80--91},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/Singleton022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/SridharanBFG22,
author = {Mohan Sridharan and
Chlo{\'{e}} Benz and
Arthur Findelair and
K{\'{e}}vin Gloaguen},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {There and Back Again: Combining Non-monotonic Logical Reasoning and
Deep Learning on an Assistive Robot},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {115--126},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/SridharanBFG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Villata22,
author = {Serena Villata},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Fallacious Arguments: the Place where Knowledge Representation and
Argument Mining Meet Each Other},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {3},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/invited3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/Villata22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nmr/2022,
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197},
urn = {urn:nbn:de:0074-3197-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 = {Fri, 15 Sep 2023 01:00:00 +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 01:00:00 +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 = {Thu, 21 Jan 2021 00:00:00 +0100},
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 = {Thu, 02 Feb 2023 00:00:00 +0100},
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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 = {Tue, 15 Aug 2023 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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, 16 Sep 2022 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 = {Tue, 28 Mar 2023 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 = {Wed, 27 Jul 2022 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 01:00:00 +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 = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/BrownS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/DixonK88,
author = {Michael Dixon and
Johan de Kleer},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {Massively Parallel Assumption-Based Truth Maintenance},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {131--142},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_24},
doi = {10.1007/3-540-50701-9\_24},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/DixonK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Dressler88,
author = {Oskar Dressler},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {An Extended Basic {ATMS}},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {143--163},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_25},
doi = {10.1007/3-540-50701-9\_25},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Dressler88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Gelfond88,
author = {Michael Gelfond},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary
Report},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {176--186},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_27},
doi = {10.1007/3-540-50701-9\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Gelfond88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/GelfondL88,
author = {Michael Gelfond and
Vladimir Lifschitz},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {Compiling Circumscriptive Theories into Logic Programs},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {74--99},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_21},
doi = {10.1007/3-540-50701-9\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/GelfondL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Ginsberg88,
author = {Matthew L. Ginsberg},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {A Circumscriptive Theorem Prover},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {100--114},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_22},
doi = {10.1007/3-540-50701-9\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Ginsberg88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/GoodwinG88,
author = {Scott D. Goodwin and
Randy Goebel},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {Non-Monotonic Reasoning in Temporal Domains: The Knowledge Independence
Problem},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {187--201},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_28},
doi = {10.1007/3-540-50701-9\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/GoodwinG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Konolige88,
author = {Kurt Konolige},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {Hierarchic Autoepistemic Theories for Non-Monotonic Reasoning: Preliminary
Report},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {42--59},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_19},
doi = {10.1007/3-540-50701-9\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Konolige88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Lifschitz88,
author = {Vladimir Lifschitz},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {202--219},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_29},
doi = {10.1007/3-540-50701-9\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Lifschitz88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Makinson88,
author = {David Makinson},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {General Theory of Cumulative Inference},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {1--18},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_16},
doi = {10.1007/3-540-50701-9\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Makinson88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Morris88,
author = {Paul H. Morris},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {Autoepistemic Stable Closures and Contradiction Resolution},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {60--73},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_20},
doi = {10.1007/3-540-50701-9\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Morris88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Sandewall88,
author = {Erik Sandewall},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {27--41},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_18},
doi = {10.1007/3-540-50701-9\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Sandewall88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/SelmanK88,
author = {Bart Selman and
Henry A. Kautz},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {The Complexity of Model-Preference Default Theories},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {115--130},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_23},
doi = {10.1007/3-540-50701-9\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/SelmanK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/ThomasonH88,
author = {Richmond H. Thomason and
John F. Horty},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {Logics for Inheritance Theory},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {220--237},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_30},
doi = {10.1007/3-540-50701-9\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/ThomasonH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 = {Mon, 06 Nov 2017 00:00:00 +0100},
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 = {Mon, 20 Mar 2017 00:00:00 +0100},
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 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-24 23:35 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
