Deakin University
Browse

File(s) not publicly available

A diagrammatic reasoning system for ALC

conference contribution
posted on 2007-12-01, 00:00 authored by F Dau, Peter EklundPeter Eklund
A diagrammatic reasoning system for ALC

History

Volume

4798 LNAI

Pagination

39-51

Location

Melbourne, AUSTRALIA

Start date

2007-11-28

End date

2007-11-30

ISSN

0302-9743

eISSN

1611-3349

ISBN-13

9783540767183

Language

English

Publication classification

E1.1 Full written paper - refereed

Editor/Contributor(s)

Zhang Z, Siekmann J

Title 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 Management

Publisher

SPRINGER-VERLAG BERLIN

Series

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE

Usage metrics

    Research Publications

    Categories

    No categories selected

    Keywords

    Science & TechnologyTechnologyComputer Science, Artificial IntelligenceComputer Science, Theory & MethodsComputer Science

    Licence

    All Rights Reserved

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC