About  |  Newsletter  |  Contact


This page lists pages on the web relevant for KR researchers and grouped by categories. You can suggest new resources to be added by filling out the corresponding form.

Societies/General resources

  • KR Inc: Non-profit Scientific Foundation for fostering research and communication on knowledge representation and reasoning
  • AAAI: (American) Association for the Advancement of Artificial Intelligence
  • WR-GI: Working group KR of the German computer science association
  • SAT Association: Research association dedicated to the Satisfiability Problem
  • SatLive!: Resource reposity on SAT


Benchmark problems

  • SATlib: SAT Benchmark problem
  • CSPlib: Constraint Satisfaction Problems
  • TPTP: The TPTP Problem Library for Automated Theorem Proving


  • Potassco: The Potsdam Answer Set Solving Collection
  • Glucose: The Glucose SAT Solver
  • Lingeling: The SAT solvers Lingeling, Plingeling and Treengeling
  • PicoSAT: The SAT solver PicoSAT
  • SAT4j: The SAT solver SAT4j
  • Tweety: A comprehensive collection of Java libraries for logical aspects of artificial intelligence and knowledge representation
  • BContractor: Belief Base Contraction library


  • AIJ: Artificial Intelligence Journal
  • IJAR: International Journal of Approximate Reasoning
  • JLC: Journal of Logic and Computation
  • KER: The Knowledge Engineering Review
  • JAL: Journal of Applied Logic
  • KIS: Knowledge and Information Systems


Abstract submission deadline (Abstract) 2019-04-27 ICLP'19

Abstract submission deadline (Abstract) 2019-05-03 ECSQARU'19

Paper submission deadline (Paper) 2019-05-03 TAFA'19

Paper submission deadline (Paper) 2019-05-04 ICLP'19

Event date (Event) 2019-05-08 JELIA'19

Paper submission deadline (Paper) 2019-05-10 ECSQARU'19

Abstract submission deadline (Abstract) 2019-05-13 LORI

Event date (Event) 2019-05-13 AAMAS'19

Paper submission deadline (Paper) 2019-05-20 LORI

Abstract submission deadline (Abstract) 2019-05-25 ILP'19

Paper submission deadline (Paper) 2019-06-01 ILP'19

Event date (Event) 2019-06-02 ESWC'19

Event date (Event) 2019-06-03 IULP

Event date (Event) 2019-06-04 LPNMR'19

Paper submission deadline (Paper) 2019-06-15 SUM'19

Event date (Event) 2019-06-18 DL'19

Event date (Event) 2019-07-07 SAT'19

Event date (Event) 2019-08-10 TAFA'19

Event date (Event) 2019-08-10 IJCAI'19

Event date (Event) 2019-08-25 CADE'19

Event date (Event) 2019-09-03 ILP'19

Abstract submission deadline (Abstract) 2019-09-11 FOIKS'20

Event date (Event) 2019-09-18 ECSQARU'19

Paper submission deadline (Paper) 2019-09-18 FOIKS'20

Event date (Event) 2019-09-21 ICLP'19

Event date (Event) 2019-10-18 LORI

Event date (Event) 2019-10-26 ISWC'19

Paper submission deadline (Paper) 2019-11-15 ECAI'20

Event date (Event) 2019-12-16 SUM'19

Event date (Event) 2020-02-17 FOIKS'20

Event date (Event) 2020-06-08 ECAI'20