FREeME Phase I Kickoff
Answer Set Programming
Reasoning with Logic Programming
The idea of completion
Concept Modeling on Semantic Wiki
Part 7: Rules and Ontologies. Combining rules and ontologies We now know how to represent (possibly incomplete, evolving, etc) knowledge using rules,