PROGRAM AUTHORS Search

ACV | ADU | AIMACS | AR4Space | ARQNL | ASPOCP | CARLA | CAV | CI-BD-SOQE | CMSB | CompBench | CP | CPSATDP | CREST | CSF | DefDesKR | DIALOCO | DL | DPSOLVE | ELASP | EULP | FCS | FLoC | FMQC | FORCE | FSCD | GALOP | GOE | HCVS | HYPER | ICLP-DC-SS | ICLP | IFIP16 | IJCAR | IMLA | Isabelle | ITP | ITRS | IWC | JoeFest | KR | LAMAS-SR | LCC | Lean | LFMTP | LICS | LINDA | LLM-Solve | LLM4R | LOGICNN | LPOP | LSFA | MartaFest | MC | ML4SP | ModRef | MoST | MSFP | MW1 | MW2 | NMR | OVERLAY | PAAR | PC | PCCR | PEG | PERR | PIPs | PoS | QBF | RajeevFest | RCRA | RocqWS | SAIV | SAT | SD | SKILLED-LLMs | SmP | SMT | Soft | ST4DM | SteamingNeSy | SYNT | TEAL | TERMGRAPH | TGD | ThEdu | THEMA | TLLA | TPTPTP | UNIF | Vampire | VeriProP | WHOOPS | WiL | WPTE | WST | XLoKR-ExCoS | Full Program

A
Ahmetaj, Shqiponja	(KR) Graph Data
Alon, Nadav	(KR) Planning
Alviano, Mario	(KR) Explanation
Aminof, Benjamin	(KR) Reasoning on actions
Andrews, Uri	(KR) Argumentation 1
Angelis, Emanuele De	(KR) Argumentation and applications
Areces, Carlos	(KR) Reasoning on actions
Arieli, Ofer	(KR) Nonmonotonic logic
Audemard, Gilles	(KR) Machine learning and explanation
AWUKLU, Yvon K.	(KR) Answer Set Programming 2
Azzolini, Damiano	(KR) Answer Set Programming 1
B
Baader, Franz	(KR) KR invited: Carsten Lutz
Baldazzi, Teodoro	(KR) Datalog and existential rules
Baltag, Alexandru	(KR) Belief change and epistemic logic
Banbara, Mutsunori	(KR) Answer Set Programming 1
Bannach, Max	(KR) Answer Set Programming 2
Barlag, Timon	(KR) Description logics and databases (KR) Expressivity of neural networks
Bartal, Uriya	(KR) Beyond SAT
Batzoglou, Serafim	(KR) Abduction and diagnosis
Bayerkuhnlein, Moritz	(KR) Abduction and diagnosis
Beckers, Sander	(KR) Probability
Ben-Naim, Jonathan	(KR) Argumentation 2
Berkel, Kees van	(KR) Argumentation 2 (KR) Temporal reasoning
Bienvenu, Meghyn	(KR) Description logics and databases (KR) Answer Set Programming 2
Bizzaro, Davide	(KR) Neural-symbolic learning and logic
Bogaerts, Bart	(KR) Datalog and existential rules
Booth, Richard	(KR) Belief change
Brewka, Gerd	(KR) Preferences
Brizzio, Matías	(KR) Temporal reasoning
Buraglio, Giovanni	(KR) Argumentation 2
C
Cabrio, Elena	(KR) Argumentation and applications
Calautti, Marco	(KR) Explanation
Cardellini, Matteo	(KR) Planning
Carral, David	(KR) Doctoral Consortium (talks)
Chernobrovkin, Artem	(KR) Machine learning and explanation
Chevaleyre, Yann	(KR) Preferences
Colnet, Alexis de	(KR) Beyond SAT
Conati, Ari	(KR) Beyond SAT
Court, Edwin Hamel-De le	(KR) Neural-symbolic learning and logic
Cunningham, Eoghan	(KR) Argumentation and applications
Cuteri, Andrea	(KR) Answer Set Programming 2
D
Dabrowski, Konrad K.	(KR) Temporal reasoning
Daniele, Alessandro	(KR) Neural-symbolic learning and logic
Dejl, Adam	(KR) Argumentation and applications
Dennison, Racquel	(KR) Doctoral Consortium (talks)
Diedrich, Alexander	(KR) Abduction and diagnosis
Dvorak, Wolfgang	(KR) Answer Set Programming 1
E
Eriksson, Leif	(KR) Beyond SAT
F
Fandinno, Jorge	(KR) Answer Set Programming 1
Fermé, Eduardo	(KR) Argumentation 1 (KR) Argumentation and applications
Fidan, Müge	(KR) Doctoral Consortium (talks)
Fisman, Dana	(KR) Learning for planning
Flaminio, Tommaso	(KR) Probability
G
Galimullin, Rustam	(KR) Reasoning on actions (KR) Temporal reasoning
Geffner, Hector	(KR) Learning for planning
Gerlach, Lukas	(KR) Datalog and existential rules
Giacomo, Giuseppe De	(KR) Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (KR) Planning
Gigante, Nicola	(KR) Planning
Gogacz, Tomasz	(KR) Description logics and databases
Gomez, Lucia	(KR) Diversity and inclusion
Gösgens, Jonas	(KR) Learning for planning
Grau, Bernardo Cuenca Cuenca	(KR) Description logic and learning
Grosser, Marvin	(KR) Description logic and learning
Gutierrez, Julian	(KR) Neural-symbolic learning
Gutsche, Linda	(KR) Doctoral Consortium (talks)
Guzmán, Manuel Vargas	(KR) Neural-symbolic learning
H
Haak, Anselm	(KR) Abduction and diagnosis
Häggblom, Matilda	(KR) Description logics and databases
Hauke, Stan P	(KR) Expressivity of neural networks
I
Imrie, Jane	(KR) Doctoral Consortium (talks)
K
Kern-Isberner, Gabriele	(KR) Probability (KR) Nonmonotonic logic
Kern-Isberner, Gaby	(KR) Reinforcement learning and norms
Knorr, Matthias	(KR) Answer Set Programming 1 (KR) Answer Set Programming 2
Konieczny, Sebastien	(KR) Belief change and epistemic logic
Kontinen, Juha	(KR) Nonmonotonic logic
Koopmann, Patrick	(KR) Abduction and diagnosis
Kozhemiachenko, Daniil	(KR) Probability
L
Lakemeyer, Gerhard	(KR) Epistemic logic (KR) Planning
Leemhuis, Mena	(KR) Neural-symbolic learning
Lefebre-Lobaina, Jairo	(KR) Explanation
Leisegang, Nicholas	(KR) Doctoral Consortium (talks)
Lequen, Arnaud	(KR) Temporal reasoning
Lesperance, Yves	(KR) Reasoning on actions
Li, Dazhu	(KR) Epistemic logic
Li, Xu	(KR) Belief change and epistemic logic
Li, Yinfeng	(KR) Preferences
Libkin, Leonid	(KR) Datalog and existential rules
Liu, Heng	(KR) Graph Data
Longato, Alessandro	(KR) Description logic and learning
Lourenço, Bruno F.	(KR) Description logic and learning
Lu, Chang	(KR) Machine learning and explanation
Luo, Huan	(KR) Expressivity of neural networks
Lutz, Carsten	(KR) KR invited: Carsten Lutz (KR) Expressivity of neural networks
M
Madzime, Ruvarashe	(KR) Doctoral Consortium (talks)
Mailly, Jean-Guy	(KR) Argumentation 2
Mantenoglou, Periklis	(KR) Reasoning on actions (KR) Datalog and existential rules
Marques-Silva, Joao	(KR) KR Invited: Joao Marques-Silva (KR) SAT encoding
Meilicke, Christian	(KR) Graph Data
Mencía, Carlos	(KR) Explanation
Metzger, Niklas	(KR) Knowledge compilation
Meyer, Tommie	(KR) KR awards (KR) Nonmonotonic logic
Moriyama, Sota	(KR) Neural-symbolic learning and logic
Mugnier, Marie-Laure	(KR) KR Invited: Magdalena Ortiz
N
Neufeld, Emery	(KR) Reinforcement learning and norms
Noort, Mathijs van	(KR) Datalog and existential rules
Núñez-Molina, Carlos	(KR) Learning for planning
O
Obiedkov, Sergei	(KR) Description logic and learning (KR) Argumentation 1
Ortiz, Magdalena	(KR) Description logics and databases (KR) KR Invited: Magdalena Ortiz
Oudshoorn, Anouk Michelle	(KR) Graph Data
Ozaki, Ana	(KR) Belief change and epistemic logic
P
Papi, Laura	(KR) Doctoral Consortium (talks)
Parent, Xavier	(KR) Nonmonotonic logic
Pastva, Samuel	(KR) Beyond SAT
Pieris, Andreas	(KR) Graph Data
Potyka, Nico	(KR) Argumentation 2 (KR) Machine learning and explanation
Q
Quist, Arend-Jan	(KR) Knowledge compilation
R
Rago, Antonio	(KR) Explanation
Rankooh, Masood Feyzbakhsh	(KR) SAT encoding
Rauer, Erik	(KR) Preferences
Reiners, Luis Angel Rodriguez	(KR) Answer Set Programming 2
Rodriguez, Andoni	(KR) Neural-symbolic learning
Rudolph, Sebastian	(KR) Knowledge compilation (KR) Belief change
Russo, Alessandra	(KR) Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI
S
Sälzer, Marco	(KR) Expressivity of neural networks
Sauerwald, Kai	(KR) Epistemic logic
Schwind, Nicolas	(KR) Belief change
Silvetti, Simone	(KR) Temporal reasoning
Skaisgiris, Paulius	(KR) Doctoral Consortium (talks)
Slater, Luke	(KR) Knowledge compilation (KR) Doctoral Consortium (talks)
Soh, Takehide	(KR) SAT encoding
Subramanian, Vignesh	(KR) Doctoral Consortium (talks)
T
Takemura, Akihiro	(KR) Neural-symbolic learning and logic
Thielscher, Michael	(KR) Belief change and epistemic logic (KR) Answer Set Programming 1
Thieyre, Jordan	(KR) Argumentation 1
Turhan, Anni-Yasmin	(KR) Description logic and learning
V
Vasileiou, Stylianos	(KR) Neural-symbolic learning and logic
Vasileiou, Stylianos Loukas	(KR) Machine learning and explanation
Vehlken, Fabian	(KR) Explanation
Veronese, Celeste	(KR) Neural-symbolic learning
Villia, Maria Myrto	(KR) Doctoral Consortium (talks)
W
Wassermann, Renata	(KR) KR Invited: Joao Marques-Silva (KR) Belief change
Watted, Omar	(KR) Learning for planning
Wei, Sheng	(KR) Argumentation and applications
X
Xu, Zhenghang	(KR) Knowledge compilation
Y
Yang, Hui	(KR) Machine learning and explanation
Yang, Xiaoshuang	(KR) Doctoral Consortium (talks)
Yin, Xiang	(KR) Argumentation 1
Z
Zhang, Chenyuan	(KR) Probability
Zhao, Yonghe	(KR) Neural-symbolic learning

Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time: