Verwandte Artikel zu A Proof Theory for Description Logics (SpringerBriefs...
Inhaltsangabe
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.
A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.
A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 48,74
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für A Proof Theory for Description Logics (SpringerBriefs...
Beispielbild für diese ISBN
A Proof Theory for Description Logics
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 106 | Sprache: Englisch | Produktart: Sonstiges. Bestandsnummer des Verkäufers 12007945/12
Anzahl: 1 verfügbar
Foto des Verkäufers
A Proof Theory for Description Logics
Verlag:
Springer London, 2012
ISBN 10: 144714001X
ISBN 13: 9781447140016
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Bestandsnummer des Verkäufers 4184833
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
A Proof Theory for Description Logics
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes. 106 pp. Englisch. Bestandsnummer des Verkäufers 9781447140016
Anzahl: 2 verfügbar
Foto des Verkäufers
A Proof Theory for Description Logics
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes. Bestandsnummer des Verkäufers 9781447140016
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
A Proof Theory for Description Logics
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 118. Bestandsnummer des Verkäufers 1858582750
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
A Proof Theory for Description Logics
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 118. Bestandsnummer des Verkäufers 2658582740
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
A Proof Theory for Description Logics (eng)
Print-on-DemandAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers 65c0b231896e841ff43a5bd6edfa11a0
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
A Proof Theory for Description Logics
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Print on Demand pp. 118 16 Illus. Bestandsnummer des Verkäufers 51009803
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
A Proof Theory for Description Logics
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 106 pages. 9.25x6.20x0.25 inches. In Stock. Bestandsnummer des Verkäufers zk144714001X
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
A Proof Theory for Description Logics (SpringerBriefs in Computer Science)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: Like New. Like New. book. Bestandsnummer des Verkäufers ERICA796144714001X6
Anzahl: 1 verfügbar