to.do

(https://us.meething.space/?room=frdcsa&mesh=false)

(This is a course I put together in 1 hour, it's going to look that way :)
(it's looking like a shallow survey course on different topics in KRR)

(https://dai.fmph.uniba.sk/~sefranek/kri/handbook/handbook_of_kr.pdf)
(https://www.cin.ufpe.br/~mtcfa/files/in1122/Knowledge%20Representation%20and%20Reasoning.pdf)
(https://www.seas.upenn.edu/~cis700dr/Spring19/slides/Lec3-R-1-30-2019.pdf)

(introduction to logic ltl
 (https://www.math.ucla.edu/~ynm/lectures/lnl.pdf)
 )
(logic)
(proof theory
 (proofs that the square root of 2 is irrational)
 )
(set theory)
(tarskian semantics)
(model theory)
(modal logic)
(defeasible logic)
(epistemic logic)
(autoepistemic logic
 (assert <I do not know Phi>)
 (assert <Phi>)
 (must therefore retract <I do not know Phi>)
 )
(event calc)
(sit calc)
(fluent calc
 (FLUX
  (https://github.com/aindilis/flux-frdcsa)
  )
 )
(temporal logic
 (PDDL 2.2 strips/adl)
 )
(logic forms
 (free logic form)
 )
(neodavidsonian logic forms
 (http://www.coli.uni-saarland.de/courses/incsem-12/neodavidsonian.pdf)
 )
(computational semantics
 (candc-tools)
 )

(Some prolog KRR programs
 (shanahan.pl Murray Shanahan's Abductive Event Calculus reasoner)
 (pttp.pl PTTP Prolog Technology Theorem Prover)
 (Robert Sasak's: Prolog PDDL parser and planner
  (https://github.com/RobertSasak/Prolog-Planning-Library)
  )
 (Marty's Interactive Fiction Engine
  (https://github.com/logicmoo/logicmoo_nlu/blob/master/prolog/marty_white/README.md)
  )
 (mprolog - modal logic)
 )

(PrologCYC
 
 )

(commonsense reasoning
 (https://www.seas.upenn.edu/~cis700dr/Spring19/)
 (FraCaS
  (https://nlp.stanford.edu/~wcmac/downloads/fracas.xml)

  )
 )

(natural language processing

 )

(formal verification)

(LogicMOO
 ()
 )

(Risk Ontology
 (part1.pl)
 )

(MegaMath

 )

(https://www.logicmoo.org/cycdoc/toc-reference.html)