![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
20th NMR 2022: Haifa, Israel
- Ofer Arieli, Giovanni Casini, Laura Giordano:
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. CEUR Workshop Proceedings 3197, CEUR-WS.org 2022
Invited Talks
- Thomas Eiter:
Hybrid Answer Set Programming: Opportunities and Challenges. 1 - Pierre Marquis:
Rectifying Classifiers. 2 - Serena Villata:
Fallacious Arguments: the Place where Knowledge Representation and Argument Mining Meet Each Other. 3
Accepted Papers
- Hisashi Hayashi, Ken Satoh:
Towards Legally and Ethically Correct Online HTN Planning for Data Transfer. 4-15 - Vinícius Bitencourt Matos, Renata Wassermann:
Repairing Ontologies via Kernel Pseudo-Contraction. 16-26 - Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran:
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View. 27-38 - Aaron Hunter, Sam Tadey:
Trust Graphs for Belief Revision: Framework and Implementation. 39-48 - Victor Hugo Nascimento Rocha, Fábio Gagliardi Cozman:
Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming. 49-60 - Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer:
Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. 61-69 - Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Modelling Agents Roles in the Epistemic Logic L-DINF. 70-79 - Joseph Singleton, Richard Booth:
Truth-Tracking with Non-Expert Information Sources. 80-91 - Anna Rapberger, Markus Ulbricht, Johannes Peter Wallner:
Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity. 92-103 - Richard B. Scherl:
A Situation-Calculus Model of Knowledge and Belief Based on Thinking About Justifications. 104-114 - Mohan Sridharan, Chloé Benz, Arthur Findelair, Kévin Gloaguen:
There and Back Again: Combining Non-monotonic Logical Reasoning and Deep Learning on an Assistive Robot. 115-126 - Laura Giordano:
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back. 127-138
Extended Abstracts
- Clayton K. Baker, Thomas Andreas Meyer:
Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility. 139-142 - Ofer Arieli, AnneMarie Borg, Matthis Hesse, Christian Straßer:
Abductive Reasoning with Sequent-Based Argumentation. 143-146 - Xavier Parent:
On Some Weakened Forms of Transitivity in the Logic of Norms. 147-150 - Giovanni Casini
, Thomas Andreas Meyer, Ivan Varzinczak:
Situated Conditionals - A Brief Introduction. 151-154 - Giovanni Casini
, Umberto Straccia:
Defeasible Reasoning in RDFS. 155-158 - Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan:
Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥. 159-162
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.