International Conference on Principles of Knowledge Representation and Reasoning — 2026
July 20-23, 2026
ISCTE - Instituto Universitario de LisboaLisbon, Portugal
Knowledge Representation AI Machine Learning Logic
Important Dates
| Submission deadline | February 13, 2026 |
| Notification of acceptance | April 13, 2026 |
The International Conference on Principles of Knowledge Representation and Reasoning (KR) is the premier venue for research on the logical and formal foundations of artificial intelligence. KR 2026 is held in Lisbon as part of FLoC 2026, the Federated Logic Conference, which co-locates KR with LICS, SAT, CSL, IJCAR, and other logic conferences for a major international event in July. The conference covers description logics, ontology engineering, non-monotonic and defeasible reasoning, action and planning formalisms, knowledge graphs and their formal foundations, probabilistic and uncertain reasoning, and the integration of symbolic and neural approaches. KR has strong links to both the theoretical AI and the applied semantic web and knowledge engineering communities - the conference proceedings are among the most cited in formal AI. The FLoC co-location makes Lisbon in July 2026 an unusually rich week for anyone working at the intersection of logic, AI, and formal methods, with workshops and shared sessions across the constituent conferences.
Venue
ISCTE - Instituto Universitario de Lisboa
Avenida das Forcas Armadas, 1649-026 Lisbon, Portugal
🔗 View full venue details
Our picks for International Conference on Principles of Knowledge Representation and Reasoning attendees
A curated selection of hotels chosen for location, value, and fit for conference travellers.
Bairro Alto Hotel
Praca Luis de Camoes 2, 1200-243 Lisbon, Portugal
Iconic boutique five-star at the top of Bairro Alto with a celebrated rooftop bar overlooking the Tagus estuary - the most characterful...
EPIC SANA Lisboa Hotel
Avenida Engenheiro Duarte Pacheco 15, 1070-100 Lisbon, Portugal
Contemporary five-star in the Amoreiras district, about 1.5km from the ISCTE venue and well served by Metro - the most convenient luxury...
Ibis Lisbon Liberdade
Rua Barata Salgueiro 53, 1250-044 Lisbon, Portugal
Budget Ibis just off the Avenida da Liberdade with clean, compact rooms at low rates for central Lisbon - the best value...
NH Collection Lisboa Liberdade
Avenida da Liberdade 180-B, 1250-146 Lisbon, Portugal
Elegant four-star on the grand Avenida da Liberdade with a rooftop bar and easy Metro access to the ISCTE venue - a...
Related reading
-
CVPR 2026 Denver: Travel Guide and Where to Stay
The IEEE/CVF Conference on Computer Vision and Pattern Recognition returns to Denver fo...
-
EMNLP 2026 Budapest: Travel Guide and Where to Stay
The Conference on Empirical Methods in Natural Language Processing comes to Central Eur...
-
ICLR 2026 Rio de Janeiro: Travel Guide and Where to Stay
The International Conference on Learning Representations heads to South America for 202...