A Workshop in Honor of Joseph Y. Halpern
JoeFest: A Workshop in Honor of Joseph Y. Halpern
In conjunction with
International Conference on Principles of Knowledge Representation and Reasoning 2026
July 20-23, 2026
ISCTE - Instituto Universitario de Lisboa
Lisbon, Portugal
Celebrates Joseph Y. Halpern’s contributions to reasoning about knowledge, logic, and knowledge representation.
More workshops at International Conference on Principles of Knowledge Representation and Reasoning 2026
- 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.
- Explainable Logic-Based KR with Constraints and Satisfiability — Focuses on explanations for logic-based knowledge representation and constraint and satisfiability 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