14693 Tim Berners-Lee/James Hendler/Ora Lassila: Mein Computer
versteht mich. Spektrum 2001/8, 42-49. Wie kann der Computer auch die
Bedeutung einer Webseite verstehen?

2087 Wolfgang Bibel/Philippe Jorrand (ed.): Fundamentals of artificial
intelligence. Springer 1987.

Wolfgang Bibel a.o.: Wissensrepra''sentation und Inferenz.
Vieweg 1993, 390p. 3-528-05374-7. DM 48.

J. Debenham: Knowledge engineering.
Springer 1998, 470p. 3-540-63765-6. DM 98.

Kees Doets: From logic to logic programming. MIT Press 1994.

J. Doignon/J. Falmagne: Knowledge spaces.
Springer 1998, 300p. 3-540-64501-2. DM 98.

15260 L. Egghe: Properties of topologies of information retrieval
systems. Math. Comp. Mod. 27/2 (1998), 61-79.

Ronald Fagin/Joseph Halpern/Yoram Moses/Moshe Vardi: Reasoning about
knowledge. 1995, 500p. 0-262-06162-7. DM 159.
Seems to be a masterpiece on distributed knowledge.

10826 Ronald Fagin/Joseph Halpern/Moshe Vardi: What can machines know?
On the properties of knowledge in distributed systems.
J. ACM 39 (1992), 328-376.

10828 Ronald Fagin/Joseph Halpern/Yoram Moses/Moshe Vardi: Knowledge
based programs. Internet ca. 1995, 49p.

8447 Ronald Fagin/Joseph Halpern/Yoram Moses/Moshe Vardi: Common knowledge
revisited. Proc. 6th Conf. Theor. Aspects Rationality and Knowledge (1996), ...

B. Ganter/R. Wille: Formale Begriffsanalyse.
Springer 1996, 290p. 3-540-60868-0. DM 48.

2297 Michael Genesereth/Nils Nilsson: Logische Grundlagen der Kuenstlichen 
Intelligenz. Vieweg 1989.

10825 Joseph Halpern: Knowledge and common knowledge in a distributed
environment. J. ACM 37 (1990), 549-587.

14315 Joseph Halpern a.o.: On the unusual effectiveness of logic in
computer science. Internet 2001, 19p.

15303 Takashi Horiyama/Toshihide Ibaraki: Ordered binary decision
diagrams as knowledge bases. Art. Intell. 136 (2002), 189-213.

R. Moore: Logic and representation.
CSLI 1995, 200p. 1-881526-15-1 (pb). Pds. 16.

Nils Nilsson: Problem solving methods in artificial intelligence.
McGraw-Hill 1971.

Nils J. Nilsson: Principles of Artificial Intelligence.
Tioga, Palo Alto 1980.

4917 Piergiorgio Odifreddi (ed.): Logic and computer science.
SLN Math. 1429 (1990).

David Poole/Alan Mackworth/Randy Goebel: Computational intelligence -
a logical approach. Oxford UP 1997, 610p. 0-19510270-3. DM 137.

2296 Michael Richter: Prinzipien der Kuenstlichen Intelligenz. Teubner 1989.

H. Schwichtenberg: Proof and computation.
Springer 1995, 450p. 3-540-58581-8. DM 155.