posted by user: sadegh_rk || 916 views || tracked by 4 users: [display]

KR4HI 2022 : The 1st International Workshop on Knowledge Representation for Hybrid Intelligence


When Jun 14, 2022 - Jun 14, 2022
Where Amsterdam, Netherlands
Submission Deadline Apr 1, 2022
Notification Due Apr 29, 2022
Final Version Due May 14, 2022
Categories    as artificial intelligence   knowledge engineering   formal methods   logic

Call For Papers

KR4HI is the first International Workshop on Knowledge Representation for Hybrid intelligence which will be co-located with the first international conference on Hybrid-Human Artificial Intelligence (HHAI 2022). The workshop will be held in Amsterdam (Vrije Universiteit Amsterdam) on June 14th, 2022.


As artificial intelligence (AI) technologies 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 or in playing video games, 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 other 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 the formal semantics (the understanding of machine) 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., “learning systems which consider 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 in which hybrid intelligence inherently falls under.

Theme of Submission

The workshop has an interdisciplinary theme and is intended to welcome any work from any discipline which uses a KR formalism in a HI scenario.

The relevant KR formalisms to be used/motivated in an HI scenario include but are not limited to:

• Argumentation Frameworks

• Automated Reasoning and Planning

• Causal Inference and Contextual Reasoning

• Epistemic Logics and Theory of Mind

• Formal or Applied Ontologies (Knowledge Graphs, Description Logics)

• Non-monotonic Reasoning (Answer-set Programming, Datalog)

• Models of uncertainty (Probabilistic Graphical models, Probabilistic/Fuzzy Logics)

• Temporal logics (Single-agent / Multiagent Logics)

• Preferential Reasoning

• Formal Concept Analysis

• Constraint Programming

Important Dates

Submission deadline: April 1st, 2022 (AoE)

Notification of acceptance: April 29th, 2022

Workshop date: June 14th, 2022

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 with 12 pages + references (+supplementary material if necessary), and anonymised. Previously published articles can be submitted in the form of extended abstracts (2 pages + references).

Submission link: Submissions are to be made via the EasyChair:

The review process: The review process will be carried out as single-blind, that is the authors are required to make their submissions anonymised. (Extended abstract submission are exempt from that restriction.)


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.

Organising Committee

Erman Acar (Leiden University & Vrije Universiteit Amsterdam)

Thomas Bolander (Technical University of Denmark)

Ana Ozaki (University of Bergen)

Rafael Peñaloza (University of Milano-Bicocca)

Related Resources

DEPLING 2023   International Conference on Dependency Linguistics
DTMN 2023   9th International Conference on Data Mining
JELIA 2023   18th European Conference on Logics in Artificial Intelligence
AIKE 2023   IEEE International Conference on AI & Knowledge Engineering
KI 2023   46th German Conference on Artificial Intelligence
BIOS 2023   9th International Conference on Bioinformatics & Biosciences
DL 2023   36th International Workshop on Description Logics
CFMAI 2023   2023 5th International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2023)
ICIKM 2023   2023 12th International Conference on Innovation, Knowledge, and Management (ICIKM 2023)
ISD7 2023   The Seventh Image Schema Day