A diagrammatic reasoning system for ALC
conference contribution
posted on 2007-12-01, 00:00 authored by F Dau, Peter EklundA diagrammatic reasoning system for ALC
History
Volume
4798 LNAIPagination
39-51Location
Melbourne, AUSTRALIAStart date
2007-11-28End date
2007-11-30ISSN
0302-9743eISSN
1611-3349ISBN-13
9783540767183Language
EnglishPublication classification
E1.1 Full written paper - refereedEditor/Contributor(s)
Zhang Z, Siekmann JTitle of proceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Event
2nd International Conference on Knowledge Science, Engineering ManagementPublisher
SPRINGER-VERLAG BERLINSeries
LECTURE NOTES IN ARTIFICIAL INTELLIGENCEUsage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC