What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?: Auf Deutsch: Welche Art mathematischer Argumentation darf die Informatikwissenschaft einem Softwareimplementierer auf jeden Fall zumuten?
Hans LangmaackPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- computer science
- legal reasoning
- software systems
- defeasible reasoning
- argumentation systems
- computer systems
- higher level
- data mining
- legal cases
- evidential reasoning
- artificial intelligence
- source code
- social sciences
- software tools
- reasoning mechanisms
- human reasoning
- software maintenance
- abstract argumentation
- reasoning systems
- argumentation frameworks
- software design
- software architecture
- knowledge base
- machine learning