შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

Complexity of Description Logics with Concrete Domains [PhD...

Main
Mathematics - Logic
Complexity of Description Logics with...

Complexity of Description Logics with Concrete Domains [PhD Thesis]

Carsten Lutz

0 / 0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

კატეგორია:

Mathematics - Logic

წელი:

2002

გამომცემლობა:

Technische Hochschule Aachen

ენა:

english

გვერდები:

225

ფაილი:

PDF, 1.46 MB

IPFS:

,

english, 2002

ონლაინ წაკითხვა

ხორციელდება კონვერტაციის -ში

კონვერტაციის -ში ვერ მოხერხდა

შესაძლოა დაგაინტერესოთ

Edith Spaan — Complexity of Modal Logics [PhD Thesis]

Edith Spaan — Complexity of Modal Logics [PhD Thesis]

Stephan Tobies — Complexity Results and Practical Algorithms for Logics in Knowledge Representation [PhD Thesis]

Jeff Z. Pan — Description Logics: Reasoning Support for the Semantic Web [PhD Thesis]

Birte Glimm — Querying Description Logic Knowledge Bases [PhD Thesis]

Yu Ding — Tableau-based Reasoning for Description Logics with Inverse Roles and Number Restrictions [PhD Thesis]

Felix Distel — Learning Description Logic Knowledge Bases from Data Using Methods from Formal Concept Analysis [PhD Thesis]

Samson Abramsky (auth.), Josep Diaz (eds.) — Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.) — Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Ronald J. Brachman, Hector J. Levesque, Raymond Reiter — Knowledge Representation

Gabbay, Dov M — Many dimensional modal logics : theory and applications

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (editors) — The Description Logic Handbook: Theory, Implementation and Applications

Szeredi, Péter, Lukácsy, Gergely, Benkő, Tamás — The Semantic Web Explained: The Technology and Mathematics behind Web 3.0

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (editors) — The Description Logic Handbook: Theory, Implementation and Applications

Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler — An Introduction to Description Logic

Franz Baader — The Description Logic Handbook Theory, Implementation and Applications

Balbiani, Philippe — Advances in modal logic 04

Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler — An Introduction to Description Logic

Umberto Straccia — Foundations of Fuzzy Logic and Semantic Web Languages

Lech T. Polkowski — Logics for Computer and Data Sciences, and Artificial Intelligence

Lech T. Polkowski — Logics for Computer and Data Sciences, and Artificial Intelligence

C. P. Schnorr (auth.), Shimon Even, Oded Kariv (eds.) — Automata, Languages and Programming: Eighth Colloquium Acre (Akko), Israel July 13–17, 1981

Allen Van Gelder (auth.), Geoff Sutcliffe, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Peter O’Hearn, John Reynolds, Hongseok Yang (auth.), Laurent Fribourg (eds.) — Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.) — Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.) — Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Gerd Brewka, Jürgen Dix, Kurt Konolige (auth.), Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt (eds.) — Nonmonotonic and Inductive Logic: Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings

Marco Cadoli (auth.) — Tractable Reasoning in Artificial Intelligence

Harald Ganzinger, David McAllester, Andrei Voronkov — Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Piero A. Bonatti (auth.), Nicola Olivetti (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt — Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

Gerhard Brewka (auth.), Markus Krötzsch, Umberto Straccia (eds.) — Web Reasoning and Rule Systems: 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings

Thomas Eiter, Michael Fink, Daria Stepanova (auth.), Wolfgang Faber, Domenico Lembo (eds.) — Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

საკვანძო ფრაზები