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
• COMMA: Computational Models of Argument
• 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

• SAT: The international SAT Competitions
• Max-SAT: Max-SAT evaluation
• ICCMA: International Competition on Computational Models of Argumentation
• AI Birds: Angry Birds AI Competition
• MultiAgentContest: Multi-Agent Programming Contest
• ASP Competitions (2015): Answer Set Programming competitions
• Starcraft Competition (2015): AIIDE Starcraft AI Competition

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
• A&C: Argument & Computation
• IJAR: International Journal of Approximate Reasoning
• IJSCAI: International Journal on Soft Computing, Artificial Intelligence and Applications
• JLC: Journal of Logic and Computation
• KER: The Knowledge Engineering Review
• JAL: Journal of Applied Logic
• KIS: Knowledge and Information Systems