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
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.
Explainable Logic-Based KR with Constraints and Satisfiability
Focuses on explanations for logic-based knowledge representation and constraint and satisfiability reasoning.
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...
HI Parque das Nações Youth Hostel
Rua de Moscavide Lote 47-101, 1998-011 Lisbon
A hostel offering dormitories and private rooms, free breakfast and Wi-Fi, a communal kitchen and lounge, and 24-hour reception. Best suited for...
ibis Lisboa Parque das Nações
Rua do Mar Vermelho Lote 1.07.2.2, 1990-203 Lisbon
This three-star ibis hotel provides modern rooms with air conditioning and free Wi-Fi, along with an on-site restaurant and bar for breakfast...
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...
Meliá Lisboa Oriente
Avenida Dom João II, Lote 1.16.02B, 1990-083 Lisbon
A four-star property with comfortable rooms featuring mini-bars and safes, a restaurant serving Mediterranean cuisine, and leisure options including access to nearby...
Moxy Lisboa Oriente Hotel
Avenida Dom João II Lote 1.17.02B, 1990-083 Lisbon
A three-star lifestyle hotel with stylish rooms, tech-friendly amenities, and a vibrant lobby bar. Best suited for young professionals and budget-conscious travellers**....
Myriad by SANA Hotel
Cais das Naus Lote 2.21.01, Parque das Nações, Lisboa 1990-173
A five-star waterfront retreat located in Parque das Nações beside the Vasco da Gama Tower. Best suited for luxury travellers, couples and...
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...
Olissippo Oriente
Avenida Dom João II 32, 1990-083 Lisbon
This four-star hotel provides modern rooms with mini-bar, safe and high-speed internet, plus convenient services like babysitting, concierge and currency exchange. Best...
Tivoli Oriente Hotel
Av. Dom João II n.º 27, 1990-083 Lisbon
A four-star hotel opposite Gare do Oriente station offering spacious rooms with tea/coffee facilities, mini-bar and high-speed Wi-Fi. Best suited for families...
VIP Executive Art's Hotel
Avenida Dom João II 47, 1998-028 Lisbon
This four-star hotel offers well-appointed rooms with mini-bar and refrigerator, comprehensive meeting facilities, and services like concierge, laundry and multilingual staff. Best...