{"id":335,"date":"2015-10-28T14:26:16","date_gmt":"2015-10-28T13:26:16","guid":{"rendered":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/?page_id=335"},"modified":"2024-03-01T12:37:40","modified_gmt":"2024-03-01T11:37:40","slug":"non-monotonic-reasoning","status":"publish","type":"page","link":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/research\/non-monotonic-reasoning","title":{"rendered":"Non-Monotonic Reasoning"},"content":{"rendered":"<p>Nico Roos started his research on non-monotonic reasoning\u00a0while working on\u00a0his Master thesis. Since then he has been addressing the following main topics:<\/p>\n<ul>\n<li>Inconsistent information<\/li>\n<li>Argumentation<\/li>\n<li>Preferential-model semantics<\/li>\n<li>Knowledge update<\/li>\n<li>Reasoning by cases<\/li>\n<\/ul>\n<h3>Publications<\/h3>\n<p>N. Roos, <span dir=\"ltr\" role=\"presentation\">Specificity and context dependent preferences in <\/span><span dir=\"ltr\" role=\"presentation\">argumentation systems<\/span>, <em>Artificial Intelligence and Machine Learning: Communications in Computer and Information Science<\/em>, Springer <strong><span class=\"volume\">1805<\/span><\/strong> (2023) <span class=\"pages\">112-132<\/span>. [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2024\/03\/Roos23CCIS1805.pdf\" target=\"_blank\" rel=\"noopener\">pdf<\/a>].<\/p>\n<p>N. Roos, <span dir=\"ltr\" role=\"presentation\">Specificity and context dependent preferences in <\/span><span dir=\"ltr\" role=\"presentation\">argumentation systems<\/span>, <em>BNAIC<\/em> (2022). [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2022\/11\/Roos22BNAIC.pdf\" target=\"_blank\" rel=\"noopener\">pdf<\/a>].<\/p>\n<p>N. Roos, A Semantic Tableau Method for Argument Construction, <em>Artificial Intelligence and Machine Learning<\/em>,<em>\u00a0<\/em><em>Communications in Computer and Information Science<\/em> <strong>1398<\/strong> (2021) 122-140. [<a href=\"https:\/\/link.springer.com\/content\/pdf\/10.1007%2F978-3-030-76640-5_8.pdf\" target=\"_blank\" rel=\"noopener\">link<\/a>]<\/p>\n<p>N. Roos, A Semantic Tableau Method for Argument Construction, BNAIC (2020). [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2020\/11\/bnaic2020proofs.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a> paper with proofs].<\/p>\n<p>W. Qiao, and N. Roos, An argumentation system for reasoning with LPm, <em>ECAI<\/em> (2014) 753-758. [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2015\/07\/QR14ECAI.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>]<\/p>\n<p>W. Qiao, N. Roos, An argumentation system for reasoning with conflict-minimal paraconsistent ALC, <em>Non Monotonic Reasoning (NMR)<\/em> (2014). [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2015\/07\/QR14NMR.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>]<\/p>\n<p>N. Roos, Preferential model semantics, argumentation frameworks and closure properties, <em>NMR 2012<\/em> (2012) 8 pages.<\/p>\n<p>N. Roos, The relation between preferential model and argumentation semantics, <em>NMR 2010<\/em> (2010) 7 pages. [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2015\/10\/Roo10NMR.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>]<\/p>\n<p>N. Roos, Preferential model and argumentation semantics, <em>BNAIC<\/em> (2009) 209-216.<\/p>\n<p>N. Roos, A semantics for updating in the context of causal constraints, <em>DGNMR&#8217;01<\/em> (2001) 143-150.<\/p>\n<p>N. Roos, On resolving conflicts between arguments, <em>Computational Intelligence<\/em> <strong>16<\/strong>:3 (2000) 469-497. [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2020\/10\/Roos00CI.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>]<\/p>\n<p>N. Roos, An argument system for updating in the context of causal integrity constraints, <em>DGNMR\u201999<\/em> (1999).<\/p>\n<p>N. Roos, Reasoning by cases in Default Logic, <em>Artificial Intelligence<\/em> <strong>99<\/strong> (1998) 165-183. [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2015\/10\/Roo98AIJ.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>]<\/p>\n<p>N. Roos, Reasoning by cases using arguments, <em>DGNMR\u201997<\/em> (1997). [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2020\/03\/Roos97DGNMR.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>]<\/p>\n<p>N. Roos, On reasoning by cases in Default Logic, <em>NAIC\u201997<\/em> (1997).<\/p>\n<p>N. Roos, On Resolving Conflicts Between Arguments. Technical Report TR-CTIT-97-37 Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625 (1997). [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2020\/03\/CTIT-Technical-Report-No.-97-37.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>]<\/p>\n<p>N. Roos, A logic for reasoning with inconsistent knowledge, <em>Artificial Intelligence<\/em> <strong>57<\/strong> (1992) 69-103. [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2015\/11\/Roo92AIJ.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>]<br \/>\nThe published version of Technical Report 89-53, ISSN 0922-5641, (1989).<\/p>\n<p>N. Roos, <em>What is on the machines mind? Models for reasoning with incomplete and uncertain knowledge<\/em>, Ph .D. thesis, TU-Delft, Department of Computer Science (1991). [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2015\/07\/PhD-thesis-Nico-Roos.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>]<\/p>\n<p>N. Roos, <em>Preference Logic: a logic for reasoning with inconsistent knowledge<\/em>, Technical Report 89-53, Delft University of Technology, Faculty of Technical Mathematics and Informatics. ISSN 0922-5641, (1989). [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2020\/03\/TU-Delft-Report-89-53-.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>]<\/p>\n<p>N. Roos, Een preferentie logika voor het redeneren met onvolledige kennis, <em>NAIC\u201989<\/em> (1989).<\/p>\n<p>N. Roos, <em>A preference logic for non-monotonic reasoning<\/em>, Technical Report 88-94, Delft University of Technology, Faculty of Technical Mathematics and Informatics. ISSN 0922-5641, (1988). [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2020\/03\/TU-Delft-Report-88-94.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>]<\/p>\n<p>N. Roos, <em>GELOOFWAARDIG ARGUMENTEREN Formeel onderbouwd<\/em>, Master Thesis, Delft University of Technology, Faculty of Technical Mathematics and Informatics. (1987). [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2020\/12\/Master-Thesis-Nico-Roos.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">pdf<\/a>]<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Nico Roos started his research on non-monotonic reasoning\u00a0while working on\u00a0his Master thesis. Since then he has been addressing the following main topics: Inconsistent information Argumentation Preferential-model semantics Knowledge update Reasoning by cases Publications N. Roos, Specificity and context dependent preferences in argumentation systems, Artificial Intelligence and Machine Learning: Communications in Computer and Information Science, Springer [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":8,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-335","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/pages\/335","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/comments?post=335"}],"version-history":[{"count":35,"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/pages\/335\/revisions"}],"predecessor-version":[{"id":916,"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/pages\/335\/revisions\/916"}],"up":[{"embeddable":true,"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/pages\/8"}],"wp:attachment":[{"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/media?parent=335"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}