| a22936ffa58b0b92b957098a1ebc75a22cc48f85 |
|
18-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
fixed some typos and formatting issues
updated some references
syntax highlighting in listings
added myself (Christoph Lange) as author
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16590 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 356f33e31a1cf98a878f069e9e2e1cbea4a06e81 |
|
18-Apr-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
corrected bibentry for fase2011 encl paper
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14944 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6 |
|
18-Apr-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added description of EnCL and FreeCAD
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14943 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c57bde4abc9029546fa396c4eccacf969e126b96 |
|
14-Apr-2011 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
more logic descriptions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14914 cec4b9c1-7d33-0410-9eda-942365e851bb |
| de55550f7d117195f127481d18ec2d5e8d2317ff |
|
14-Apr-2011 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
documentation for logic definitions in LF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14913 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 65afd6de83b252cc393ee407bab4dd8b57b97e0b |
|
14-Apr-2010 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added descriptions for KRHyperHype, Fact++, Darwin and Pellet
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13328 cec4b9c1-7d33-0410-9eda-942365e851bb |
| df606e2da8f4d2b866aa3f45ede5fc2343d0dec3 |
|
21-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
fixed bib errors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7727 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e31c49c9f2b85b768519a2e1ebc143e6a8484aec |
|
03-Nov-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
corrected bib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5339 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d3f2015ae170a15e5b57d4880ded53073d725ac0 |
|
08-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
First draft
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2097 cec4b9c1-7d33-0410-9eda-942365e851bb |