• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 188 matches

• 2023
• 
  Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro:
  Eviction and Reception for Description Logic Ontologies (Preliminary Results). NMR 2023: 43-51
• 
  Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
  On the Conditional Preference-based Argumentation Framework. NMR 2023: 115-119
• 
  Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
  On the Extended Preference-based Constrained Argumentation Framework. NMR 2023: 120-124
• 
  Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
  Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. NMR 2023: 4-13
• 
  Bimal Bhattarai, Rupsa Saha, Ole-Christoffer Granmo, Vladimir Zadorozhny, Jiawei Xu:
  A Logic-Based Explainable Framework for Relation Classification of Human Rights Violations. NMR 2023: 14-21
• 
  Yannis Dimopoulos, Wolfgang Dvorák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran:
  Sets Attacking Sets in Abstract Argumentation. NMR 2023: 22-31
• 
  Hasra Dodampegama, Mohan Sridharan:
  Collaborate and Explain on the Fly: Nonmonotonic Logical Reasoning and Incremental Learning for Ad Hoc Teamwork. NMR 2023: 32-42
• 
  Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar A. Tacla:
  A Gradual Semantics with Imprecise Probabilities for Support Argumentation Frameworks. NMR 2023: 84-93
• 
  Eduardo Fermé, Marco Garapa, Maurício D. Luís Reis:
  Causes for changing profiles (Extended Abstract). NMR 2023: 125-128
• 
  Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
  Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. NMR 2023: 52-63
• 
  Jesse Heyninck:
  An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation (Preliminary Report). NMR 2023: 64-73
• 
  Jesse Heyninck:
  Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report). NMR 2023: 74-83
• 
  Isabelle Kuhlmann, Carl Corea, John Grant:
  An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications. NMR 2023: 129-132
• 
  Jandson S. Ribeiro:
  Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report). NMR 2023: 94-103
• 
  Chiaki Sakama:
  Human Conditional Reasoning in Answer Set Programming. NMR 2023: 104-114
• 
  Johanna Wolff, Victor de Boer, Dirk Heylen, Birna van Riemsdijk:
  Using Non-Monotonic Reasoning for Understandable and Flexible User-Models. NMR 2023: 133-136
• 
  Kai Sauerwald, Matthias Thimm:
  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. CEUR Workshop Proceedings 3464, CEUR-WS.org 2023 [contents]
• 2022
• 
  Laura Giordano:
  From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back. NMR 2022: 127-138
• 
  Ofer Arieli, AnneMarie Borg, Matthis Hesse, Christian Straßer:
  Abductive Reasoning with Sequent-Based Argumentation. NMR 2022: 143-146
• 
  Clayton K. Baker, Thomas Andreas Meyer:
  Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility. NMR 2022: 139-142
• 
  Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran:
  The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View. NMR 2022: 27-38
• 
  Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan:
  Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥. NMR 2022: 159-162
• 
  Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
  Situated Conditionals - A Brief Introduction. NMR 2022: 151-154
• 
  Giovanni Casini, Umberto Straccia:
  Defeasible Reasoning in RDFS. NMR 2022: 155-158
• 
  Stefania Costantini, Andrea Formisano, Valentina Pitoni:
  Modelling Agents Roles in the Epistemic Logic L-DINF. NMR 2022: 70-79
• 
  Thomas Eiter:
  Hybrid Answer Set Programming: Opportunities and Challenges. NMR 2022: 1
• 
  Hisashi Hayashi, Ken Satoh:
  Towards Legally and Ethically Correct Online HTN Planning for Data Transfer. NMR 2022: 4-15
• 
  Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer:
  Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. NMR 2022: 61-69
• 
  Aaron Hunter, Sam Tadey:
  Trust Graphs for Belief Revision: Framework and Implementation. NMR 2022: 39-48
• 
  Pierre Marquis:
  Rectifying Classifiers. NMR 2022: 2

skipping 158 more matches