Name	Name	Last commit message	Last commit date
Latest commit bountin Create README.md Jun 29, 2014 3f2cfce · Jun 29, 2014 History 32 Commits
1025737_project_1.zip	1025737_project_1.zip	Renaming first submission file	Dec 2, 2013
1025737_project_2.zip	1025737_project_2.zip	Adding second submission	Dec 2, 2013
Makefile	Makefile	Adding a testrunner script whcih will run tests, and a Makefile	Nov 15, 2013
README.md	README.md	Create README.md	Jun 29, 2014
abductive.hyp	abductive.hyp	Fixing the abductive hypotheses and constraints	Nov 29, 2013
b.abductive.dl	b.abductive.dl	Adding the abductive systems	Nov 29, 2013
b.dl	b.dl	Asserting for each part of the system that the correct values will on…	Nov 29, 2013
b.test1.dl	b.test1.dl	Adding tests for battery	Nov 16, 2013
b.test10.dl	b.test10.dl	Adding tests for battery	Nov 16, 2013
b.test11.dl	b.test11.dl	Adding tests for battery	Nov 16, 2013
b.test12.dl	b.test12.dl	Adding tests for battery	Nov 16, 2013
b.test13.dl	b.test13.dl	Adding tests for battery	Nov 16, 2013
b.test14.dl	b.test14.dl	Adding tests for battery	Nov 16, 2013
b.test15.dl	b.test15.dl	Adding tests for battery	Nov 16, 2013
b.test2.dl	b.test2.dl	Adding tests for battery	Nov 16, 2013
b.test3.dl	b.test3.dl	Adding tests for battery	Nov 16, 2013
b.test4.dl	b.test4.dl	Adding tests for battery	Nov 16, 2013
b.test5.dl	b.test5.dl	Adding tests for battery	Nov 16, 2013
b.test6.dl	b.test6.dl	Adding tests for battery	Nov 16, 2013
b.test7.dl	b.test7.dl	Adding tests for battery	Nov 16, 2013
b.test8.dl	b.test8.dl	Adding tests for battery	Nov 16, 2013
b.test9.dl	b.test9.dl	Adding tests for battery	Nov 16, 2013
component_tester.dl	component_tester.dl	Adding component tester, provided from the script	Nov 15, 2013
connect.dl	connect.dl	Implementing the system itself	Nov 29, 2013
consistency_based.hyp	consistency_based.hyp	Adding abnormal hypotheses	Nov 29, 2013
constraints.abductive.dl	constraints.abductive.dl	Fixing the abductive hypotheses and constraints	Nov 29, 2013
constraints.consistency_based.dl	constraints.consistency_based.dl	Adding consistency constraints	Nov 29, 2013
dlv.i386-apple-darwin-iodbc	dlv.i386-apple-darwin-iodbc	Initial commit with provided files	Nov 15, 2013
ewbs_project.pdf	ewbs_project.pdf	Initial commit with provided files	Nov 15, 2013
fault.abductive.b_old.obs	fault.abductive.b_old.obs	Fixing abductive_b_old (I should read more carefully ...)	Dec 2, 2013
fault.abductive.dl	fault.abductive.dl	Adding the 'normal' abductive fault	Nov 29, 2013
fault.abductive.empty.obs	fault.abductive.empty.obs	Adding the other abductive faults (It's too easy ...)	Nov 29, 2013
fault.abductive.obs	fault.abductive.obs	Adding the 'normal' abductive fault	Nov 29, 2013
fault.b_ab.obs	fault.b_ab.obs	Adding faulting files	Nov 29, 2013
fault.bg_ab.obs	fault.bg_ab.obs	Adding faulting files	Nov 29, 2013
fault.g_ok.obs	fault.g_ok.obs	Adding faulting files	Nov 29, 2013
fault.obs	fault.obs	Adding faulting files	Nov 29, 2013
g.abductive.dl	g.abductive.dl	Adding the abductive systems	Nov 29, 2013
g.dl	g.dl	Asserting for each part of the system that the correct values will on…	Nov 29, 2013
g.test1.dl	g.test1.dl	Adding tests for the generator	Nov 15, 2013
g.test2.dl	g.test2.dl	Adding tests for the generator	Nov 15, 2013
g.test3.dl	g.test3.dl	Adding tests for the generator	Nov 15, 2013
g.test4.dl	g.test4.dl	Adding tests for the generator	Nov 15, 2013
g.test5.dl	g.test5.dl	Adding tests for the generator	Nov 15, 2013
s.abductive.dl	s.abductive.dl	Adding the abductive systems	Nov 29, 2013
s.dl	s.dl	Asserting for each part of the system that the correct values will on…	Nov 29, 2013
s.test1.dl	s.test1.dl	Renaming substation to subsystem	Nov 28, 2013
s.test2.dl	s.test2.dl	Renaming substation to subsystem	Nov 28, 2013
s.test3.dl	s.test3.dl	Renaming substation to subsystem	Nov 28, 2013
s.test4.dl	s.test4.dl	Renaming substation to subsystem	Nov 28, 2013
s.test5.dl	s.test5.dl	Renaming substation to subsystem	Nov 28, 2013
sample_test.dl	sample_test.dl	Initial commit with provided files	Nov 15, 2013
sample_test.out	sample_test.out	Initial commit with provided files	Nov 15, 2013
system.test1.dl	system.test1.dl	Adding complete system tests	Nov 29, 2013
system.test2.dl	system.test2.dl	Adding complete system tests	Nov 29, 2013
system.test3.dl	system.test3.dl	Adding complete system tests	Nov 29, 2013
system.test4.dl	system.test4.dl	Adding complete system tests	Nov 29, 2013
system.test5.dl	system.test5.dl	Adding complete system tests	Nov 29, 2013
system.test6.dl	system.test6.dl	Adding complete system tests	Nov 29, 2013
system.test7.dl	system.test7.dl	Adding complete system tests	Nov 29, 2013
system.test8.dl	system.test8.dl	Adding complete system tests	Nov 29, 2013
system.test9.dl	system.test9.dl	Adding complete system tests	Nov 29, 2013
system_tester.dl	system_tester.dl	Adding given system tester	Nov 29, 2013
testrunner.sh	testrunner.sh	Adapting testrunner for system tests	Nov 29, 2013

Repository files navigation

ewbs

Course exercise of "Introduction to Knowledge Based Systems" in the winter term of 2013

Übung "Einführung in wissensbasierte Systeme" auf der Technischen Universität Wien

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

ewbs

About

Releases

Packages

Languages

bountin/EWBS

Folders and files

Latest commit

History

Repository files navigation

ewbs

About

Resources

Stars

Watchers

Forks

Releases

Packages 0

Languages

Packages