TUD Logo

 Search 
TUD Home » ... » Institutes » Institute of Artificial Intelligence » Knowledge Representation and Reasoning » Publications

Faculty of Computer Science

Publications and Technical Reports
in Year 2005

1
Sebastian Bader, Artur S. d'Avila Garcez, and Pascal Hitzler.
Computing First-Order Logic Programs by Fibring Artificial Neural Networks.
In I. Russell and Z. Markov, editors, Proceedings of the 18th International Florida Artificial Intelligence Research Symposium Conference, FLAIRS05, Clearwater Beach, Florida, May 2005, pages 314-319. AAAI Press, 2005.
Download: PDF file
© AAAI.

2
Sebastian Bader and Pascal Hitzler.
Dimensions of neural-symbolic integration -- a structured survey.
In S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods, editors, We Will Show Them: Essays in Honour of Dov Gabbay, volume 1, pages 167-194. King's College Publications, JUL 2005.
Download: PDF file.

3
Sebastian Bader, Pascal Hitzler, and Andreas Witzel.
Integrating First-Order Logic Programs and Connectionist Systems -- A Constructive Approach.
In Artur S. d'Avila Garcez, Jeff Elman, and Pascal Hitzler, editors, Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, 2005.
Download: PDF file.

4
J. Bohg, R. Kahle, and A. M. Pinto.
International Tele-Teaching - A Progress Report.
In Workshop on e-Learning, Leipzig, 2005.
Download: PDF file. To Appear.

5
P. Bruscoli, F. Lamarche, and C. Stewart, editors.
Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP 2005). Technische Universität Dresden, 2005.
ISSN 1430-211X, Download: PDF file.

6
Paola Bruscoli and Alessio Guglielmi.
On Structuring Proof Search for First Order Linear Logic.
Technical Report WV-03-10, Technische Universität Dresden, 2003.
To appear in Theoretical Computer Science. Download: PDF file.

7
T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, and D. Wagner, editors.
Ausgezeichnete Informatikdissertationen 2004, volume D-5 of Lecture Notes in Informatics.
German Informatics Society, 2005.

8
Alessio Guglielmi.
The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference.
In P. Bruscoli, F. Lamarche, and C. Stewart, editors, Structures and Deduction, pages 53-68. Technische Universität Dresden, 2005.
ISSN 1430-211X, Download: PDF file.

9
Pascal Hitzler, Sebastian Bader, and Artur S. d'Avila Garcez.
Ontology Learning as a Use-Case for Neural-Symbolic Integration --position paper.
In Proceedings of the IJCAI-05 workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, August 2005, 2005.
Download: PDF file.

10
Pascal Hitzler and Sibylle Schwarz.
Level mapping characterizations of selector generated models for logic programs.
In Proceedings of the 19th Workshop on (Constraint) Logic Programming, W(C)LP 2005, Ulm, Germany, February 2005, 2005.
Download: PS.GZ file (was Techical Report WV-04-04).

11
S. Hölldobler, N. H. Nga, and T. D. Khang.
The Fuzzy Description Logic $\mathcal{ALC}_{FLH}$.
In A.P. del Pobil, editor, Proceedings of the Ninth IASTED International Conference on Artificial Intelligence and Soft Computing, pages 99-104. ACTA Press, 2005.

12
S. Hölldobler, N. H. Nga, and T. D. Khang.
The Fuzzy Description Logic $\mathcal{ALC}_{FLH}$.
In Proceedings of the Description Logic Workshop, CEUR-Workshop Proceedings Volume 147, 2005.

13
Ozan Kahramanogullari.
Towards Planning as Concurrency.
In M.H.Hamza, editor, Proceedings of the IASTED International Conference on Artificial Intellgence and Applications, AIA 2005, February 14-16, pages 387-394, Innsbruck, Austria, 2005. Acta Press.

14
Ozan Kahramanogullari.
System BV is NP-complete.
In R. de Queiroz, A. Macintyre, and G. Bittencourt, editors, Proceedings of the 12th Workshop on Logic, Language, Information and Computation (WoLLIC 2005), July 2005, volume 143 of Electronic Notes in Theoretical Computer Science, pages 87-99, Florianapolis, Brazil, 2006. Elsevier.

15
Ozan Kahramanogullari, Pierre-Etienne Moreau, and Antoine Reilles.
Implementing Deep Inference in TOM.
In P. Bruscoli, F. Lamarche, and C. Stewart, editors, Structures and Deduction, pages 158-172. Technische Universität Dresden, 2005.
ISSN 1430-211X, Download: PDF file.

16
E. Karabaev and O. Skvortsova.
A Heuristic Search Algorithm for Solving First-Order MDPs.
In F. Bacchus and T. Jaakkola, editors, Proceedings of the Conference on Uncertainty in Artificial Intelligence (UAI'2005), pages 292-299, Edinburgh, Scotland, July 2005. AUAI Press.
ISBN-0-9749039-1-4, Download: PDF file.

17
Jens Lehmann, Sebastian Bader, and Pascal Hitzler.
Extracting Reduced Logic Programs from Artificial Neural Networks.
In Artur S. d'Avila Garcez, Jeff Elman, and Pascal Hitzler, editors, Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, 2005.
Download: PDF file.

18
T. Pietzsch and A. Großmann.
A Method of Estimating Oriented Surface Elements from Stereo Images.
In Proceedings of the British Machine Vision Conference (BMVC), volume 1, pages 320-329, Oxford, UK, Septemper 2005.
ISBN-1-901725-29-4, Download: PDF file.

19
Manfred Schramm and Bertram Fronhöfer.
Completing Incomplete Bayesian Networks.
In Gabriele Kern-Isberner, Wilhelm Rödder, and Friedhelm Kulmann, editors, Conditionals, Information, and Inference: International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers, number 3301 in LNAI, pages 200-218. Springer, 2005.
ISBN: 3-540-25332-7.