]> BibSonomy publications for /author/Tobies http://www.bibsonomy.org/burst/author/Tobies BibSonomy BuRST Feed for /author/Tobies 2008-07-21T00:05:14+02:00 Practical Reasoning for Very Expressive Description Logics http://www.bibsonomy.org/bibtex/2b22975479218a08555f9288c27bd1cae/vrandezo vrandezo 2008-04-02T15:35:07+02:00 imported
Practical Reasoning for Very Expressive Description Logics
I. Horrocks and U. Sattler and S. Tobies Logic Journal of the IGPL 8 239--263 (2000)
to imported by vrandezo on 2008-04-02 15:35:07 ]]> Logic Journal of the IGPL3239--263{Practical Reasoning for Very Expressive Description Logics}82000imported 2008-04-02 15:35:07.0 The Inverse Method Implements the Automata Approach for Modal Satisfiability dblphttp://www.bibsonomy.org/bibtex/282d6ed68e019cdec9715e2b44b58bb25/dblp dblp 2008-01-02T00:00:00+01:00 dblp
The Inverse Method Implements the Automata Approach for Modal Satisfiability
Franz Baader and Stephan Tobies CoRR abs/cs/0412101 (2004)
to dblp by dblp on 2008-01-02 00:00:00 ]]> CoRRinformal publicationThe Inverse Method Implements the Automata Approach for Modal Satisfiabilityabs/cs/04121012004dblp 2008-01-02 00:00:00.0 Formal Test Purposes and The Validity of Test Cases dblphttp://www.bibsonomy.org/bibtex/29a093ea837bea3e2cf8740f0bcf1d8f3/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Formal Test Purposes and The Validity of Test Cases
Peter H. Deussen and Stephan Tobies CoRR abs/cs/0412100 (2004)
to dblp by dblp on 2008-01-02 00:00:00 ]]> CoRRinformal publicationFormal Test Purposes and The Validity of Test Casesabs/cs/04121002004dblp 2008-01-02 00:00:00.0 Complexity Results and Practical Algorithms for Logics in Knowledge Representation dblphttp://www.bibsonomy.org/bibtex/2108556086841980e8f72c1f9099e6caa/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Complexity Results and Practical Algorithms for Logics in Knowledge Representation
Stephan Tobies CoRR cs.LO/0106031 (2001)
to dblp by dblp on 2008-01-02 00:00:00 ]]> CoRRinformal publicationComplexity Results and Practical Algorithms for Logics in Knowledge Representationcs.LO/01060312001dblp 2008-01-02 00:00:00.0 Reasoning with Individuals for the Description Logic SHIQ dblphttp://www.bibsonomy.org/bibtex/2c445f55cc97fbe27417d746f5d70e820/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Reasoning with Individuals for the Description Logic SHIQ
Ian Horrocks and Ulrike Sattler and Stephan Tobies CoRR cs.LO/0005017 (2000)
to dblp by dblp on 2008-01-02 00:00:00 ]]> CoRRinformal publicationReasoning with Individuals for the Description Logic SHIQcs.LO/00050172000dblp 2008-01-02 00:00:00.0 Practical Reasoning for Expressive Description Logics dblphttp://www.bibsonomy.org/bibtex/2f78f29f5893d701923a165e45d78708e/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Practical Reasoning for Expressive Description Logics
Ian Horrocks and Ulrike Sattler and Stephan Tobies CoRR cs.LO/0005014 (2000)
to dblp by dblp on 2008-01-02 00:00:00 ]]> CoRRinformal publicationPractical Reasoning for Expressive Description Logicscs.LO/00050142000dblp 2008-01-02 00:00:00.0 Practical Reasoning for Very Expressive Description Logics dblphttp://www.bibsonomy.org/bibtex/28e860b3524228004cb6466002591431d/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Practical Reasoning for Very Expressive Description Logics
Ian Horrocks and Ulrike Sattler and Stephan Tobies CoRR cs.LO/0005013 (2000)
to dblp by dblp on 2008-01-02 00:00:00 ]]> CoRRinformal publicationPractical Reasoning for Very Expressive Description Logicscs.LO/00050132000dblp 2008-01-02 00:00:00.0 Reasoning with Axioms: Theory and Pratice dblphttp://www.bibsonomy.org/bibtex/28b0b9bd06177d067420fcd5d3036bdc2/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Reasoning with Axioms: Theory and Pratice
Ian Horrocks and Stephan Tobies CoRR cs.LO/0005012 (2000)
to dblp by dblp on 2008-01-02 00:00:00 ]]> CoRRinformal publicationReasoning with Axioms: Theory and Praticecs.LO/00050122000dblp 2008-01-02 00:00:00.0 PSPACE Reasoning for Graded Modal Logics dblphttp://www.bibsonomy.org/bibtex/2667770df066c63bf03d51c218d8042e2/dblp dblp 2008-01-02T00:00:00+01:00 dblp
PSPACE Reasoning for Graded Modal Logics
Stephan Tobies CoRR cs.LO/0005009 (2000)
to dblp by dblp on 2008-01-02 00:00:00 ]]> CoRRinformal publicationPSPACE Reasoning for Graded Modal Logicscs.LO/00050092000dblp 2008-01-02 00:00:00.0 Practical Reasoning for Very Expressive Description Logics http://www.bibsonomy.org/bibtex/2f3465649f0f346111192bfe8f649c802/ramaz ramaz 2007-11-23T14:13:20+01:00 imported
Practical Reasoning for Very Expressive Description Logics
Ian Horrocks and Ulrike Sattler and Stephan Tobies Journal of the IGPL 8 239--263 (2000)
to imported by ramaz on 2007-11-23 14:13:20 ]]> Journal of the IGPL\\ \url{http://www3.oup.co.uk/igpl/Volume_08/Issue_03/} \\ \url{ps/horrocks1.ps.gz}3239--263Practical Reasoning for Very Expressive Description Logics82000imported 2007-11-23 14:13:20.0