[DL] Deadline Extension CfP for KR4HI 2023 - Second International Workshop on Knowledge Representation for Hybrid Intelligence (apologies for cross-posting)

[Erman Acar]

Apologies for cross-posting 

News: The submission deadline has been extended to the 7th of June

-------------------------------------------------------------------------------
CALL FOR PAPERS
-------------------------------------------------------------------------------


KR4HI-2023 is the second International Workshop on Knowledge Representation for Hybrid intelligence which will be co-located with the 2nd international conference on Hybrid-Human Artificial Intelligence (HHAI 2022). The workshop will be held in Design Offices Macherei on June  26th, 2023. 

Submission deadline:June 7th,
Event: June 26th,  Munich, Germany 

Submission link: https://easychair.org/conferences/?conf=kr4hi2023
Website for the workshop: https://sites.google.com/view/kr4hi-2023/home




-------------------------------------------------------------------------------
SUBMISSION GUIDELINES
-------------------------------------------------------------------------------

Submission format:  Submissions for contributing papers must be original (i.e., not submitted to any other venue) and are required to be in CEUR format (see http://ceur-ws.org/HOWTOSUBMIT.html) with 12 pages + references (incl. acknowledgements +supplementary material if necessary). Previously published articles  or preliminary works can also be submitted in the form of extended abstracts (2 pages + references).   



-------------------------------------------------------------------------------
AIMS AND SCOPE
-------------------------------------------------------------------------------
As artificial intelligence (AI) technologies are playing more important roles in our daily lives than ever before, designing intelligent systems which can work with humans effectively (instead of replacing them) is becoming a central research theme, giving rise to hybrid intelligence (HI). HI stands for combining human and machine intelligence as a team in various scenarios, aiming to benefit from the complementary powers of both components in solving problems.
Developing such systems requires fundamentally novel solutions to major research problems in AI: current AI systems outperform humans in many cognitive tasks e.g., in pattern recognition, playing video games, generating images or even code snippets, yet they fall short when it comes to tasks such as causal modelling, common sense reasoning, and behavioural human capabilities such as explaining its own decisions, adapting to different environments, adaptability to multiple contexts, collaborating with human agents, etc. A particular challenge in developing such systems is to work with human input (high-level symbolic constraints or behavioural data).		
Knowledge representation (KR) as a sub-discipline of AI, deals with representing background knowledge and reasoning with symbolic constraints. KR has a key potential for contributing to the development of HI systems, because it naturally brings human understanding and formal semantics (the understanding of machines) together. With this idea in mind, we welcome a wide array of works that use a KR formalism (or develop one) in an HI scenario. These works can range from purely theoretical to applied, or from purely symbolic to neural-symbolic ones, e.g.,  from “learning systems which take human demonstrations and symbolic constraints into account”  to “explainable AI systems that generate symbolic explanations for humans” or  can be in the context of socio-technical systems which hybrid intelligence naturally falls under.	

-------------------------------------------------------------------------------
LIST OF TOPICS
-------------------------------------------------------------------------------
The workshop has an interdisciplinary theme and welcomes any work from any discipline which uses a KR formalism in a HI scenario.  The relevant themes to be used in a HI scenario include but are not limited to:
• Argumentation Frameworks
• Integrating Learning and Reasoning (Neuro-Symbolic systems, Statistical Relational Learning)
• Formal or Applied Ontologies (Knowledge Graphs, Description Logics)
• Causal Inference/Counterfactual Reasoning
• Constraint Programming
• Epistemic Logics and Theory of Mind
• Formal Concept Analysis
• Automated Reasoning, Robotics and Planning
• Non-monotonic Reasoning (Answer-set Programming, Datalog)
• Models of uncertainty (Probabilistic Graphical models, Probabilistic/Fuzzy Logics)
• Temporal logics (Single-agent / Multiagent Logics)
• Preferential/Contextual Reasoning
-------------------------------------------------------------------------------
PUBLICATION
-------------------------------------------------------------------------------
Accepted papers will be published in CEUR workshop proceedings. Selected papers  will be further invited for (extended version) submission to a special issue of the journal AI Communications.


-------------------------------------------------------------------------------
KEYNOTE SPEAKERS
-------------------------------------------------------------------------------

• Thomas Bolander (Technical University of Denmark) - From Dynamic Epistemic Logic to Socially Intelligent Robots 
• Max van Duijn (Leiden University) - Theory of Mind in Large Language Models



Organisers: 
Erman Acar (ILLC, University of Amsterdam) 
Ana Ozaki (University of Bergen)
Rafael Peñaloza (University of Milano-Bicocca)
Stefan Schlobach (Vrije Universiteit Amsterdam) 
Atefeh Zafarghandi (CWI & Vrije Universiteit Amsterdam)


For any question,  please contact  Erman Acar  via email:   erman.acar at uva.nl


Erman (also on behalf of Ana, Rafael, Stefan and Atefeh)


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20230525/290a8d14/attachment.htm>