SyCoSy
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/
2012-05-16T22:39:55+01:00SyCoSy
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/images/favicon.icotext/html2010-03-28T21:21:24+01:00niktzi@212.92.244.243start
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=start&do=diff&1269804084
Neural-Symbolic Integration The goal of neural-symbolic integration is to combine neural networks’ (also called connectionist systems’) robust learning capabilities with symbolic knowledge representation, reasoning, and explanation ca...text/html2007-07-27T09:30:11+01:00borstel@141.76.34.52researchers - Florian Roehrbein added
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=researchers&do=diff&1185521411
People working in the area of SyCoSy The following list is far from being complete. Please help us extending it by sending a short message to Sebastian.Bader@i&#x...text/html2006-11-29T21:05:06+01:00borstel@84.179.200.166events:2006:ik - abstract added
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=events:2006:ik&do=diff&1164830706
Interdisciplinary College IK2006 The Interdisciplinary College IK2006 included a course on Neural-symbolic learning and reasoning. Speaker Sebastian Bader (Technische Universität Dresden) Pascal Hitzler (University of Karlsruhe) Abstract ...text/html2006-05-10T13:43:08+01:00borstel@141.76.34.52slides
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=slides&do=diff&1147261388
Slides of research presentations on neural-symbolic integration Pascal Hitzler, Neural-symbolic integration. Oberseminar, Institute AIFB, University of Karlsruhe, November 2004. Sebastian Bader, Pascal Hitzler and Steffen Hölldobler, Integrating ...text/html2006-04-19T13:06:29+01:00borstel@141.76.34.52software - SHRUTI added
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=software&do=diff&1145444789
Artificial Neural Networks Simulators SNNS Stuttgart Neural Network Simulator. http://www-ra.informatik.uni-tuebingen.de/SNNS/ Integrated systems SHRUTI Rule Extraction DIMLPv2.0 (local copies: dimlpv2.0-static.tar.gz, dimlpv2.0.tar....text/html2006-04-04T12:18:07+01:00r.gayler@155.143.219.182papers
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=papers&do=diff&1144145887
Journals covering neural-symbolic integration http://ijhis.hybridsystem.com/ http://www.bbsonline.org/ http://www.sciencedirect.com/science/journal/15708683 http://www.tandf.co.uk/journals/titles/09540091.asp Papers Publication pages of r...text/html2006-03-29T12:36:43+01:00phi@81.137.219.228events
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=events&do=diff&1143628603
Events FLAIRS 2005 special session on Integrated Intelligent Systems IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning (NeSy'05) ESSLLI'05 course on Integrating logic programs and connectionist systems KI2005 Tutorial on Connectionist...text/html2006-03-21T17:27:24+01:00phi@168.202.253.10researchers:pascal_hitzler
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=researchers:pascal_hitzler&do=diff&1142958444
Pascal Hitzler is an assistant professor at the knowledge management group of the AIFB at the University of Karlsruhe. Homepage: http://www.pascal-hitzler.de/ ...text/html2006-03-21T17:26:51+01:00phi@168.202.253.10lecture_manuscripts
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=lecture_manuscripts&do=diff&1142958411
Lecture manuscripts on neural-symbolic integration Pascal Hitzler, Approximating first-order logic programs by feedforward networks. Lecture manuscript, TU Dresden, June 2004. Sebastian Bader, Pascal Hitzler, Neural-symbolic learning and reasonin...text/html2006-03-08T08:33:44+01:00borstel@141.76.34.52papers:f94 - bibtex entry edited
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=papers:f94&do=diff&1141803224
Metric methods, three examples and a theorem M. Fitting, 1994 Abstract The existence of a model for a logic program is generally established by lattice-theoretic arguments. We present three examples to show that metric methods can often be us...text/html2005-08-17T08:02:27+01:00borstel@141.76.34.16wiki:playground
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=wiki:playground&do=diff&1124258547
this is just to try things ... Latex Support Whatever Test page for everybody. Creating a subpage Creating the subsubpage Ordered List Item Ordered List Item Ordered List Item Ordered List Item Ordered List Item Unordered List ...text/html2005-06-15T11:24:41+01:00borstel@141.76.34.16papers:sl2004 - created
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=papers:sl2004&do=diff&1118827481
On Approximation in the Integration of Connectionist and Logic-Based Systems Anthony Karel Seda and Maire Lane, 2004 Abstract We discuss the computation by neural networks of semantic operators TP determined by propositional logic programs P....text/html2005-06-09T11:35:03+01:00borstel@141.76.34.16definition
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=definition&do=diff&1118309703
Teminology and Definitions Neural-Symbolic Integration Connectionist Systems Symbolic Learning and Reasoning General information may also be found on Wikipedia, e.g. on Connectionism, Neural Networks, Symbolic Knowledge Representation and Reas...text/html2005-05-31T16:25:08+01:00borstel@141.76.34.16papers:bhw05
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=papers:bhw05&do=diff&1117549508
Integrating First-Order Logic Programs and Connectionist Systems -- A Constructive Approach Sebastian Bader, Pascal Hitzler and Andreas Witzel Abstract Significant advances have recently been made concerning the integration of symbolic knowle...text/html2005-05-31T15:00:22+01:00borstel@141.76.34.16papers:hks99
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=papers:hks99&do=diff&1117544422
...text/html2005-05-27T01:01:13+01:00phi@84.163.123.154system:help
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=system:help&do=diff&1117148473
How does this work? For guidance, see the DokuWiki pages, e.g. the DokuWiki syntax page. Bug reports Please add your bug reports here. ...text/html2005-05-27T00:57:22+01:00phi@84.163.123.154system:contact
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=system:contact&do=diff&1117148242
Contact Real World Sebastian Bader Knowledge Representation and Reasoning Group Artificial Intelligence Institute Department of Computer Science Dresden University of Technology 01062 Dresden Germany Call me +49.351.46338343 Fax me...text/html2005-05-25T14:48:09+01:00anonymous@141.76.34.16papers:gbg2000
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=papers:gbg2000&do=diff&1117025289
Metalevel Priorities and Neural Networks Artur S. Avila Garcez and Krysia Broda and Dov M. Gabbay, 2000 Abstract This paper shows to which extent metalevel priorities, in the sence of Nute’s superiority relation, can be encoded into sin...text/html2005-04-20T12:08:21+01:00borstel@141.76.34.16papers:glg2002
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=papers:glg2002&do=diff&1113991701
A Connectionist Inductive Learning System for Modal Logic Programming A. S. d’Avila Garcez, L. C. Lamb and D. M. Gabbay, 2002 Abstract Neural-Symbolic integration has become a very active research area in the last decade. In this paper,...text/html2005-04-20T11:47:49+01:00borstel@141.76.34.16papers:b03
http://www.wv.inf.tu-dresden.de/~borstel/sycosy/doku.php?id=papers:b03&do=diff&1113990469
From Logic Programs to Iterated Function Systems S. Bader, 2003 Abstract This thesis presents an approach which links logic programs and iterated function systems. The work was motivated by the discovery of self-similar structures during inve...