International Center for Computational Logic - Benutzerbeiträge [de]

Misc3005/en

2015-10-12T10:48:23Z

Rafael Penaloza: Page created automatically by parser function on page Misc3005

#REDIRECT [[Misc3005]]

Misc3005

2015-10-12T10:48:23Z

Rafael Penaloza: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rafael |ErsterAutorNachname=Peñaloza }} {{Misc |Title=Reasoning with Annotated Description Logic Ontologies |Ye…“

{{Publikation Erster Autor
|ErsterAutorVorname=Rafael
|ErsterAutorNachname=Peñaloza
}}
{{Misc
|Title=Reasoning with Annotated Description Logic Ontologies
|Year=2015
|Month=September
|Howpublished=Habilitation Thesis
}}
{{Publikation Details
|Download=Pena-Habil15.pdf
|Forschungsgruppe=Automatentheorie
}}

Datei:Pena-Habil15.pdf

2015-10-12T10:47:56Z

Rafael Penaloza:

Proceedings3002/en

2015-06-26T09:17:42Z

Rafael Penaloza: Page created automatically by parser function on page Proceedings3002

#REDIRECT [[Proceedings3002]]

Proceedings3002

2015-06-26T09:17:41Z

Rafael Penaloza: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Thomas |ErsterAutorNachname=Lukasiewicz |FurtherAuthors=Rafael Peñaloza Nyssen; Anni-Yasmin Turhan; }} {{Proce…“

{{Publikation Erster Autor
|ErsterAutorVorname=Thomas
|ErsterAutorNachname=Lukasiewicz
|FurtherAuthors=Rafael Peñaloza Nyssen; Anni-Yasmin Turhan;
}}
{{Proceedings
|Title=Logics for Reasoning about Preferences, Uncertainty, and Vagueness
|To appear=0
|Year=2014
|Publisher=CEUR
|Series=CEUR Workshop Proceedings
|Volume=1205
|Note=Co-located with the 7th International Joint Conference on Automated Reasoning (IJCAR 2014)
}}
{{Publikation Details
|ISSN=1613-0073
|Link=http://ceur-ws.org/Vol-1205/
|Forschungsgruppe=Automatentheorie
}}

LATPub434

2015-06-16T14:09:49Z

Rafael Penaloza:

{{Publikation Erster Autor
|ErsterAutorVorname=Thomas
|ErsterAutorNachname=Lukasiewicz
|FurtherAuthors=Rafael Peñaloza; Anni-Yasmin Turhan
}}
{{Proceedings
|Title=Proceedings of the First International Workshop on Uncertainty in Description Logics
|To appear=0
|Year=2010
|Month=Juli
|Series=CEUR
|Volume=613
|Note=UniDL is a IJCAR collocated FLoC workshop. See http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-613/
|Editor=Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan
|Organization=
}}
{{Publikation Details
|Abstract=During the recent decade, handling uncertainty has started to play an important role in ontology languages, especially in application areas like the Semantic Web, biomedicine, and artificial intelligence. For this reason, there is currently a strong research interest in description logics (DLs) that allow for dealing with uncertainty. The subject of the workshop is how to deal with uncertainty and imprecision in DLs. This encompasses approaches that enable probabilistic or fuzzy reasoning in DLs, but the workshop is also open for approaches based on other uncertainty formalisms. The workshop focusses on the investigation of reasoning problems and approaches for solving them, including especially tractable ones. For classical DL reasoning problems such as subsumption and satisfiability, algorithms that can handle uncertainty exist, but they are still less well-investigated than in the case of standard DLs without uncertainty. For novel reasoning services, such as query answering, computation of generalizations, modules, or explanations, it is not yet clear how to realize them in DLs that can express uncertainty.
|Forschungsgruppe=Automatentheorie
|BibTex=@proceedings{ UniDL-10,
editor = {Thomas {Lukasiewicz} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan} },
month = {July},
note = {UniDL is a IJCAR collocated FLoC workshop. See http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-613/},
number = {613},
series = {CEUR},
title = {Proceedings of the First International Workshop on Uncertainty in Description Logics},
year = {2010},
}
}}

Inproceedings3027/en

2015-06-16T07:57:31Z

Rafael Penaloza: Page created automatically by parser function on page Inproceedings3027

#REDIRECT [[Inproceedings3027]]

Inproceedings3027

2015-06-16T07:57:30Z

Rafael Penaloza: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Ismail Ilkan |ErsterAutorNachname=Ceylan |FurtherAuthors=Rafael Peñaloza Nyssen; }} {{Inproceedings |Referiert…“

{{Publikation Erster Autor
|ErsterAutorVorname=Ismail Ilkan
|ErsterAutorNachname=Ceylan
|FurtherAuthors=Rafael Peñaloza Nyssen;
}}
{{Inproceedings
|Referiert=1
|Title=Dynamic Bayesian Description Logics
|To appear=0
|Year=2015
|Booktitle=Proceedings of the 28th International Workshop on Description Logics (DL'15)
|Publisher=CEUR Workshop Proceedings
|Editor=Diego Calvanese, Boris Konev
|Volume=1350
}}
{{Publikation Details
|Download=CePe-DL15.pdf
|Forschungsgruppe=Automatentheorie
}}

Datei:CePe-DL15.pdf

2015-06-16T07:57:22Z

Rafael Penaloza:

Inproceedings3024/en

2015-06-16T07:55:41Z

Rafael Penaloza: Page created automatically by parser function on page Inproceedings3024

#REDIRECT [[Inproceedings3024]]

Inproceedings3024

2015-06-16T07:55:40Z

Rafael Penaloza: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Ismail Ilkan |ErsterAutorNachname=Ceylan |FurtherAuthors=Thomas Lukasiewicz; Rafael Peñaloza Nyssen; }} {{Inpr…“

{{Publikation Erster Autor
|ErsterAutorVorname=Ismail Ilkan
|ErsterAutorNachname=Ceylan
|FurtherAuthors=Thomas Lukasiewicz; Rafael Peñaloza Nyssen;
}}
{{Inproceedings
|Referiert=1
|Title=Answering EL Queries in the Presence of Preferences
|To appear=0
|Year=2015
|Booktitle=Proceedings of the 28th International Workshop on Description Logics (DL'15)
|Publisher=CEUR Workshop Proceedings
|Editor=Diego Calvanese, Boris Konev
|Volume=1350
}}
{{Publikation Details
|Download=CeLP-DL15.pdf
|Forschungsgruppe=Automatentheorie
}}

Datei:CeLP-DL15.pdf

2015-06-16T07:55:26Z

Rafael Penaloza:

Inproceedings3023/en

2015-06-16T07:49:51Z

Rafael Penaloza: Page created automatically by parser function on page Inproceedings3023

#REDIRECT [[Inproceedings3023]]

Inproceedings3023

2015-06-16T07:49:50Z

Rafael Penaloza: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Stefan |ErsterAutorNachname=Borgwardt |FurtherAuthors=Theofilos Mailis; Rafael Peñaloza Nyssen; Anni-Yasmin Tur…“

{{Publikation Erster Autor
|ErsterAutorVorname=Stefan
|ErsterAutorNachname=Borgwardt
|FurtherAuthors=Theofilos Mailis; Rafael Peñaloza Nyssen; Anni-Yasmin Turhan;
}}
{{Inproceedings
|Referiert=1
|Title=Conjunctive Query Answering with Finitely Many Truth Degrees
|To appear=0
|Year=2015
|Booktitle=Proceedings of the 28th International Workshop on Description Logics (DL'15)
|Publisher=CEUR Workshop Proceedings
|Editor=Diego Calvanese, Boris Konev
|Volume=1350
}}
{{Publikation Details
|Download=BMPT-DL15.pdf
|Projekt=HAEC
|Forschungsgruppe=Automatentheorie
}}

Datei:BMPT-DL15.pdf

2015-06-16T07:49:24Z

Rafael Penaloza:

Datei:PeTh-JOWO15.pdf

2015-05-30T15:46:24Z

Rafael Penaloza:

Thema3423

2015-04-24T11:29:02Z

Rafael Penaloza:

{{Abschlussarbeit
|Titel DE=Iterative Ontology Update with Minimum Change
|Titel EN=Iterative Ontology Update with Minimum Change
|Vorname=Aparna Saisree
|Nachname=Thuluva
|Abschlussarbeitstyp=Master
|Betreuer=Rafael Peñaloza Nyssen
|Forschungsgruppe=Automatentheorie
|Abschlussarbeitsstatus=Abgeschlossen
|Beginn=2014/10/01
|Abgabe=2015/03/09
|Ergebnisse=Master Thesis Aparna.pdf
|Beschreibung EN=Ontologies, which form the core of Semantic Web systems, need to evolve to meet the changing needs of the system and its users. The dynamic nature of ontology development has motivated the formal study of ontology evolution problems, which is one of the important problems in the current Semantic Web research. Ontology evolution approaches suffer from intrinsic information loss. The current study deals with the problem of minimizing information loss during iterative ontology update. It provides a framework combining the ontology evolution tasks with context-based reasoning method. Using this framework, all the solutions obtained in an ontology evolution task, which are partly redundant, can be described as contexts and compactly represented in a single labelled ontology. Further updates and reasoning can be done on this ontology efficiently.

We propose new approaches to do ontology contraction, ontology expansion and ontology revision using context-based reasoning method. These approaches show how ontology evolution can be done with minimum information loss by using all the solutions obtained at every stage of the evolution task, efficiently using our framework. We also propose theoretical
methods to extract the optimal solutions from the ontology obtained as the result of iterative ontology update. We show that, optimal solutions in the intermediate stages of iterative ontology update may not be the optimal solutions in the result obtained at the end of all the stages. We handle various notions of an optimal solution: the solution which
changes the semantics of the ontology as minimum as possible, the solution which contains some of the intended consequences, the solution which has the most original axioms of the ontology. We also propose theoretical methods to do context-based reasoning over the optimal solutions extracted.

We present the first prototypical implementation of the theoretical methods developed in this thesis and show the preliminary results of our implementation on the real-world ontologies.
}}

Thema3423

2015-04-24T11:28:13Z

Rafael Penaloza:

{{Abschlussarbeit
|Titel DE=Iterative Ontology Update with Minimum Change
|Titel EN=Iterative Ontology Update with Minimum Change
|Vorname=Aparna Saisree
|Nachname=Thuluva
|Abschlussarbeitstyp=Master
|Betreuer=Rafael Peñaloza Nyssen
|Forschungsgruppe=Automatentheorie
|Abschlussarbeitsstatus=Abgeschlossen
|Beginn=2014/10
|Abgabe=2015/03
|Ergebnisse=Master Thesis Aparna.pdf
|Beschreibung EN=Ontologies, which form the core of Semantic Web systems, need to evolve to meet the changing needs of the system and its users. The dynamic nature of ontology development has motivated the formal study of ontology evolution problems, which is one of the important problems in the current Semantic Web research. Ontology evolution approaches suffer from intrinsic information loss. The current study deals with the problem of minimizing information loss during iterative ontology update. It provides a framework combining the ontology evolution tasks with context-based reasoning method. Using this framework, all the solutions obtained in an ontology evolution task, which are partly redundant, can be described as contexts and compactly represented in a single labelled ontology. Further updates and reasoning can be done on this ontology efficiently.

We propose new approaches to do ontology contraction, ontology expansion and ontology revision using context-based reasoning method. These approaches show how ontology evolution can be done with minimum information loss by using all the solutions obtained at every stage of the evolution task, efficiently using our framework. We also propose theoretical
methods to extract the optimal solutions from the ontology obtained as the result of iterative ontology update. We show that, optimal solutions in the intermediate stages of iterative ontology update may not be the optimal solutions in the result obtained at the end of all the stages. We handle various notions of an optimal solution: the solution which
changes the semantics of the ontology as minimum as possible, the solution which contains some of the intended consequences, the solution which has the most original axioms of the ontology. We also propose theoretical methods to do context-based reasoning over the optimal solutions extracted.

We present the first prototypical implementation of the theoretical methods developed in this thesis and show the preliminary results of our implementation on the real-world ontologies.
}}

Thema3423/en

2015-04-24T11:27:43Z

Rafael Penaloza: Page created automatically by parser function on page Thema3423

Thema3423

2015-04-24T11:27:43Z

Rafael Penaloza: Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Iterative Ontology Update with Minimum Change |Titel EN=Iterative Ontology Update with Minimum Change |Vorname=Aparna Saisree |Nach…“

{{Abschlussarbeit
|Titel DE=Iterative Ontology Update with Minimum Change
|Titel EN=Iterative Ontology Update with Minimum Change
|Vorname=Aparna Saisree
|Nachname=Thuluva
|Abschlussarbeitstyp=Master
|Betreuer=Rafael Peñaloza Nyssen
|Forschungsgruppe=Automatentheorie
|Abschlussarbeitsstatus=Abgeschlossen
|Abgabe=2015/03
|Ergebnisse=Master Thesis Aparna.pdf
|Beschreibung EN=Ontologies, which form the core of Semantic Web systems, need to evolve to meet the changing needs of the system and its users. The dynamic nature of ontology development has motivated the formal study of ontology evolution problems, which is one of the important problems in the current Semantic Web research. Ontology evolution approaches suffer from intrinsic information loss. The current study deals with the problem of minimizing information loss during iterative ontology update. It provides a framework combining the ontology evolution tasks with context-based reasoning method. Using this framework, all the solutions obtained in an ontology evolution task, which are partly redundant, can be described as contexts and compactly represented in a single labelled ontology. Further updates and reasoning can be done on this ontology efficiently.

We propose new approaches to do ontology contraction, ontology expansion and ontology revision using context-based reasoning method. These approaches show how ontology evolution can be done with minimum information loss by using all the solutions obtained at every stage of the evolution task, efficiently using our framework. We also propose theoretical
methods to extract the optimal solutions from the ontology obtained as the result of iterative ontology update. We show that, optimal solutions in the intermediate stages of iterative ontology update may not be the optimal solutions in the result obtained at the end of all the stages. We handle various notions of an optimal solution: the solution which
changes the semantics of the ontology as minimum as possible, the solution which contains some of the intended consequences, the solution which has the most original axioms of the ontology. We also propose theoretical methods to do context-based reasoning over the optimal solutions extracted.

We present the first prototypical implementation of the theoretical methods developed in this thesis and show the preliminary results of our implementation on the real-world ontologies.
}}

Datei:Master Thesis Aparna.pdf

2015-04-24T11:24:57Z

Rafael Penaloza:

Rafael Peñaloza Nyssen

2015-04-20T08:11:32Z

Rafael Penaloza:

{{Mitarbeiter
|Vorname=Rafael
|Nachname=Peñaloza Nyssen
|Akademischer Titel=Dr. rer. nat.
|Forschungsgruppe=Automatentheorie
|Stellung=Wissenschaftlicher Mitarbeiter
|Ehemaliger=0
|Telefon=+49 (0) 351 463 38351
|Fax=+49 (0) 351 463 37959
|Email=penaloza@tcs.inf.tu-dresden.de
|Raum=APB 3024
|Bild=Rpn.jpg
|Info=I am a scientific researcher at TU Dresden, and member of the [[Center for Advancing Electronics Dresden]].

My work focuses mainly on non-standard semantics and inferences for Description Logics and other logical approaches.

I also like to take [http://flic.kr/rpenalozan pictures].

Since April 2015, I have joined the KRDB Research Centre in the Free University of Bozen-Bolzano. Visit [http://www.inf.unibz.it/~penaloza my new webpage].
|Info EN=I am a scientific researcher at TU Dresden, and member of the [[Center for Advancing Electronics Dresden]].

My work focuses mainly on non-standard semantics and inferences for Description Logics and other logical approaches.

I also like to take [http://flic.kr/rpenalozan pictures].

Since April 2015, I have joined the KRDB Research Centre in the Free University of Bozen-Bolzano. Visit [http://www.inf.unibz.it/~penaloza my new webpage].
|DBLP=http://www.informatik.uni-trier.de/~ley/pers/hy/p/Pe=ntilde=aloza:Rafael.html
|Google Scholar=http://scholar.google.de/citations?user=z734fQQAAAAJ&hl=en
|Alternative URI=http://lat.inf.tu-dresden.de/~penaloza/
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=1
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Beschreibungslogiken
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen
}}

Techreport3010/en

2015-04-20T07:56:54Z

Rafael Penaloza: Page created automatically by parser function on page Techreport3010

#REDIRECT [[Techreport3010]]

Techreport3010

2015-04-20T07:56:53Z

Rafael Penaloza: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Norbert |ErsterAutorNachname=Manthey |FurtherAuthors=Rafael Peñaloza; }} {{Techreport |Title=Exploiting SAT Te…“

{{Publikation Erster Autor
|ErsterAutorVorname=Norbert
|ErsterAutorNachname=Manthey
|FurtherAuthors=Rafael Peñaloza;
}}
{{Techreport
|Title=Exploiting SAT Technology for Axiom Pinpointing
|Year=2015
|Institution=Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden
|Archivierungsnummer=15-05
}}
{{Publikation Details
|Abstract=Axiom pinpointing is the task of identifying the axioms that are responsible for a consequence.
It is a fundamental step for tasks like ontology revision and context-based reasoning,
among many others.
One known approach is to reduce axiom pinpointing to an enumeration problem over a set of
Horn clauses.
We introduce the new SATPin system, which combines techniques from axiom pinpointing and
minimal unsatisfiable subformula enumeration, and exploits the numerous optimizations developed
for SAT solving in the last two decades.
By adding a novel optimization method the runtime can improve by a factor up to 4300.
Our experiments show that SATPin can find all the MinAs of large biomedical ontologies
an order of magnitude faster than existing tools.
|Download=TR15-05.pdf
|Link=http://goo.gl/CDkvEb
|Forschungsgruppe=Automatentheorie, Wissensverarbeitung
}}

Datei:TR15-05.pdf

2015-04-20T07:55:15Z

Rafael Penaloza:

David Toman

2014-11-26T12:12:03Z

Rafael Penaloza:

{{Mitarbeiter
|Vorname=David
|Nachname=Toman
|Akademischer Titel=Prof. Dr.
|Forschungsgruppe=Automatentheorie
|Stellung=Gastwissenschaftler
|Ehemaliger=1
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=0
}}

Rafael Peñaloza Nyssen

2014-11-11T10:24:56Z

Rafael Penaloza:

{{Mitarbeiter
|Vorname=Rafael
|Nachname=Peñaloza Nyssen
|Akademischer Titel=Dr. rer. nat.
|Forschungsgruppe=Automatentheorie
|Stellung=Wissenschaftlicher Mitarbeiter
|Ehemaliger=0
|Telefon=+49 (0) 351 463 38351
|Fax=+49 (0) 351 463 37959
|Email=penaloza@tcs.inf.tu-dresden.de
|Raum=INF 3024
|Bild=Rpn.jpg
|Info=I am a scientific researcher at TU Dresden, and member of the [[Center for Advancing Electronics Dresden]].

My work focuses mainly on non-standard semantics and inferences for Description Logics and other logical approaches.

I also like to take [http://flic.kr/rpenalozan pictures].
|Info EN=I am a scientific researcher at TU Dresden, and member of the [[Center for Advancing Electronics Dresden]].

My work focuses mainly on non-standard semantics and inferences for Description Logics and other logical approaches.

I also like to take [http://flic.kr/rpenalozan pictures].
|DBLP=http://www.informatik.uni-trier.de/~ley/pers/hy/p/Pe=ntilde=aloza:Rafael.html
|Google Scholar=http://scholar.google.de/citations?user=z734fQQAAAAJ&hl=en
|Alternative URI=http://lat.inf.tu-dresden.de/~penaloza/
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=1
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Beschreibungslogiken
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen
}}

Rafael Peñaloza Nyssen

2014-11-11T10:24:15Z

Rafael Penaloza:

{{Mitarbeiter
|Vorname=Rafael
|Nachname=Peñaloza Nyssen
|Akademischer Titel=Dr. rer. nat.
|Forschungsgruppe=Automatentheorie
|Stellung=Wissenschaftlicher Mitarbeiter
|Ehemaliger=0
|Telefon=+49 (0) 351 463 38351
|Fax=+49 (0) 351 463 37959
|Email=penaloza@tcs.inf.tu-dresden.de
|Raum=INF 3024
|Bild=Rpn.jpg
|Info=I am a scientific researcher at TU Dresden, and member of the [[Center for Advancing Electronics Dresden]].

My work focuses mainly on non-standard semantics and inferences for Description Logics and other logical approaches.

I also like to take [http://flic.kr/rpenalozan pictures].
|Info EN=I am a scientific researcher at TU Dresden, and member of the [Center for Advancing Electronics Dresden].

My work focuses mainly on non-standard semantics and inferences for Description Logics and other logical approaches.

I also like to take [http://flic.kr/rpenalozan pictures].
|DBLP=http://www.informatik.uni-trier.de/~ley/pers/hy/p/Pe=ntilde=aloza:Rafael.html
|Google Scholar=http://scholar.google.de/citations?user=z734fQQAAAAJ&hl=en
|Alternative URI=http://lat.inf.tu-dresden.de/~penaloza/
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=1
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Beschreibungslogiken
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen
}}

Rafael Peñaloza Nyssen

2014-11-11T10:23:53Z

Rafael Penaloza:

{{Mitarbeiter
|Vorname=Rafael
|Nachname=Peñaloza Nyssen
|Akademischer Titel=Dr. rer. nat.
|Forschungsgruppe=Automatentheorie
|Stellung=Wissenschaftlicher Mitarbeiter
|Ehemaliger=0
|Telefon=+49 (0) 351 463 38351
|Fax=+49 (0) 351 463 37959
|Email=penaloza@tcs.inf.tu-dresden.de
|Raum=INF 3024
|Bild=Rpn.jpg
|Info=I am a scientific researcher at TU Dresden, and member of the [Center for Advancing Electronics Dresden].

My work focuses mainly on non-standard semantics and inferences for Description Logics and other logical approaches.

I also like to take [http://flic.kr/rpenalozan pictures].
|Info EN=I am a scientific researcher at TU Dresden, and member of the [Center for Advancing Electronics Dresden].

My work focuses mainly on non-standard semantics and inferences for Description Logics and other logical approaches.

I also like to take [http://flic.kr/rpenalozan pictures].
|DBLP=http://www.informatik.uni-trier.de/~ley/pers/hy/p/Pe=ntilde=aloza:Rafael.html
|Google Scholar=http://scholar.google.de/citations?user=z734fQQAAAAJ&hl=en
|Alternative URI=http://lat.inf.tu-dresden.de/~penaloza/
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=1
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Beschreibungslogiken
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen
}}

Rafael Peñaloza Nyssen

2014-11-07T08:52:23Z

Rafael Penaloza:

Datei:Rpn.jpg

2014-11-05T11:06:02Z

Rafael Penaloza: Rafael Penaloza lud eine neue Version von „Datei:Rpn.jpg“ hoch

Introduction to Complexity Theory (WS2014/en

2014-11-04T12:19:16Z

Rafael Penaloza: Page created automatically by parser function on page Introduction to Complexity Theory (WS2014

Introduction to Complexity Theory (WS2014)

2014-11-04T12:19:16Z

Rafael Penaloza: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Introduction to Complexity Theory |Research group=Automatentheorie |Lecturers=Rafael Peñaloza Nyssen; |Tutors=Marcel Lippmann; |Term=WS |…“

{{Vorlesung
|Title=Introduction to Complexity Theory
|Research group=Automatentheorie
|Lecturers=Rafael Peñaloza Nyssen;
|Tutors=Marcel Lippmann;
|Term=WS
|Year=2014
|Module=INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, MCL-MV
|SWSLecture=2
|SWSExercise=1
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=Complexity Theory studies the computational properties of decision problems. In this course, we introduce some of the most important notions of complexity theory. We define the basic complexity classes (P, NP, PSpace, etc.) and provide tools for showing that a problem belongs to, or is as hard as any problem in these classes.
The course is aimed to students with little or no knowledge of the topic.
|Literature=*Christos H. Papadimitriou. Computational Complexity, Addison Wesley, 1994.
*Michael Sipser. Introduction to the Theory of Computation, PWS, 1997.

}}

Rafael Peñaloza Nyssen

2014-11-04T08:12:25Z

Rafael Penaloza:

Rafael Peñaloza Nyssen

2014-11-03T17:09:11Z

Rafael Penaloza:

Datei:Rpn.jpg

2014-11-03T17:09:02Z

Rafael Penaloza:

Rafael Penaloza/en

2014-11-03T16:47:02Z

Rafael Penaloza: Weiterleitung nach Rafael Peñaloza Nyssen/en erstellt

#REDIRECT [[Rafael Peñaloza Nyssen/en]]

Rafael Penaloza/en

2014-11-03T16:45:21Z

Rafael Penaloza:

{#REDIRECT Rafael Peñaloza Nyssen/en}

Rafael Penaloza/en

2014-11-03T16:44:01Z

Rafael Penaloza: Die Seite wurde neu angelegt: „#REDIRECT Rafael Peñaloza Nyssen/en“

#REDIRECT Rafael Peñaloza Nyssen/en

Rafael Peñaloza Nyssen

2014-11-03T12:52:42Z

Rafael Penaloza:

Rafael Peñaloza Nyssen

2014-11-03T12:24:41Z

Rafael Penaloza:

Rafael Peñaloza Nyssen/Abschlussarbeiten/en

2014-11-03T12:19:48Z

Rafael Penaloza: Page created automatically by parser function on page Rafael Peñaloza Nyssen

{{Vorlage:Abschlussarbeiten nach Betreuer|{{#rel2abs:../..}}|langsuffix=/en}}

Rafael Peñaloza Nyssen/Abschlussarbeiten

2014-11-03T12:19:48Z

Rafael Penaloza: Page created automatically by parser function on page Rafael Peñaloza Nyssen

{{Vorlage:Abschlussarbeiten nach Betreuer|{{#rel2abs:..}}}}

Rafael Peñaloza Nyssen

2014-11-03T12:19:47Z

Rafael Penaloza: