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 (closed) |
| Notification of acceptance | April 13, 2026 (passed) |
KR, the International Conference on Principles of Knowledge Representation and Reasoning, is the premier venue for the logical and formal foundations of artificial intelligence. It 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. It suits researchers on the symbolic side of AI, and is the main venue where that tradition sets its own agenda rather than being a track at a general AI conference. Ranked A* by CORE.
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...