Literatur zu Künstliche Intelligenz, W. Ertel

Künstliche Intelligenz             Wolfgang Ertel



 

Literatur

Ada75
E.W. Adams.
The Logic of Conditionals, Synthese Library Bd. 86.
D. Reidel Publishing Company, (1975).

Alp04
E. Alpaydin.
Introduction to Machine Learning.
MIT Press, (2004).

APR90
J. Anderson, A. Pellionisz und E. Rosenfeld.
Neurocomputing (vol. 2): directions for research.
MIT Press, Cambridge, MA, USA (1990).

AR88
J. Anderson und E. Rosenfeld.
Neurocomputing: Foundations of Research.
MIT Press, Cambridge, MA (1988).
Sammlung von Originalarbeiten.

Bar98
R. Bartak.
Online Guide to Constraint Programming.
http://kti.ms.mff.cuni.cz/~bartak/constraints, (1998).

BB92
K.H. Bläsius und H.-J. Bürckert.
Deduktionssysteme.
Oldenbourg, (1992).

Bel57
R.E. Bellman.
Dynamic Programming.
Princeton University Press, (1957).

Ben88
Hans Joachim Bentz.
Ein Gehirn für den PC.
c't (1988) 10, 84-96.

Ber89
M. Berrondo.
Fallgruben für Kopffüssler.
Fischer Taschenbuch Nr. 8703, (1989).

BFOS84
L. Breiman, J. Friedman, R. A. Olshen und C. J. Stone.
Classification and regression trees.
Wadsworth, (1984).

BHW89
K. Burg, H. Haf und F. Wille.
Höhere Mathematik für Ingenieure, Band 1: Analysis.
Teubner-Verlag, Stuttgart, (1989).

Bib92
W. Bibel.
Deduktion: Automatisierung der Logik, Handbuch der Informatik Bd. 6.2.
Oldenbourg, (1992).

BKI00
C. Beierle und G. Kern-Isberner.
Methoden wissensbasierter Systeme.
Vieweg, (2000).

Bra84
V. Braitenberg.
Vehicles - Experiments in Synthetic Psychology.
MIT Press, (1984).

Bra86
I. Bratko.
PROLOG: Programmierung für Künstliche Intelligenz.
Addison-Wesley, (1986).

Bra01
B. Brabec.
Computergestützte regionale Lawinenprognose.
Dissertation, ETH Zürich, 2001.

Bri91
Encyclopedia Britannica.
Encyclopedia Britannica Verlag, London (1991).

Bur98
C. J. Burges.
A Tutorial on Support Vector Machines for Pattern Recognition.
Data Min. Knowl. Discov. 2 (1998) 2, 121-167.

CAD
CADE: conference on automated deduction.
http://www.cadeconference.org.

Che83
P. Cheeseman.
A Method for Computing Generalised Bayesian Probability Values for Expert Systems.
in Proc. of the 8th Intl. Joint Conf. on Artificial Intelligence (IJCAI-83), (1983).

Che85
P. Cheeseman.
In Defense of Probability.
in Proc. of the 9th Intl. Joint Conf. on Artificial Intelligence (IJCAI-85), (1985).

CL73
C. L. Chang und R. C. Lee.
Symbolic Logic and Mechanical Theorem Proving.
Academic Press, Orlando, Florida (1973).

CLR90
T. Cormen, Ch. Leiserson und R. Rivest.
Introduction to Algorithms.
MIT Press, Cambridge, Mass (1990).

CM94
W. F. Clocksin und C. S. Mellish.
Programming in Prolog, 4. Aufl.
Springer, Berlin, Heidelberg, New York (1994).

Coz98
F.G. Cozman.
JavaBayes, Bayesian Networks in Java, (1998).
http://www.cs.cmu.edu/~javabayes.

Das05
J. Dassow.
Logik für Informatiker.
Teubner Verlag, (2005).

dD91
F.T. de Dombal.
Diagnosis of Acute Abdominal Pain.
Churchill Livingstone, (1991).

dDLS+72
F.T. de Dombal, D.J. Leaper, J.R. Staniland, A.P. McCann und J.C. Horrocks.
Computer aided Diagnosis of acute Abdominal Pain.
British Medical Journal 2 (1972), 9-13.

DH73
R.O. Duda und P.E. Hart.
Pattern Classification and Scene Analysis.
Wiley, (1973).
Klassiker zur Bayes-Decision-Theorie.

DHS01
R.O. Duda, P.E. Hart und D.G. Stork.
Pattern Classification.
Wiley, (2001).
Neuauflage des Klassikers [DH73].

Dia04
D. Diaz.
GNU PROLOG.
Universität Paris, 2004.
Aufl. 1.7, für GNU Prolog version 1.2.18, http://gnu-prolog.inria.fr.

DNM98
C.L. Blake D.J. Newman, S. Hettich und C.J. Merz.
UCI Repository of machine learning databases, (1998).

Ede91
E. Eder.
Relative Complexities of First Order Calculi.
Vieweg Verlag, (1991).

Elk93
C. Elkan.
The Paradoxical Success of Fuzzy Logic.
in Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93). MIT Press (1993), S. 698-703.

Ert93
W. Ertel.
Parallele Suche mit randomisiertem Wettbewerb in Inferenzsystemen, DISKI Bd. 25.
Infix-Verlag, St. Augustin (1993).
Dissertation, Technische Universität München.

Ert07
W. Ertel.
Künstliche Intelligenz: Homepage zum Buch.
http://www.hs-weingarten.de/~ertel/kibuch, (2007).
Homepage zu diesem Buch mit Arbeitsmaterialien, Demoprogrammen, Links, Literaturverzeichnis, Errata, etc.

ES99
W. Ertel und M. Schramm.
Combining Data and Knowledge by MaxEnt-Optimization of Probability Distributions.
in PKDD'99 (3rd European Conference on Principles and Practice of Knowledge Discovery in Databases), LNCS Bd. 1704, Springer Verlag, Prague (1999), S. 323-328.

ESS89
W. Ertel, J. Schumann und Ch. Suttner.
Learning Heuristics for a Theorem Prover using Back Propagation.
in J. Retti und K. Leidlmair (Hrsg.), 5. Österreichische Artificial-Intelligence-Tagung. Informatik-Fachberichte 208, Springer-Verlag, Berlin, Heidelberg (1989), S. 87-95.

Fra05
Computer Chess Programming Theory.
http://www.frayn.net/beowulf/theory.html, (2005).

Fre97
E. Freuder.
In Pursuit of the Holy Grail.
Constraints 2 (1997) 1, 57-61.

FS97
B. Fischer und J. Schumann.
SETHEO Goes Software Engineering: Application of ATP to Software Reuse.
in Conference on Automated Deduction (CADE 97). Springer (1997), S. 65-68.
http://ase.arc.nasa.gov/people/schumann/publications/papers/cade97-reuse.html.

GRS03
G. Görz, C.-R. Rollinger und J. Schneeberger (Hrsg.).
Handbuch der Künstlichen Intelligenz.
Oldenbourg Verlag, (2003).

GT96
M. Greiner und G. Tinhofer.
Stochastik für Studienanfänger der Informatik.
Carl Hanser Verlag, München, Wien (1996).

Gue02
G. Guerrerio.
Spektrum der Wissenschaft, Spezial 1/2002: Kurt Gödel.
Spektrum Verlag, Heidelberg (2002).

Göd31a
K. Gödel.
Diskussion zur Grundlegung der Mathematik, Erkenntnis 2.
Monatsheft für Mathematik und Physik (1931) 32, 147-148.

Göd31b
K. Gödel.
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.
Monatsheft für Mathematik und Physik (1931) 38, 173-198.
Englische Version: http://home.ddc.net/ygg/etext/godel.

HKP91
J. Hertz, A. Krogh und R. Palmer.
Introduction to the theory of neural computation.
Addison Wesley, (1991).

Hon94
B. Hontschik.
Theorie und Praxis der Appendektomie.
Mabuse Verlag, (1994).

Hop82
J.J. Hopfield.
Neural networks and physical systems with emergent collective computational abilities.
Proc. Natl. Acad. Sci. USA 79 (April 1982), 2554-2558.
Wiederabdruck in [AR88] S. 460-464.

HT85
J.J. Hopfield und D.W. Tank.
``Neural'' Computation of Decisions in Optimization Problems.
Biological Cybernetics (1985) 52, 141-152.
Springer.

Hüb03
G. Hübner.
Stochastik.
Vieweg Verlag, (2003).

Jay57
E. T. Jaynes.
Information Theory and Statistical Mechanics.
Physical Review (1957).

Jay03
E.T. Jaynes.
Probability Theory: The Logic of Science.
Cambridge University Press, (2003).

Jen01
F.V. Jensen.
Bayesian networks and decision graphs.
Springer-Verlag, (2001).

Jor99
Michael I. Jordan (Hrsg.).
Learning in graphical models.
MIT Press, Cambridge, MA, USA (1999).

Jäh05
B. Jähne.
Digitale Bildverarbeitung.
Springer, (2005).

Kal01
J.A. Kalman.
Automated Reasoning with OTTER.
Rinton Press, (2001).
http://www-unix.mcs.anl.gov/AR/otter/index.html.

Kan89
Th. Kane.
Maximum Entropy in Nilsson's probabilistic Logic.
in Proc. of the 11th Intl. Joint Conf. on Artificial Intelligence (IJCAI-89), (1989).

KK92
J.N. Kapur und H.K. Kesavan.
Entropy Optimization Principles with Applications.
Academic Press, (1992).

KLM96
L.P. Kaelbling, M.L. Littman und A.P. Moore.
Reinforcement Learning: A Survey.
Journal of Artificial Intelligence Research 4 (1996), 237-285.
http://www-2.cs.cmu.edu/afs/cs/project/jair/pub/volume4/kaelbl ing96a.pdf.

KMK97
H. Kimura, K. Miyazaki und S. Kobayashi.
Reinforcement Learning in POMDPs with Function Approximation.
in 14th International Conference on Machine Learning. Morgan Kaufmann Publishers (1997), S. 152-160.
http://www.fe.dis.titech.ac.jp/~gen/robot/robodemo.html.

Koh72
T. Kohonen.
Correlation matrix memories.
IEEE Transactions on Computers (1972) C-21, 353-359.
Wiederabdruck in [AR88] S. 171-174.

Kre06
Ch. Kreitz.
Formale Methoden der Künstlichen Intelligenz.
Künstliche Intelligenz (2006) 4, 22-28.

Lar00
F.D. Laramée.
Chess Programming, Part 1-6.
http://www.gamedev.net/reference/programming/features/chess1, (2000).

Le999
LEXMED - lernfähiges Expertensystem für medizinische Diagnose.
www.lexmed.de, (1999).

Let03
R. Letz.
Praktikum Beweiser.
http://www4.in.tum.de/~letz/PRAKTIKUM/al-ss05.pdf, (2003).

Lif89
V. Lifschitz.
Benchmark Problems for formal Non-Monotonic Reasoning.
in Reinfrank et al (Hrsg.), Non-Monotonic Reasoning: 2nd International Workshop, LNAI Bd. 346. Springer (1989), S. 202-219.

LR02
M. Lauer und M. Riedmiller.
Generalisation in Reinforcement Learning and the Use of Obse rvation-Based Learning.
in Gabriella Kokai und Jens Zeidler (Hrsg.), Proceedings of the FGML Workshop 2002, (2002), S. 100-107.
http://amy.informatik.uos.de/riedmiller/publications/lau er.riedml.fgml02.ps.gz.

LSBB92
R. Letz, J. Schumann, S. Bayerl und W. Bibel.
SETHEO: A High-Performance Theorem Prover.
Journal of Automated Reasoning (1992) 8, 183-212.
http://www4.informatik.tu-muenchen.de/~letz/setheo.

McC
W. McCune.
Automated Deduction Systems and Groups.
http://www-unix.mcs.anl.gov/AR/others.html.
siehe auch http://www-formal.stanford.edu/clt/ARS/systems.html.

McD82
J. McDermott.
R1: A Rule-Based Configurer of Computer Systems.
Artificial Intelligence 19 (1982), 39-88.

MDBM00
G. Melancon, I. Dutour und G. Bousque-Melou.
Random Generation of Dags for Graph Drawing.
Technischer Bericht INS-R0005, Dutch Research Center for Mathematical and Computer Science (CWI), (2000).
http://ftp.cwi.nl/CWIreports/INS/INS-R0005.pdf.

Mit97
T. Mitchell.
Machine Learning.
McGraw Hill, (1997).
http://www-2.cs.cmu.edu/~tom/mlbook.html.

MP69
M. Minsky und S. Papert.
Perceptrons.
MIT Press, Cambridge, MA, (1969).

Nil86
N. J. Nilsson.
Probabilistic Logic.
Artificial Intelligence (1986) 28, 71-87.

Nil98
N. Nilsson.
Artificial Intelligence - A New Synthesis.
Morgan Kaufmann, (1998).

NPW02
T. Nipkow, L.C. Paulson und M. Wenzel.
Isabelle/HOL -- A Proof Assistant for Higher-Order Logic, LNCS Bd. 2283.
Springer, (2002).
http://www.cl.cam.ac.uk/Research/HVG/Isabelle.

NS61
A. Newell und H. A. Simon.
GPS, A Program that Simulates Human Thought.
in H. Billing (Hrsg.), Lernende Automaten. Oldenbourg, München (1961), S. 109-124.

NSS83
A. Newell, J. C. Shaw und H. A. Simon.
Empirical Explorations with the Logic Theory Machine: A Case Study in Heuristics.
in J. Siekmann und G. Wrightson (Hrsg.), Automation of Reasoning 1: Classical Papers on Computational Logic 1957-1966. Springer, Berlin, Heidelberg (1983), S. 49-73.
Erstpublikation: 1957.

OFY+95
C. Ohmann, C. Franke, Q. Yang, M. Margulies, M. Chan, van P.J. Elk, F.T. de Dombal und H.D. Röher.
Diagnosescore für akute Appendizitis.
Der Chirurg 66 (1995), 135-141.

OMYL96
C. Ohmann, V. Moustakis, Q. Yang und K. Lang.
Evaluation of automatic knowledge acquisition techniques in the diagnosis of acute abdominal pain.
Art. Intelligence in Medicine 8 (1996), 23-36.

OPB94
C. Ohmann, C. Platen und G. Belenky.
Computerunterstütze Diagnose bei akuten Bauchschmerzen.
Chirurg 63 (1994), 113-123.

Pal80
G. Palm.
On Associative Memory.
Biological Cybernetics 36 (1980), 19-31.

Pal91
G. Palm.
Memory capacities of local rules for synaptic modification.
Concepts in Neuroscience 2 (1991) 1, 97-128.
MPI Tübingen.

PB06
T. Pellegrini und A. Blumauer.
Semantic Web: Wege zur vernetzten Wissensgesellschaft.
Springer, (2006).

Pea84
J. Pearl.
Heuristics, Intelligent Search Strategies for Computer Problem Solving.
Addison-Wesley Publishing Company, (1984).

Pea88
J. Pearl.
Probabilistic Reasoning in Intelligent Systems. Networks of Plausible Inference.
Morgan Kaufmann, (1988).

Pól95
George Pólya.
Schule des Denkens -- Vom Lösen mathematischer Probleme.
Francke Verlag, (1995).

PVS03
J. Peters, S. Vijayakumar und S. Schaal.
Reinforcement learning for humanoid robotics.
in Humanoids2003, Third IEEE-RAS International Conference on Humanoid Robots, Karlsruhe (2003).

Qui93
J. Ross Quinlan.
C4.5: Programs for Machine Learning.
Morgan Kaufmann Publishers, (1993).
C4.5 Download: http://www.rulequest.com/Personal, C5.0 Bestellung: http://www.rulequest.com.

Rau96
W. Rautenberg.
Einführung in die Mathematische Logik.
Vieweg Verlag, (1996).

RGH+06
M. Riedmiller, T. Gabel, R. Hafner, S. Lange und M. Lauer.
Die Brainstormers: Entwurfsprinzipien lernfähiger autonomer Roboter.
Informatik-Spektrum 29 (2006) 3, 175 - 190.

RHR86
D.E. Rumelhart, G.E. Hinton und Williams R.J.
Learning Internal Representations by Error Propagation.
in [RM86], (1986).

Ric83
E. Rich.
Artificial Intelligence.
McGraw-Hill, (1983).

Ric03
M. Richter.
Fallbasiertes Schließen.
in [GRS03], Kap. 11, S. 407-430.

RM86
D. Rumelhart und J. McClelland.
Parallel Distributed Processing, Bd. 1.
MIT Press, (1986).

RM96
W. Rödder und C.-H. Meyer.
Coherent Knowledge Processing at Maximum Entropy by SPIRIT.
in KI-96 (German national conference on AI), Dresden, (1996).

RMS91
H. Ritter, T. Martinez und K. Schulten.
Neuronale Netze.
Addison Wesley, (1991).

RN03
S. Russell und P. Norvig.
Artificial Intelligence: A Modern Approach, 2. Aufl.
Prentice Hall, (2003).
1. Auflage 1995, deutsche Übersetzung der 2. Auflage 2004 bei Pearson Studium, http://aima.cs.berkeley.edu.

Roba
RoboCup Official Site.
http://www.robocup.org.

Robb
The RoboCup Soccer Simulator.
http://sserver.sourceforge.net.

Rob65
J.A. Robinson.
A machine-oriented logic based on the resolution principle.
Journal of the ACM 12 (1965) 1, 23-41.

Roj93
R. Rojas.
Theorie der neuronalen Netze.
Springer, (1993).

Ros58
F. Rosenblatt.
The perceptron : a probabilistic model for information storage and organization in the brain.
Psychological Reviews 65 (1958), 386-408.
Wiederabdruck in [AR88], S. 92-114.

Sam59
A.L. Samuel.
Some Studies in Machine Learning Using the Game of Checkers.
IBM Journal 1 (1959) 3, 210-229.

SB98
R. Sutton und A. Barto.
Reinforcement Learning.
MIT Press, (1998).
http://www.cs.ualberta.ca/~sutton/book/the-book.html.

SB04
J. Siekmann und Ch. Benzmüller.
Omega: Computer Supported Mathematics.
in KI 2004: Advances in Artificial Intelligence, LNAI 3238. Springer Verlag (2004), S. 3-28.
http://www.ags.uni-sb.de/~omega.

Sch96
M. Schramm.
Indifferenz, Unabhängigkeit und maximale Entropie: Eine wahrscheinlichkeitstheoretische Semantik für Nicht-Monotones Schließen.
Dissertationen zur Informatik Nr. 4. CS-Press, München (1996).

Sch01
J. Schumann.
Automated Theorem Proving in Software Engineering.
Springer Verlag, (2001).

Sch02
S. Schulz.
E - A Brainiac Theorem Prover.
Journal of AI Communications 15 (2002) 2/3, 111-126.
http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html.

Sch04
A. Schwartz.
SpamAssassin.
O'Reilly, (2004).
Spamassassin-Homepage: http://spamassassin.apache.org.

SE90
Ch. Suttner und W. Ertel.
Automatic Acquisition of Search Guiding Heuristics.
in 10th Int. Conf. on Automated Deduction. Springer-Verlag, LNAI 449 (1990), S. 470-484.

SE00
M. Schramm und W. Ertel.
Reasoning with Probabilities and Maximum Entropy: The System PIT and its Application in LEXMED.
in K. Inderfurth et al (Hrsg.), Operations Research Proceeedings (SOR'99). Springer Verlag (2000), S. 274-280.

Sho76
E.H. Shortliffe.
Computer-based medical consultations, MYCIN.
North-Holland, New York (1976).

Spe03
Spektrum der Wissenschaft, Spezial 5/2003: Intelligenz.
Spektrum Verlag, Heidelberg (2003).

Spe04
Spektrum der Wissenschaft, Spezial 1/2004: Bewusstsein.
Spektrum Verlag, Heidelberg (2004).

SR86
T.J. Sejnowski und C.R. Rosenberg.
NETtalk: a parallel network that learns to read aloud.
Technischer Bericht JHU/EECS-86/01, The John Hopkins University Electrical Engineering and Computer Science Technical Report, (1986).
Wiederabdruck in [AR88] S. 661-672.

SS02
S. Schölkopf und A. Smola.
Learning with Kernels: Support Vector Machines, Regularization, Optimization, and Beyond.
MIT Press, (2002).

SS06
G. Sutcliffe und C. Suttner.
The State of CASC.
AI Communications 19 (2006) 1, 35-48.
CASC-Homepage: http://www.cs.miami.edu/~tptp/CASC.

SSK05
P. Stone, R.S. Sutton und G. Kuhlmann.
Reinforcement Learning for RoboCup-Soccer Keepaway.
Adaptive Behavior (2005).
To appear., http://www.cs.utexas.edu/~pstone/Papers/bib2html-links/AB05.pdf.

SW76
C.E. Shannon und W. Weaver.
Mathematische Grundlagen der Informationstheorie.
Oldenbourg Verlag, (1976).

Tok06
M. Tokic.
Entwicklung eines Lernfähigen Laufroboters.
Diplomarbeit Hochschule Ravensburg-Weingarten, (2006).
Inklusive Simulationssoftware verfügbar auf http://www.hs-weingarten.de/~ertel/kibuch.

Tur37
A.M. Turing.
On computable numbers, with an application to the Entscheidungsproblem.
Proceedings of the London Mathematical Society 42 (1937) 2.

Tur50
A.M. Turing.
Computing Machinery and Intelligence.
Mind 59 (1950), 433-460.
Deutsche Übersetzung mit dem Titel Kann eine Maschine denken in [ZW94].

vA06
L. v. Ahn.
Games With a Purpose.
IEEE Computer Magazine (Juni 2006), 96-98.
http://www.cs.cmu.edu/~biglou/ieee-gwap.pdf.

Wei66
J. Weizenbaum.
ELIZA-A Computer Program For the Study of Natural Language Communication Between Man and Machine.
Communications of the ACM 9 (1966) 1, 36-45.

WF01
I. Witten und E. Frank.
Data Mining.
Hanser Verlag München, (2001).
Von den Autoren in Java entwickelte DataMining Programmbibliothek WEKA: (http://www.cs.waikato.ac.nz/~ml/weka).

Whi96
J. Whittaker.
Graphical models in applied multivariate statistics.
Wiley, (1996).

Wie
U. Wiedemann.
PhilLex, Lexikon der Philosophie.
http://www.phillex.de/paradoxa.htm.

Wie04
J. Wielemaker.
SWI-Prolog 5.4.
Universität Amsterdam, 2004.
http://www.swi-prolog.org.

Wik01
Wikipedia, die freie Enzyklopädie.
http://de.wikipedia.org, (2001).

Win
P. Winston.
Game Demonstration.
http://www.ai.mit.edu/courses/6.034f/gamepair.html.
Java Applet zu Minimax- und Alpha-Beta-Suche.

Zdz05
J. Zdziarski.
Ending Spam.
No Starch Press, (2005).

Zel94
A. Zell.
Simulation Neuronaler Netze.
Addison Wesley, (1994).
Im Buch beschriebener Simulator SNNS, bzw. JNNS: http://www-ra.informatik.uni-tuebingen.de/SNNS.

ZSR+99
A. Zielke, H. Sitter, T.A. Rampp, E. Schäfer, C. Hasse, W. Lorenz und M. Rothmund.
Überprüfung eines diagnostischen Scoresystems (Ohmann-Score) für die akute Appendizitis.
Chirurg 70 (1999), 777-783.

ZW94
W.C. Zimmerli und S. Wolf (Hrsg.).
Künstliche Intelligenz - Philosophische Probleme.
Philipp Reclam, Stuttgart (1994).



Wolfgang Ertel 2007-11-24