Publications

  • Zohreh Shams, Mateja Jamnik, Gem Stapleton, and Yuri Sato: iCon: A diagrammatic theorem prover for ontologies.
    International Conference on Principles of Knowledge Representation and Reasoning, KR 2018 Accepted

  • Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams: Human inference beyond syllogisms: an approach using external graphical representations
    International Journal of Cognitive Processing, 2018 Accepted

  • Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams: Deductive reasoning about expressive statements using external graphical representations.
    Annual Meeting of the Cognitive Science Society, CogSci 2018 Accepted

  • Zohreh Shams, Yuri Sato, Mateja Jamnik, Gem Stapleton: Accessible reasoning with diagrams: from cognition to automation.
    International Conference on the Theory and Application of Diagrams, Diagrams 2018 PDF

  • Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams, Andrew Blake: How network-based and set-based visualizations aid consistency checking in ontologies
    International Symposium on Visual Information Communication and Interaction, VINCI 2017 PDF

  • Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato: Reasoning with Concept Diagrams about Antipatterns in Ontologies
    Conference on Intelligent Computer Mathematics, CICM 2017 PDF

  • Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato: Reasoning with Concept Diagrams about Antipatterns
    International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-21 PDF

  • Zohreh Shams, Marina De Vos, Nir Oren, Julian Padget: Argumentation-Based Explanation in Planning
    Submitted to International Journal of Autonomous Agents and Multi-Agent Systems, 2017

  • Zohreh Shams, Nir Oren: A Two-Phase Dialogue Game for Skeptical Preferred Semantics
    European Conference On Logics In Artificial Intelligence, JELIA 2016 PDF

  • Zohreh Shams, Marina De Vos, Julian Padget, Wamberto Vasconcelos: Practical Reasoning with Norms for Autonomous Software Agents
    International Journal of Engineering Applications of Artificial Intelligence, 2017 PDF

  • Zohreh Shams, Marina De Vos, Nir Oren, Julian Padget : Normative Practical Reasoning via Argumentation and Dialogue
    International Joint Conference on Artificial Intelligence, IJCAI 16 PDF

  • Zohreh Shams : Normative Practical Reasoning: An Argumentation-Based Approach
    International Joint Conference on Artificial Intelligence, IJCAI 15 PDF

  • Zohreh Shams, Marina De Vos, Julian Padget, Wamberto Vasconcelos: Implementation of Normative Practical Reasoning with Durative Actions
    International Workshop on Coordination, Organisation, Institutions and Norms in Multi-Agent Systems, COIN 2015 PDF

  • Zohreh Shams, Marina De Vos, Nir Oren, Julian Padget: Argumentation-based Normative Practical Reasoning
    International Workshop on Theory and Applications of Formal Argument, TAFA 2015 PDF

  • Zohreh Shams, Marina De Vos, Ken Satoh: ArgPROLEG: A Normative Framework for The JUF Theory
    International Workshop on Juris-informatics, JURISIN 2013 PDF

  • Zohreh Shams: Competitive Analysis of SMEs in The Field of IT
    M.Sc. Dissertation, University of Surrey, 2011


  • Posters, Presentations and Talks

  • Invited Talk at Amazon, Cambridge, UK, September 2017
    From Detecting to Repairing Fault in Knowledge Representation

  • Presentation at 24th Automated Reasoning Workshop (ARW'17) , Bristol, UK, April 2017
    Diagrammatic Reasoning for Ontology Debugging

  • Interactive Talk at Cambridge Science Festival , Cambridge, UK, March 2017
    Seeing the Invisible

  • Guest lecture for Intelligent Agents Unit, Bath, UK, November 2015
    Argumentation in Muti-Agent Systems

  • Invited talk at National Institute of Informatics (NII), Tokyo, Japan, October 2013
    Reward and Punishment in Normative Multi-Agent Systems: An Argumentation-based Approach

  • Presentation at Meeting of Minds, Bath, UK, June 2013
    Norms and Agents: Conflict in Normative Multi-Agent Systems

  • Poster and presentation at the European Agent Systems Summer School (EASSS), London, UK, July 2013
    Conflict Detection and Resolution in Normative Multi-Agent Systems