Explainable Logic-Based KR with Constraints and Satisfiability
XLoKR-ExCoS 2026: Joint Workshop on Explainable Logic-Based Knowledge Representation and Explanations with Constraints and Satisfiability
In conjunction with
International Conference on Principles of Knowledge Representation and Reasoning 2026
July 20-23, 2026
ISCTE - Instituto Universitario de Lisboa
Lisbon, Portugal
Focuses on explanations for logic-based knowledge representation and constraint and satisfiability reasoning.
More workshops at International Conference on Principles of Knowledge Representation and Reasoning 2026
- A Workshop in Honor of Joseph Y. Halpern — Celebrates Joseph Y. Halpern's contributions to reasoning about knowledge, logic, and knowledge representation.
- Logical Aspects in Multi-Agent Systems and Strategic Reasoning — Covers logics for multi-agent systems, strategic reasoning, and game-theoretic aspects of knowledge.
- Logical Approaches to Handling Inconsistent Data — Addresses logic-based methods for managing and reasoning over inconsistent data.
- Logical Methods for Neural Network Analysis — Applies logical and formal methods to the analysis and verification of neural networks.
- Modularity and Splitting Techniques for KR — Examines modularity and splitting methods for structuring knowledge bases and reasoning tasks.
- Parameterized Complexity of Computational Reasoning — Studies parameterized complexity in computational reasoning and knowledge representation problems.
- Statistics and Knowledge Integration for Logic, Learning, Ethics, and LLMs — Integrates statistical methods and symbolic knowledge for reasoning, learning, and ethical decisions with LLMs.
- Theory and Methods for Abstraction — Explores abstraction theory and techniques in knowledge representation and reasoning.
Hotels near ISCTE - Instituto Universitario de Lisboa
Bairro Alto Hotel
Praca Luis de Camoes 2, 1200-243 Lisbon, Portugal
EPIC SANA Lisboa Hotel
Avenida Engenheiro Duarte Pacheco 15, 1070-100 Lisbon, Portugal
HI Parque das Nações Youth Hostel
Rua de Moscavide Lote 47-101, 1998-011 Lisbon
ibis Lisboa Parque das Nações
Rua do Mar Vermelho Lote 1.07.2.2, 1990-203 Lisbon
Ibis Lisbon Liberdade
Rua Barata Salgueiro 53, 1250-044 Lisbon, Portugal
Meliá Lisboa Oriente
Avenida Dom João II, Lote 1.16.02B, 1990-083 Lisbon
Moxy Lisboa Oriente Hotel
Avenida Dom João II Lote 1.17.02B, 1990-083 Lisbon
Myriad by SANA Hotel
Cais das Naus Lote 2.21.01, Parque das Nações, Lisboa 1990-173
NH Collection Lisboa Liberdade
Avenida da Liberdade 180-B, 1250-146 Lisbon, Portugal
Olissippo Oriente
Avenida Dom João II 32, 1990-083 Lisbon
Tivoli Oriente Hotel
Av. Dom João II n.º 27, 1990-083 Lisbon
VIP Executive Art's Hotel
Avenida Dom João II 47, 1998-028 Lisbon