KRportal
About  |  Newsletter  |  Contact

Resources

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

Competitions

Benchmark problems

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

Implementations

  • 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

Journals

  • 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

Upcoming   

Event date (Event) 2017-10-21 ISWC'17

Paper submission deadline (Paper) 2017-10-30 ICAART'18

Abstract submission deadline (Abstract) 2017-11-10 AAMAS'18

Paper submission deadline (Paper) 2017-11-14 AAMAS'18

Abstract submission deadline (Abstract) 2017-11-24 FoIKS'18

Paper submission deadline (Paper) 2017-12-01 FoIKS'18

Event date (Event) 2018-01-16 ICAART'18

Paper submission deadline (Paper) 2018-01-31 IJCAI/ECAI'18

Event date (Event) 2018-02-04 AAAI'18

Paper submission deadline (Paper) 2018-04-01 SUM'18

Abstract submission deadline (Abstract) 2018-05-13 KR'18

Event date (Event) 2018-05-14 FoIKS'18

Paper submission deadline (Paper) 2018-05-20 KR'18

Event date (Event) 2018-06-03 ESWC'18

Event date (Event) 2018-07-06 FLoC'18

Event date (Event) 2018-07-10 AAMAS'18

Event date (Event) 2018-07-13 IJCAI/ECAI'18

Event date (Event) 2018-07-14 ICLP'18

Event date (Event) 2018-09-02 ILP'18

Event date (Event) 2018-10-03 SUM'18

Event date (Event) 2018-10-30 KR'18