@electronic{www.crcpress.com,
   title       = {CRC Press Online - Book: Conceptual Structures in Practice}, 
   url         = {http://www.crcpress.com/product/isbn/9781420060621},
   biburl      = {https://puma.uni-kassel.de/url/10d664dcab74d0c2d376126092728b2d/stephandoerfel},
   keywords    = {citation contextual icfca logic},
   added-at    = {2011-10-28T15:40:47.000+0200},
   description = {},
   interhash   = {10d664dcab74d0c2d376126092728b2d}, 
   intrahash   = {10d664dcab74d0c2d376126092728b2d}
}

@electronic{www.nd.edu,
   title       = {charles.pence: LaTeX and Tableaux}, 
   url         = {http://www.nd.edu/~cpence/tech/logictex/},
   biburl      = {https://puma.uni-kassel.de/url/0092b2b184e069ea48108dd019cc5a3e/benz},
   keywords    = {tableaux symbol latex logic},
   added-at    = {2011-02-04T16:08:42.000+0100},
   description = {},
   interhash   = {0092b2b184e069ea48108dd019cc5a3e}, 
   intrahash   = {0092b2b184e069ea48108dd019cc5a3e}
}

@electronic{ekaw.vse.cz,
   title       = {Learning, Logic, and Probability: A Unified View.}, 
   url         = {http://ekaw.vse.cz/files/domingos.ppt},
   biburl      = {https://puma.uni-kassel.de/url/5035aede7a4933ca5a60ab7048b163c2/hotho},
   keywords    = {ai ki learning logic probabilistic srl},
   added-at    = {2007-08-31T09:41:23.000+0200},
   description = {},
   interhash   = {5035aede7a4933ca5a60ab7048b163c2}, 
   intrahash   = {5035aede7a4933ca5a60ab7048b163c2}
}

@electronic{alchemy.cs.washington.edu,
   title       = {Alchemy - Open Source AI}, 
   url         = {http://alchemy.cs.washington.edu/},
   biburl      = {https://puma.uni-kassel.de/url/f9879b40dfc7841024007298f031869d/hotho},
   keywords    = {learning logic markov networks open software source srl},
   added-at    = {2007-08-30T11:07:38.000+0200},
   description = {},
   interhash   = {f9879b40dfc7841024007298f031869d}, 
   intrahash   = {f9879b40dfc7841024007298f031869d}
}

@electronic{www.cs.man.ac.uk,
   title       = {Description Logic Complexity Navigator}, 
   url         = {http://www.cs.man.ac.uk/~ezolin/logic/complexity.html},
   biburl      = {https://puma.uni-kassel.de/url/fc14f3101143ca7417436b5d0717962b/hotho},
   keywords    = {web logic semantic complexity dl rdf},
   added-at    = {2007-02-09T09:43:34.000+0100},
   description = {},
   interhash   = {fc14f3101143ca7417436b5d0717962b}, 
   intrahash   = {fc14f3101143ca7417436b5d0717962b}
}

@electronic{kaon.semanticweb.org,
   title       = {Welcome to KAON — KAON - The KArlsruhe ONtology and Semantic Web tool suite}, 
   url         = {http://kaon.semanticweb.org/},
   biburl      = {https://puma.uni-kassel.de/url/21d450f667a47f1d195cd883f4ad437a/hotho},
   keywords    = {web logic kaon semantic editor owl},
   added-at    = {2006-02-14T14:36:37.000+0100},
   description = {},
   interhash   = {21d450f667a47f1d195cd883f4ad437a}, 
   intrahash   = {21d450f667a47f1d195cd883f4ad437a}
}