Nächste Seite: Liste der Symbole Vorige Seite: Kleines Lexikon von Begriffen

Literatur

AB75

A.R. Anderson und N.D. Belnap, Jr. Entailment: The Logic of Relevance and Necessity, volume 1. Princeton University Press, Princeton NJ, 1975.

AC87

P. Agre und D. Chapman. Pengi: An implementation of a theory of activity. In Proceedings of the National Conference on Artificial Intelligence, S. 268-272, San Mateo, CA, 1987. Morgan Kaufmann Publishers, Inc.

Ada75

E. Adams. The logic of conditionals. Reiter, Dordrecht, NL, 1975.

AF89

J. Allgayer und A. Fabri. Efficient maintenance of set relationships in SB-ONE . Memo, Univ. des Saarlandes, Saabrücken, 1989.

AKBLN89

Hassan Ait-Kaci, Robert Boyer, Patrick Lincoln und Roger Nasr. Efficient implementation of lattice operations. ACM Transactions on Programming Languages and Systems, 11(1):115-146, 1989.

All83

J. F. Allen. Maintaining knowledge about temporal intervals. Communications of ACM, 26(11):832-843, 1983.

All84

James F. Allen. Towards a general theory of action and time. Artificial Intelligence Journal, 23(2):123-154, 1984.

All88

James F. Allen. Natural Language Understanding. Benjamin/Cummings, Reading, 1988.

And86

Peter B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth through Proof. Academic Press, Orlando, 1986.

Ari92

Jun Arima. Logical structure of analogy. In International Conference on Fifth Generation Computer Systems, S. 505-513, Tokyo, Japan, 1992. ICOT, Ohmsha.

AS83

D. Angluin und C. H. Smith. Inductive inference: Theory and methods. Computing Surveys, 15:237-269, 1983.

AWBS+92

K. D. Althoff, S. Wess, B. Bartsch-Spörl, D. Janetzko, F. Mauer und A. Voß. Fallbasiertes Schließen in Expertensystemen: Welche Rolle spielen Fälle in wissensbasierten Systemen. KI, (4):14-21, 1992.

Baa90

F. Baader. Terminological cycles in KL-ONE-based knowledge representation languages. In AAAI, S. 621-626, 1990.

Bac88

Fahiem Bacchus. Representing and Reasoning with Probabilistic Knowledge. PhD thesis, University of Alberta, Edmonton, Alberta, 1988.

Bak91

Andrew B. Baker. Nonmonotonic reasoning in the framework of situation calculus. Artificial Intelligence Journal, 49(1-3):5-23, 1991.

Bar91

Ralph Barletta. An introduction to case-based reasoning. AI Expert, 6(8):43-49, 1991.

BB82

D. H. Ballard und C. M. Brown. Computer Vision. Prentice Hall, Englewood Cliffs, NJ, 1982.

BB92

K. H. Bläsius und H.-J. Bürckert. Deduktionssysteme. Oldenbourg, München, 2 edition, 1992.

BBH+92

F. Baader, H-J. Bürckert, B. Hollunder, A. Laux und W. Nutt. Terminologische Logiken. KI, 6(3):23-33, 1992.

BC87

Thierry Boy de la Tour und Ricardo Caferra. Proof analogy in interactive theorem proving: A method to express and use it via second order pattern matching. In Proc. AAAI-87, S. 95-99, San Mateo CA, 1987. Morgan Kaufmann.

BdCFH89

W. Bibel, L. Farinas del Cerro, B. Fronhöfer und A. Herzig. Plan generation by linear proofs: On semantics. In D. Metzing (Hg.), Proceedings GWAI'89, S. 49-62, Berlin, 1989. Springer.

Bel90

John Bell. The logic of nonmonotonicity. Artificial Intelligence Journal, 41(3):365-374, 1990.

Bes89a

Philippe Besnard. An Introduction to Default Logic. Springer, Berlin, 1989.

BES89b

W. Bibel, E. Elver und J. Schneeberger. Werkzeugkonzept DOMINO-EXPERT. In D. Nebendahl (Hg.), Expertensysteme, S. 227-270. Siemens, Berlin, 1989.

Bet53

Evert W. Beth. On Padoa's method in the theory of definitions. Indag. Math., 15:330-339, 1953.

BFH+92

F. Baader, E. Franconi, B. Hollunder, B. Nebel und H.-J. Profitlich. An empirical analysis of optimization techniques for terminological systems. In KR, 1992.

BG92

Hans Bandemer und Siegfried Gottwald. Einführung in die Fuzzy-Methoden. Akademie Verlag, Berlin, 3. edition, 1992.

BGH+93

S. Biundo, A. Günter, J. Hertzberg, J. Schneeberger und W. Tank. Planen und Konfigurieren. In G. Görz (Hg.), Einführung in die Künstliche Intelligenz, S. 767-848. Addison-Weseley Verlag, 1993.

BGL85

R. J. Brachman, V. P. Gilbert und H. J. Levesque. An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON. In Proceedings IJCAI-85, S. 532-539, Los Altos CA, 1985. Kaufmann.

BHP+92

C. Beierle, U. Hedtstück, U. Pletat, P. H. Schmitt und J. Siekmann. An order-sorted logic for knowledge representation systems. Artificial Intelligence Journal, 55(2-3):149-191, 1992.

Bib84

W. Bibel. First-order reasoning about knowledge and belief. In I. Plander (Hg.), 3rd International Conference on Artificial Intelligence and Information-Control Systems of Robots, S. 9-16, Amsterdam, 1984. North-Holland.

Bib85

W. Bibel. Inferenzmethoden. In Christopher Habel (Hg.), Frühjahrsschule Künstliche Intelligenz, S. 1-47, Berlin, 1985. Springer.

Bib86

W. Bibel. A deductive solution for plan generation. New Generation Computing, 4:115-132, 1986.

Bib87a

W. Bibel. Automated Theorem Proving. Vieweg Verlag, Braunschweig, 2. edition, 1987.

Bib87b

W. Bibel. Methods of automated reasoning. In W. Bibel und Ph. Jorrand (Hg.), Fundamentals of Artificial Intelligence -- An Advanced Course, S. 171-217. Springer, Berlin, 1987.

Bib88a

W. Bibel. Advanced topics in automated deduction. In R. Nossum (Hg.), Advanced Topics in Artificial Intelligence, S. 41-59, Berlin, 1988. Springer, LNCS 345.

Bib88b

W. Bibel. Constraint satisfaction from a deductive viewpoint. Artificial Intelligence Journal, 35:401-413, 1988.

Bib88c

W. Bibel. A deductive solution for plan generation. In Joachim W. Schmidt und C. Thanos (Hg.), Foundations of Knowledge Base Management, S. 453-473. Springer, Berlin, 1988.

Bib92

W. Bibel. Deduktion -- Automatisierung der Logik. Handbuch der Informatik. Oldenbourg, München, 1992.

Bie81

Peter Bieri (Hg.). Analytische Philosophie des Geistes. Hain, Königstein, 1981.

Bie86

A. W. Biermann. Fundamental mechanisms in machine learning and inductive inference. In W. Bibel und P. Jorrand (Hg.), Fundamentals of Artificial Intelligence, S. 133-169. Springer, Berlin, 1986.

BK82

K. A. Bowen und R. A. Kowalski. Amalgamating language and metalanguage in logic programming. In K. L. Clark und S.-A. Tärnlund (Hg.), Logic Programming, S. 153-172. Academic Press, London, 1982.

BK92

Thierry Boy de la Tour und Christoph Kreitz. Building proofs by analogy via the Curry-Howard isomorphism. In A. Voronkov (Hg.), Proceedings of the Conference on Logic Programming and Automated Reasoning (LPAR'92), S. 202-213, Berlin, 1992. Springer, Lecture Notes in Computer Science 624.

BL84

R. J. Brachman und H. J. Levesque. The tractability of subsumption in frame-based description languages. In Proceedings of AAAI-84, S. 34-37, 1984.

BL85

Ronald J. Brachman und Hector J. Levesque (Hg.). Readings in Knowledge Representation. Morgan Kaufmann, Los Altos CA, 1985.

BLS87

W. Bibel, R. Letz und J. Schumann. Bottom-up enhancements of deductive systems. In I. Plander (Hg.), Proceedings of 4th International Conference on Artificial Intelligence and Information-Control Systems of Robots, S. 1-10, Smolenice, CSSR, October 1987. North-Holland.

BM86

Michael L. Brodie und John Mylopoulos (Hg.). On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies. Springer, New York NY, 1986.

Bob75

Daniel G. Bobrow. Dimensions of representation. In D. G. Bobrow und A. M. Collins (Hg.), Representation and Understanding: Studies in Cognitive Science, S. 1-34. Academic Press, New York NY, 1975.

Bob84

Daniel G. Bobrow, ed. Special volume on qualitative reasoning about physical systems. Artificial Intelligence Journal, 24, 1984. also as: Reasoning about physical systems (MIT Press, Cambridge, MA, 1985).

Bou88

C. Boutilier. Default reasoning with the conditional logic E. Master's thesis, University of Toronto, 1988.

Bou92

Craig Boutilier. Conditional logics for default reasoning and belief revision. PhD thesis, University of Toronto, Toronto CA, 1992.

BP83

Jon Barwise und John Perry. Situations and Attitudes. The MIT Press, Cambridge MA, 1983.

Bra78

Martin D. S. Braine. On the relation between the natural logic of reasoning and standard logic. Psychological Review, 85(1):1-21, 1978.

Bra79

Ronald J. Brachman. On the epistemological status of semantic networks. In N. V. Findler (Hg.), Associative Networks: Representation and Use of Knowledge by Computers, S. 3-50. Academic Press, New York, 1979.

Bra90

Ronald J. Brachmann. The future of knowledge representation. In Proceedings of AAAI'90, S. 1082-1092, 1990.

Bre87

G. Brewka. Nichtmonotone Logiken: Ein einführender Überblick. In KIFS-87, S. 188-217, Berlin, 1987. Springer Verlag.

Bre91a

Gerhard Brewka. Cumulative default logic: in defense of nonmonotonic inference rules. Artificial Intelligence Journal, 50:183-205, 1991.

Bre91b

Gerhard Brewka. Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, Cambridge, 1991.

Bro85

L. Brownston et al. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, Reading Mass., 1985.

Bro86

Rodney A. Brooks. A robust layered control system for a mobile robot. IEEE J. Rob. Autom., 2:14-23, 1986.

Bro91

Rodney A. Brooks. Intelligence without representation. Artificial Intelligence Journal, 47:139-159, 1991.

BS83

D. G. Bobrow und M. Stefik. The loops manual. Technischer Bericht, Xerox Corporation, Palo Alto CA, 1983.

BS84

B. G. Buchanan und E. H. Shortliffe (Hg.). Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading MA, 1984.

BS85

Ronald J. Brachman und James G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9:171-216, 1985.

BS92

P. Besnard und T. Schaub. Possible worlds semantics for default logics. In J. Glasgow und B. Hadley (Hg.), Proceedings of the Canadian Artificial Intelligence Conference, S. 148-155, San Mateo, 1992. Morgan Kaufmann Publishers Inc. Also in: D. Etherington and H. Kautz, editors. Proceedings of the Fourth International Workshop on Nonmonotonic Reasoning, AAAI.

BTK91

F. Bacchus, J. Tenenberg und J. A. Koomen. A non-reified temporal logic. Artificial Intelligence Journal, 52:87-108, 1991.

Bun85

Alan Bundy. Incidence calculus: A mechanism for probabilistic reasoning. Journal for Automated Reasoning, 1:263-283, 1985.

Bur89

M. H. Burstein. Analogy vs. CBR: The purpose of mapping. In Kristian J. Hammond (Hg.), Proceedings: Case-Based Reasoning Workshop, S. 133-136, San Mateo CA, 1989. DARPA, Morgan Kaufmann.

BW77a

Daniel G. Bobrow und Terry Winograd. An overview of KRL, a Knowledge Representation Language. Cognitive Science, 1:3-46, 1977.

BW77b

Jürgen Bredenkamp und Werner Wippich. Lern- und Gedächtnispsychologie, volume I. Kohlhammer, Stuttgart, 1977.

BW77c

Jürgen Bredenkamp und Werner Wippich. Lern- und Gedächtnispsychologie, volume II. Kohlhammer, Stuttgart, 1977.

CAB+86

Robert L. Constable, Stuart F. Allen, H. Mark Bromley, W. Rance Cleaveland, J. F. Cremer, Robert W. Harper, Douglas J. Howe, Todd B. Knoblock, Nax Paul Mendler, Prakash Panangaden, Jim T. Sasaki und Stuart F. Smith. Implementing Mathematics with the NuPRL proof development system. Prentice-Hall, Englewood Cliffs, NJ, 1986.

Car50

R. Carnap. Logical Foundations of Probability. University of Chicago Press, Chicago IL, 1950.

Car82

G. Carlson. Generic terms and generic sentences. J. Philos. Logic, 11:145-181, 1982.

Car83

Jaime G. Carbonell. Learning by Analogy: Formulating and Generalizing Plans from Past Experience, Kapitel 5, S. 137-162. Tioga, Palo Alto, CA, 1983.

CDT91

Luca Console, Daniele Theseider Dupré und Pietro Torasso. On the relationship between abduction and deduction. Journal of Logic and Computation, 1(5):661-669, 1991.

CdV89

T. Christaller, F. di Primio und A. Voß. Die KI-Werkbank Babylon. Addison Wesley, Bonn, 1989.

Cer75

N. Cercone. Representing natural language in extended semantic networks. Technischer Bericht TR75-11, Dept. Computer Science, University of Alberta, Edmonton, Canada, 1975.

CFM91

Walter Alexandre Carnielli, Luis Fariñas del Cerro und Mamede Lima Marques. Contextual negations and reasoning with contradictions. In John Mylopoulos und Ray Reiter (Hg.), IJCAI-91 -- Proceedings of the Twelfth International Conference on Artificial Intelligence, S. 532-537, San Mateo, CA, 1991. IJCAII, Morgan Kaufmann.

Cha87

D. Chapman. Planning for conjunctive goals. Artificial Intelligence Journal, 32(3):333-377, 1987.

Cha89

D. Chapman. Penguins can make cake. AI Magazine, 10(4):45, 1989.

Cha91

E. Charniak. Bayesian networks without tears. AI Magazine, 12(4):50-63, 1991.

Che76

Peter P. Chen. The entity-relationship model -- Toward a unified view of data. ACM Transactions Database Systems, 1(1):9-36, 1976.

CL90

Philip R. Cohen und Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence Journal, 42(2-3):213-261, 1990.

Cla78

K. L. Clark. Negation as failure. In H. Gallaire und J. Minker (Hg.), Logic and Data Bases, S. 293-322. Plenum, New York NY, 1978.

CNS91

Luigia Carlucci Aiello, Daniele Nardi und Marco Schaerf. Reasoning about reasoning in a meta-level architecture. Journal of Applied Intelligence, 1:55-67, 1991.

Coh87

Anthony G. Cohn. Qualitative reasoning. In Rolf T. Nossum (Hg.), Advanced Topics in Artificial Intelligence, S. 60-95. Springer, Berlin, 1987.

Coo90

Gregory F. Cooper. The computational complexity of probabilistic inference using Bayesian belief networks. Artificial Intelligence Journal, 42(2-3):393-405, 1990.

Cox79

R. T. Cox. Of inference and inquiry. An essay in inductive logic. In R. D. Levine und M. Tribus (Hg.), The Maximum Entropy Formalism. MIT Press, Cambridge, MA, 1979.

CP86

P. T. Cox und T. Pietrzykowski. Causes for events: their computation and applications. In J. Siekmann (Hg.), Proceedings 8th International Conference on Automated Deduction, CADE-86, S. 608-621, Berlin, 1986. LNCS vol. 230, Springer.

CRM80

Eugene Charniak, Christopher K. Riesbeck und Drew McDermott. Artificial Intelligence Programming. Lawrence Erlbaum, Hillsdale, NJ, 1980.

Dav80

Martin Davis. The mathematics of non-monotonic reasoning. Artificial Intelligence Journal, 13, 1980.

Dav90

Ernest Davis. Representations of Commonsense Knowledge. Morgan Kaufmann, San Mateo CA, 1990.

Del87

James P. Delgrande. A first-order conditional logic for prototypical properties. Artificial Intelligence Journal, 33(1):105-130, 1987.

Del88

James P. Delgrande. An approach to default reasoning based on a first-order conditional logic: Revised report. Artificial Intelligence Journal, 36(1):63-90, 1988.

Del92

James P. Delgrande. A semantically-based account of nonmonotonic reasoning in horn-clause and logic programming. Journal of Logic Programming, (submitted 1992).

Den78

Daniel C. Dennett. Brainstorms. Bradford Books / The MIT Press, Cambridge, Mass., 1978.

dGC90

R. A. de Guerreiro und M. A. Casanova. An alternative semantics for default logic. In K. Konolige (Hg.), Third International Workshop on Nonmonotonic Reasoning, South Lake Tahoe, CA, S. 141-157, 1990.

DHN76

R. O. Duda, P. E. Hart und N. J. Nilsson. Subjective bayesian methods for rule-based inference systems. Technischer Bericht 124, Stanford Research Institute, Menlo Park, California, 1976.

DJ91

J. P. Delgrande und W. K. Jackson. Default logic revisited. In J. A. Allen, R. Fikes und E. Sandewall (Hg.), Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning, S. 118-127, San Mateo, CA, 1991. Morgan Kaufmann Publishers Inc.

DJS92

J. P. Delgrande, W. K. Jackson und T. Schaub. Alternative approaches to default logic. Artificial Intelligence Journal, 1992. Submitted for publication.

dK86

Johan de Kleer. An Assumption-based TMS. Artificial Intelligence Journal, 28:127-162, 1986.

DLNN91

F. Donini, M. Lenzerini, D. Nardi und W. Nutt. Tractable concept languages. In International Joint Conference on Artificial Intelligence, S. 458-463, 1991.

dMR92

Johan de Kleer, Alan K. Mackworth und Raymond Reiter. Characterizing diagnoses and systems. Artificial Intelligence Journal, 56(2-3):197-222, 1992.

Doy79

Jon Doyle. A truth maintenance system. Artificial Intelligence Journal, 12:231-272, 1979.

Doy85

J. Doyle. Circumscription and implicit definability. Journal of Automated Reasoning, 1:391-405, 1985.

DP88

Didier Dubois und Henri Prade. An Introduction to Possibilistic and Fuzzy Logics, Kapitel 10, S. 287-326. Academic Press, London, 1988.

DR91

J. Downs und H. Reichgelt. Integrating classical and reactive planning within an architecture for autonomous agents. In J. Hertzberg (Hg.), European Workshop on Planning, EWSP'91, S. 13-26, Berlin, Heidelberg, New York, 1991. Springer-Verlag.

Dre85

H. L. Dreyfus. Die Grenzen der künstlichen Intelligenz - was Computer nicht können. Athenäum Verlag, Königstein/Ts, 1985.

DSS93

Randall Davis, Howard Shrobe und Peter Szolovits. What is a knowledge representation? AI Magazine, 14(1):17-33, 1993.

Dun84

J. M. Dunn. Relevance logic and entailment. In D. M. Gabbay und F. Guenthner (Hg.), Handbook of Philosophical Logic, Bd. III. Oxford University Press, Oxford, England, 1984.

dW91

Johan de Kleer und Brian C. Williams, eds. Special volume on qualitative reasoning about physical systems II. Artificial Intelligence Journal, 51, 1991.

Ecc75

J. C. Eccles. Das Gehirn des Menschen. Piper, München, 1975.

EFT92

H. D. Ebbinghaus, J. Flum und W. Thomas. Einführung in die Mathematische Logik. BI Wissenschaftsverlag, Mannheim, 3. auflage edition, 1992.

EG67

B. C. Etzel und J. L. Gewirtz. Experimental modification of caretaker-maintained high-rate operant crying in a 6- and a 20-week-old infant (infans tyrannotearus): Extinction of crying with reinforcement of eye contact and smiling. J.  of Experimental Child Psychology, 5:303-317, 1967.

EG93

Thomas Eiter und Georg Gottlob. The complexity of logic-based abduction. In Proceedings of STACS-93, 1993.

EGG92

Thomas Eiter, Georg Gottlob und Yuri Gurevich. Curb your theory! a circumscriptive approach for inclusive interpretation of disjunctive information. Unpubliziertes Manuskript, 1992.

Elk90

Charles Elkan. A rational reconstruction of nonmonotonic truth maintenance systems. Artificial Intelligence Journal, 43(2):219-234, 1990.

Eme90

A. Emerson. Temporal and modal logic. In J. v. Leewwen (Hg.), Handbook of Theoretical Computer Science, Vol. B. Elsevier and MIT Press, 1990.

EMR85

D. W. Etherington, R. E. Mercer und R. Reiter. On the adequacy of predicate circumscription for closed-world reasoning. Computational Intelligence, 1:11-15, 1985.

Eth87

David Etherington. Formalizing nonmonotonic reasoning systems. Artificial Intelligence Journal, 31:41-85, 1987.

Eth88

David Etherington. Reasoning with Incomplete Information. Research Notes in Artificial Intelligence. Pitman, London, 1988.

Fah79

Scott E. Fahlman. NETL: A system for Representing and Using Real-World Knowledge. The MIT Press, Cambridge MA, 1979.

Fal92

Boi Faltings. A symbolic approach to qualitative kinematics. Artificial Intelligence Journal, 56(2-3):139-170, 1992.

FB82

J. A. Feldman und D. H. Ballard. Connectionist models and their properties. Cognitive Science, 6:205-254, 1982.

Fef84

Solomon Feferman. Towards useful type-free theories, I. Journal for Symbolic Logic, 49:75-111, March 1984.

FF91

Rian Falkenhainer und Kenneth D. Forbus. Compositional modelling: finding the right model for the job. Artificial Intelligence Journal, 51:95-143, 1991.

FHN72

R. Fikes, P. Hart und N. J. Nilsson. Learning and executing generalized robot plans. Artificial Intelligence Journal, 3(4):251-288, 1972.

Fin73

T. Fine. Theories of Probability. Academic Press, New York, 1973.

FKW92

R. Freivalds, E. B. Kinber und R. Wiehagen. On the power of inductive inference from good examples. Theoretical Computer Science, 1992. To appear.

FM92

Eugene C. Freuder und Alan K. Mackworth (Hg.). Constraint-Based Reasoning, volume 58 aus Artificial Intelligence Journal. Elsevier, Amsterdam, 1992.

FN71

R. E. Fikes und N. J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence Journal, 2:189-208, 1971.

For82

C. L. Forgy. Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence Journal, 19(2):17-37, 1982.

FP88

J. A. Fodor und Z. W. Pylyshyn. Connectionism and cognitive architecture: A critical analysis. Cognition, 28:3-71, 1988.

FP92

Luis Fariñas del Cerro und Martti Penttonen (Hg.). Intensional Logics for Programming. Oxford University Press, Oxford, 1992.

Fre79

Gottlob Frege. Begriffsschrift. Louis Nebert, Halle, 1879.

Fre92

C. Freksa. Temporal reasoning based on semi-intervals. Artificial Intelligence Journal, 54:199-227, 1992.

Gab82

D. M. Gabbay. Intuitionistic bases for nonmonotonic logic. In D. W. Loveland (Hg.), Proceedings of the Conference on Automated Deduction, S. 260-273, Berlin, 1982. Springer Verlag.

Gab92

D. M. Gabbay. Temporal logic: Mathematical foundations, part 1. Technischer Bericht MPI-I-92-213, Max Planck Institut, Saarbrücken, 1992.

Gaben

Dov M. Gabbay. Labelled deductive systems, part i. Bericht 90-22, Centrum für Informations- und Sprachverarbeitung, Universität München.

Gal86

J. H. Gallier. Logic for Computer Science: Foundations of Automated Theorem Proving. Harper and Row, New York, 1986.

Gal90

Antony Galton. Logic for Information Technology. Wiley, Chichester, 1990.

Gas91

L. Gasser. Social concepts of knowledge and action: DAI foundations and open systems semantics. Artificial Intelligence Journal, 47:107-138, 1991.

Gen35

Gerhard Gentzen. Untersuchungen über das logische Schließen. Mathematische Zeitschrift, 39:176-210 and 405-431, 1935. Engl. transl. in [Sza69].

GH91

Dov Gabbay und Anthony Hunter. Making inconsistency respectable: A logical framework for inconsistency in reasoning, Part I -- A Position Paper. In Ph. Jorrand und J. Kelemen (Hg.), Fundamentals of Artificial Intelligence Research, S. 19-32, Berlin, 1991. Springer, LNAI 535.

GHR92

D. M. Gabbay, I. M. Hodkinson und M. A. Reynolds. Temporal logic: Mathematical foundations, part 2. Technischer Bericht MPI-I-92-242, Max Planck Institut, Saarbrücken, 1992.

GHS92

Gerd Große, Steffen Hölldobler und Josef Schneeberger. Linear deductive planning. Artificial Intelligence Journal, submitted 1992.

Gin89a

M. L. Ginsberg. Universal planning: An (almost) universally bad idea. AI Magazine, 10(4):40-44, 1989.

Gin89b

Matthew L. Ginsberg. A circumscriptive theorem prover. Artificial Intelligence Journal, 39, 1989.

Gir87

J.-Y. Girard. Linear logic. Theoretical Computer Science, 50(1):1-102, 1987.

GL87

M. P. Georgeff und A. L. Lansky. Reactive reasoning and planning. In Proceedings of the National Conference on Artificial Intelligence, S. 677, Palo Alto, CA, 1987. American Association for Artificial Intelligence.

GL88

Michael Gelfond und Vladimir Lifschitz. The stable model semantics for logic programming. In K. Bowen und R. Kowalski (Hg.), Fifth International Conference and Symposium on Logic Programming, S. 1070-1080, Cambridge MA, 1988. MIT Press.

GL89

Michael Gelfond und Vladimir Lifschitz. Compiling circumscriptive theories into logic programs. In Proc. 2nd Intern. Workshop on Nonmonotonic Reasoning, Berlin, 1989. Springer, LNCS 346.

GL90

R. V. Guha und Douglas B. Lenat. Cyc: a midterm report. AI Magazine, 11(3):32-59, 1990.

GL91

M. Gelfond und V. Lifschitz. Classical negation in logic programs and deductive databases. New Generation Computing, 1991. To appear.

GLR91

M. Gelfond, V. Lifschitz und A. Rabinov. What are the limitations of the situation calculus. In R. S. Boyer (Hg.), Automated Reasoning - Essays in Honor of Woody Bledsoe, Kapitel 8, S. 167 - 179. Kluwer Academic Press, 1991.

GLS87

M. P. Georgeff, A. L. Lansky und M. J. Schoppers. Reasoning and planning in dynamic domains: An experiment with a mobile robot. Technical Note 380, SRI, 1987.

GMN84

H. Gallaire, J. Minker und J.-M. Nicolas. Logic and databases: A deductive approach. Computing Surveys, 16(2):153-185, 1984.

GN89

Michael R. Genesereth und Nils J. Nilsson. Logische Grundlagen der Künstlichen Intelligenz. Vieweg, Braunschweig, 1989.

Gol67

E. M. Gold. Language identification in the limit. Information and Control, 10:447-474, 1967.

Gol84

A. Goldberg. SMALLTALK-80: The Interactive Programming Environment. Addison-Wesley, Reading MA, 1984.

Goo87

James W. Goodwin. A theory and system for non-monotonic reasoning. PhD thesis, University of Linköping, Sweden, 1987. Linköping Studies in Science and Technology 165.

Gor93

Thomas F. Gordon. The Pleadings Game -- An Artificial Intelligence model of Procedural Justice. PhD thesis, Technische Hochschule Darmstadt, 1993.

Got92a

Georg Gottlob. Complexity results for nonmonotonic logics. J. Logic Computat., 2(3):397-425, 1992.

Got92b

Siegfried Gottwald. Fuzzy Sets and Fuzzy Logic. Vieweg Verlag, Braunschweig, 1992.

GP86

M. Gelfond und H. Przymusinska. Negation as failure: Careful closure procedure. Artificial Intelligence Journal, 30:273-287, 1986.

GP92

Hector Geffner und Judea Pearl. Conditional entailment: bridging two approaches to default reasoning. Artificial Intelligence Journal, 53(2-3):209-244, 1992.

GPP89

M. Gelfond, H. Przymusinska und T. Przymusinski. On the relationship between circumscription and negation as failure. Artificial Intelligence Journal, 38(1):75-94, 1989.

GSW90

Russell Greiner, Barbara A. Smith und Ralph W. Wilkerson. A correction to the algorithm in Reiter's theory of diagnosis. Artificial Intelligence Journal, 41:79-88, 1990.

GT91

Fausto Giunchiglia und Paolo Traverso. Reflective reasoning with and between a declarative metatheory and the implementation code. In John Mylopoulos und Ray Reiter (Hg.), IJCAI-91 -- Proceedings of the Twelfth International Conference on Artificial Intelligence, S. 111-117, San Mateo, CA, 1991. IJCAII, Morgan Kaufmann.

Hab89

Christopher Habel. Propositional and depictorial representations of spatial knowledge: The case of path-concepts. Mitteilung 171, Fachbereich Informatik, Universität Hamburg, Hamburg, 1989.

Hal90

Joseph Y. Halpern. An analysis of first-order logics of probability. Artificial Intelligence Journal, 46(3):311-350, 1990.

Har79

D. Harel. First-Order Dynamic Logic, volume 68 aus Lecture Notes in Computer Science. Springer, 1979.

Hau81

John Haugeland (Hg.). Mind Design. MIT Press, Cambridge, MA, 1981.

Hay73a

P. J. Hayes. The frame problem and related problems in artificial intelligence. In A. Elithorn und D. Jones (Hg.), Artificial and Human Thinking, S. 45-49. Jossey-Bass, San Francisco, 1973.

Hay73b

P. J. Hayes. The frame problem and related problems in artificial intelligence. In A. Elithorn und D. Jones (Hg.), Artificial and Human Thinking, S. 45-49. Jossey-Bass, San Francisco, 1973.

Hay77

P. J. Hayes. In defense of logic. In Proc. 5th IJCAI, S. 559-565, Los Altos CA, 1977. Morgan Kaufmann.

Hay84

P. J. Hayes. The second naive physics manifesto. In J. R. Hobbs und R. C. Moore (Hg.), Formal Theories of the Commonsense World, Kapitel 1, S. 1-36. Ablex, Norwood, N.J., 1984.

Hay85a

Patrick J. Hayes. The logic of frames. In Ronald J. Brachman und Hector J. Levesque (Hg.), Readings in Knowledge Representation, Kapitel 14, S. 287-296. Morgan Kaufmann, Los Altos CA, 1985.

Hay85b

Patrick J. Hayes. Some problems and non-problems in representation theory. In Ronald J. Brachman und Hector J. Levesque (Hg.), Readings in Knowledge Representation, Kapitel 1, S. 3-22. Morgan Kaufmann, Los Altos CA, 1985.

HC68

G. E. Hughes und M. J. Cresswell. An Introduction to Modal Logic. Methuen, London, 1968.

Heb49

D. O. Hebb. The Organization of Behavior. Wiley, Ney York NY, 1949.

Hec90

D. Heckerman. Probabilistic similarity networks. Technischer Bericht STAN-CS-1316, Depts. of Computer Science and Medicine, Stanford University, 1990.

Hei86

Martin Heidegger. Sein und Zeit. Max Niemeyer, Tübingen, 16. auflage edition, 1986.

Hen88

M. Henrion. Propagating uncertainty in bayesian networks by logic sampling. In J. Lemmer und N. Kanal (Hg.), Uncertainty in Artificial Intelligence 2, S. 149-163. North Holland, 1988.

Her89

J. Hertzberg. Planen. B.I. Wissenschaftsverlag, Reihe Informatik, Mannheim, 1989.

Hew72

C. Hewitt. Description and theoretical analysis (using schemata) of PLANNER: A language for proving theorems and manipulating models in a robot. PhD thesis, MIT, Department of Mathematics, 1972. AI Lab Report AI-TR-258.

HHP93

C. Habel, M. Herweg und S. Pribbenow. Wissen über zeit und raum. In G. Görz (Hg.), Einführung in die Künstliche Intelligenz, S. 139-204. Addison-Wesley, 1993.

Hin55

K. J. J. Hintikka. Form and content in quantification theory. Acta Philosophica Fennica, 8:7-55, 1955.

Hin90

G. E. Hinton (Hg.). Special issue on connectionist symbol processing, volume 46(1,2) aus Artificial Intelligence Journal. North-Holland, Amsterdam, 1990.

HIP91

Nicolas Helft, Katsumi Inoue und David Poole. Query answering in circumscription. In John Mylopoulos und Ray Reiter (Hg.), IJCAI-91 -- Proceedings of the Twelfth International Conference on Artificial Intelligence, S. 426-431, San Mateo, CA, 1991. IJCAII, Morgan Kaufmann.

HM87

Steve Hanks und Drew McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence Journal, 33(3):379-412, 1987.

HM92

Joseph Y. Halpern und Yoram Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence Journal, 54(3):319-379, 1992.

Höl89

Steffen Hölldobler. Foundations of Equational Logic Programming. LNAI 353. Springer, Berlin, 1989.

Hop82

J. J. Hopfield. Neural networks and physical systems with emergent collective computational abilities. In Proceedings of the National Academy of Sciences USA, S. 2554-2558, 1982.

HS86

G. E. Hinton und T. J. Sejnowski. Learning and relearning in boltzmann machines. In D. E. Rumelhart, J. L. McClelland und the PDP Research Group (Hg.), Parallel Distributed Processing: Explorations in the Microstructure of Cognition. MIT Press, 1986.

HS90

S. Hölldobler und J. Schneeberger. A new deductive approach to planning. New Generation Computing, 8:225-244, 1990.

HSC89

E. Horvitz, H. Suermond und G. Cooper. Bounded conditioning: Flexible inference for decisions under scarce resources. In Proceedings of the Fifth Workshop on Uncertainty in Artificial Intelligence, S. 182-193, 1989.

HTT90

John F. Horty, Richmond H. Thomason und David S. Touretzky. A skeptical theory of inheritance in nonmonotonic semantic networks. Artificial Intelligence Journal, 42:311-348, 1990.

HV91

Joseph Y. Halpern und Moshe Y. Vardi. Model checking vs. theorem proving: A manifesto. In Vladimir Lifshitz (Hg.), Artificial Intelligence and Mathematical Theory of Computation -- Papers in Honor of John McCarthy, S. 151-176. Academic Press, Boston, 1991.

Jac86

P. Jackson. Introduction to Expert Systems. Addison-Wesley, Reading MA, 1986.

JK90

U. Junker und K. Konolige. Computing the extensions of autoepistemic and default logic with a TMS. In Proceedings AAAI-90. aaai, 1990.

JLB91

Philip Nicholas Johnson-Laird und Ruth M. J. Byrne. Deduction. Lawrence Erlbaum Associates, Hove and London (UK), 1991.

JP90

Peter Jackson und John Pais. Computing prime implicants. In M. E. Stickel (Hg.), 10th International Conference on Automated Deduction, S. 543-557, Berlin, 1990. Springer, LNAI 449.

JS91

Leo Joskowicz und Elisha Sacks. Computational kinematics. Artificial Intelligence Journal, 51:381-416, 1991.

Kam79

H. Kamp. Events, instants, and temporal reference. In R. Bäuerle (Hg.), Semantics from Different Points of View, S. 376-417. Springer, 1979.

Kat90

Hirofumi Katsuno. Closed world assumptions having precedence in predicates. New Generation Computing, 8:185-209, 1990.

KC84

T. P. Kehler und G. D. Clemenson. KEE: The knowledge engineering environment for industry. Systems Software, 34:212-224, 1984.

Kee89

Sonya E. Keene. Object-Oriented Programming in Common Lisp: A Programmer's Guide to CLOS. Addison-Wesley, Reading, MA, 1989.

Kem88

C. Kemke. Der neuere Konnektionismus. Informatik Spektrum, 11:143-162, 1988.

KK91

Robert Kowalski und Jin-Sang Kim. A metalogic programming approach to multi-agent knowledge and belief. In Vladimir Lifshitz (Hg.), Artificial Intelligence and Mathematical Theory of Computation -- Papers in Honor of John McCarthy, S. 231-246. Academic Press, Boston, 1991.

KLM90

S. Kraus, D. Lehmann und M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence Journal, 44(1-2), 1990.

Kol92a

Janet L. Kolodner. Case-Based Reasoning. Morgan Kaufmann, San Mateo, 1992.

Kol92b

Janet L. Kolodner. An introduction to case-based reasoning. Artificial Intelligence Review, 6(1):3-34, 1992.

Kon88

K. Konolige. On the relation between default and autoepistemic logic. Artificial Intelligence Journal, 35(2):343-382, 1988.

Kow78

R. Kowalski. Logic for data description. In H. Gallaire und J. Minker (Hg.), Logic and Data Bases, S. 77-103. Plenum Press, 1978.

Kow79

Robert Kowalski. Logic for Problem Solving. North-Holland, New York, 1979.

Kow91

Robert Kowalski. Logic programming in artificial intelligence. In John Mylopoulos und Ray Reiter (Hg.), IJCAI-91 -- Proceedings of the Twelfth International Conference on Artificial Intelligence, S. 596-603, San Mateo, CA, 1991. IJCAII, Morgan Kaufmann.

Kow92

Robert Kowalski. Abductive logic programming. Journal of Logic and Computation, 1992. To appear.

Kri59

S. Kripke. A completeness theorem in modal logic. Journal of Symbolic Logic, 24:1-14, 1959.

Kri63

S. Kripke. Semantical analysis of modal logic I, normal propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 9:67-96, 1963.

KS85

Robert Kowalski und Marek Sergot. Computer representation of the law. In Proc. International Joint Conference on Artificial Intelligence, IJCAI-85, S. 1269-1270, Los Altos CA, 1985. Morgan Kaufmann.

Lak91

Gerhard Lakemeyer. A model of decidable introspective reasoning with quantifying-in. In John Mylopoulos und Ray Reiter (Hg.), IJCAI-91 -- Proceedings of the Twelfth International Conference on Artificial Intelligence, S. 492-497, San Mateo, CA, 1991. IJCAII, Morgan Kaufmann.

LB85

Hector J. Levesque und Ronald J. Brachman. A fundamental tradeoff in knowledge representation and reasoning (revised version). In Ronald J. Brachman und Hector J. Levesque (Hg.), Readings in Knowledge Representation, Kapitel 4, S. 41-70. Morgan Kaufmann, Los Altos CA, 1985.

LB87

H. J. Levesque und R. J. Brachman. Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence Journal, 3:78-93, 1987.

Len78

W. Lenzen. Recent work in epistemic logic. Acta Philosophica Fennica, 30:1-219, 1978.

Lev81

H. Levesque. A Formal Treatment of Incomplete Knowledge Bases. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Canada, 1981.

Lev84

H. Levesque. Foundations of a functional approach to knowledge representation. Artificial Intelligence Journal, 23:155-212, 1984.

Lev86

Hector J. Levesque. Knowledge representation and reasoning. American Review of Computer Science, 1:255-287, 1986.

Lev90

H. Levesque. All I know: A study in autoepistemic logic. Artificial Intelligence Journal, 42(2-3):213-261, 1990.

Lew73

D. Lewis. Counterfactuals. Havard University Press, Cambridge, MA, 1973.

Li93

Yan Yuan Li. Autoepistemic logic of first order and its expressive power. Artificial Intelligence Journal, 1993. Eingereicht.

Lif85a

Vladimir Lifschitz. Closed-world databases and circumscription. Artificial Intelligence Journal, 27(2):229-235, 1985.

Lif85b

Vladimir Lifschitz. Computing circumscription. In Proc. 9th International Joint Conference on Artificial Intelligence, S. 121-127, Los Altos CA, 1985. Morgan Kaufmann.

Lif86a

Vladimir Lifschitz. On the satisfiability of circumscription. Artificial Intelligence Journal, 28(1):17-27, 1986.

Lif86b

Vladimir Lifschitz. On the semantics of STRIPS. In M. P. Georgeff und A. L. Lansky (Hg.), Reasoning about Actions and Plans, S. 1-8, Los Altos, 1986. Morgan Kaufmann.

Lif87

Vladimir Lifschitz. Pointwise circumscription. In Matthew L. Ginsberg (Hg.), Nonmonotonic Reasoning, Kapitel 3.3, S. 179-193. Morgan Kaufmann, Los Altos, 1987.

Lif89

Vladimir Lifschitz. Between circumscription and autoepistemic logic. In R. Brachman, H. Levesque und R. Reiter (Hg.), Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning, KR'89, S. 235-244, San Mateo, 1989. Morgan Kaufmann.

Lif90a

V. Lifschitz. Frames in the space of situations. Artificial Intelligence Journal, 46:365-376, 1990.

Lif90b

Vladimir Lifschitz. On open defaults. In J. W. Lloyd (Hg.), Computational Logic, S. 80-95, Berlin, 1990. Springer.

Lif91

V. Lifschitz. Nonmonotonic databases and epistemic queries. In J. Myopoulos und R. Reiter (Hg.), Proceedings of the International Joint Conference on Artificial Intelligence, S. 381-386, San Mateo, CA, 1991. Morgan Kaufmann Publishers Inc.

Lif92

V. Lifschitz. Minimal belief and negation as failure. Unpublished draft, 1992.

LK91

Rainer Lutze und Andreas Kohl (Hg.). Wissensbasierte Systeme im Büro. Oldenbourg, München, 1991.

Llo84

J. W. Lloyd. Foundations of Logic Programming. Springer, Berlin, 1984.

LNR87

J. E. Laird, A. Newell und P. S. Rosenbloom. SOAR: An architecture for general intelligence. Artificial Intelligence Journal, 33(1):1-64, 1987.

LSBB92

Reinhold Letz, Johannes Schumann, Stephan Bayerl und Wolfgang Bibel. SETHEO -- A high-performance theorem prover for first-order logic. Journal of Automated Reasoning, 8(2):183-212, 1992.

Luk84

W. Lukaszewicz. Considerations on default logic. In Proceedings of the AAAI Workshop on Nonmonotonic Reasoning, S. 165-193, Palo Alto, CA, 1984.

Luk88

W. Lukaszewicz. Considerations on default logic -- an alternative approach. Computational Intelligence Journal, 4:1-16, 1988.

Mak89

David Makinson. General theory of cumulative inference. In M. Reinfrank (Hg.), Proc. Second Int. Workshop on Nonmonotonic Reasoning, S. 1-18, Berlin, 1989. Springer, LNCS 346.

Mar82

D. Marr. Vision. W. H. Freeman, San Francisco, CA, 1982.

McA80

D. McAllester. An outlook on truth maintenance. Artificial Intelligence Laboratory Memo AIM-551, MIT, Cambridge MA, 1980.

McC62

John McCarthy. Towards a mathematical science of computation. In Proceedings of the IFIP Congress, S. 21-28, 1962.

McC63

John McCarthy. Situations and actions and causal laws. Stanford Artificial Intelligence Project: Memo 2, 1963.

McC80

John McCarthy. Circumscription -- A form of non-monotonic reasoning. Artificial Intelligence Journal, 13:27-39, 1980.

McC86

John McCarthy. Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence Journal, 28:89-116, 1986.

McD78

D. V. McDermott. Planning and acting. Cognitive Science, 2(2):71-109, 1978.

McD80

J. McDermott. R1: A rule-based configurer of computer systems. Technischer Bericht CMU-US-80-119, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, 1980.

McD82a

D. McDermott. Nonmonotonic logic II: Nonmonotonic modal theories. Journal of the ACM, 29(1):33-57, 1982.

McD82b

D. V. McDermott. A temporal logic for reasoning about processes and plans. Cognitive Science, 6:101-155, 1982.

McD91

Drew McDermott. A general framework for reason maintenance. Artificial Intelligence Journal, 50(3):289-329, 1991.

McD92

D. V. McDermott. Spacial reasoning. In S. C. Shapiro (Hg.), Encyclopedia of Artificial Intelligence, S. 1322-1334. John Wiley & Sons, 1992.

MCM83

R. S. Michalski, H. G. Carbonell und T. M. Mitchell (Hg.). Machine Learning. Tioga, Palo Alto CA, 1983.

MD80

Drew McDermott und J. Doyle. Non-monotonic logic. Artificial Intelligence Journal, 25:41-72, 1980.

MG92

David A. McAllester und Robert Givan. Natural language syntax and first-order inference. Artificial Intelligence Journal, 56(1):1-20, 1992.

MH69

John McCarthy und Patrick Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer und D. Michie (Hg.), Machine Intelligence, vol. 4, S. 463-502. Edinburgh University Press, Edinburgh, 1969.

Mic83

Ryszard S. Michalski. A theory and methodology of inductive learning. In R. S. Michalski, H. G. Carbonell und T. M. Mitchell (Hg.), Machine Learning, Kapitel 4, S. 83-134. Tioga, Palo Alto, CA, 1983.

Min75

M. Minsky. A framework for representing knowledge. In P. H. Winston (Hg.), The Psychology of Computer Vision, S. 211-277. McGraw-Hill, New York, 1975.

Min82

Jack Minker. On indefinite databases and the closed world assumption. In D. W. Loveland (Hg.), 6th Conference on Automated Deduction, S. 292-308, Berlin, 1982. LNCS 138, Springer.

Mit78

T. M. Mitchell. Version Spaces: An Approach to Concept Learning. PhD thesis, Stanford University, Stanford, CA, 1978.

Moo85a

R. C. Moore. A formal theory of knowledge and action. In J. Hobbs und R. C. Moore (Hg.), Formal theories of the commonsense world, S. 319-358. Ablex, Norwood, NJ, 1985.

Moo85b

R. C. Moore. Semantical considerations on nonmonotonic logics. Artificial Intelligence Journal, 25:75-94, 1985.

MP43

W. S. McCulloch und W. Pitts. A logical calculus and the ideas immanent in nervous activity. Bulletin of Mathematical Biophysics, 5:115-133, 1943.

MP72

M. Minsky und S. Papert. Perceptrons. MIT Press, 1972.

MR90

Yves Moinard und Raymond Rolland. Unexpected and unwanted results of circumscription. In P. Jorrand und V. Sgurev (Hg.), Artificial Intelligence IV -- methodology, systems, applications, S. 61-70, Amsterdam, 1990. North-Holland.

MR91

D. McAllester und D. Rosenblitt. Systematic nonlinear planning. In Proceedings of the National Conference on Artificial Intelligence, S. 634-639, Palo Alto, CA, 1991. American Association for Artificial Intelligence.

MS86

M. Moens und M. Steedman. Temporal information and natural language processing. Edinburg Research Papers in Cognitive Science EUCCS/RP-2, Center for Cognitive Science, University of Edinburgh, 1986.

MST91

W. Marek, G. F. Schwarz und M. Truszczynski. Modal nonmonotonic logic: ranges, characterization, computation. In J. A. Allen, R. Fikes und E. Sandewall (Hg.), Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning, S. 395-404, San Mateo, CA, 1991. Morgan Kaufmann Publishers Inc.

MT89

W. Marek und M. Truszczyński. Relating autoepistemic and default logics. In R. Brachman, H. Levesque und R. Reiter (Hg.), Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning, S. 276-288, Los Altos, CA, 1989. Morgan Kaufmann Publishers Inc.

MTV90

M. Masseron, C. Tollu und J. Vauzielles. Generating plans in linear logic. In Foundations of Software Technology and Theoretical Computer Science, S. 63-75. Springer, LNCS 472, 1990.

Mug91

Stephen Muggleton. Inductive logic programming. New Generation Journal, 8(4):295-318, 1991.

Nat91

Balas K. Natarajan. Machine Learning. Morgan Kaufmann, San Mateo, CA, 1991.

NB87

Heinrich Niemann und Horst Bunke. Künstliche Intelligenz in Bild- und Sprachanalyse. Teubner, Stuttgart, 1987.

Nea90

Richard E. Neapolitan. Probabilistic Reasoning in Expert Systems. Wiley, New York NY, 1990.

Neb90a

B. Nebel. Reasoning and Revision in Hybrid Reasoning Systems, volume 422 aus LNCS. Springer, 1990.

Neb90b

B. Nebel. Terminological reasoning is inherently intractable. Artificial Intelligence Journal, 43:235-249, 1990.

Neb91

B. Nebel. Terminological cycles: Semantics and computational properties. In J. F. Sowa (Hg.), Principles of Semantic Networks, S. 331 - 362. Morgan Kaufmann, 1991.

Nie92

Heinrich Niemann. Pattern Analysis and Understanding. Springer, Berlin, 1992.

Nil80

N. J. Nilsson. Principles of Artificial Intelligence. Tioga, Palo Alto CA, 1980.

Nil86

Nils J. Nilsson. Probabilistic logic. Artificial Intelligence Journal, 28:71-87, 1986.

Nil89

N. J. Nilsson. Action networks. In J. Tenenberg, J. Weber und J. Allen (Hg.), Proceedings from the Rochester Planning Workshop: From Formal Systems to Practical Systems. University of Rochester, Computer Science, TR 284, 1989.

NS90

B. Nebel und G. Smolka. Representation and reasoning with attributive descriptions. In K. H. Bläsius, U. Hedtstück und C.-R. Rollinger (Hg.), Sorts and Types in Artificial Intelligence, S. 112-139. Springer, LNCS 418, 1990.

NS91

Bernhard Nebel und Gert Smolka. Attributive description formalisms ... and the rest of the world. In O. Herzog und C. Rollinger (Hg.), Textunderstanding in LILOG: Integrating Computational Linguistics and Artificial Intelligence. Springer, Berlin, 1991.

NS92

Raymond Ng und V. S. Subrahmanian. Probabilistic logic programming. Unpubliziertes Manuskript, 1992.

Ohl91

Hans Jürgen Ohlbach. Semantics based translation methods for modal logics. Journal of Logic and Computation, 1(5):691-746, 1991.

OSSF92

Masaru Ohki, Kiyokazu Sakane, Jun Sawamoto und Yuichi Fujii. Enhanced qualitative physical reasoning system: Qupras. New Generation Computing, 10(2):223-253, 1992.

Pau89

L. Paulson. The foundation of a generic theorem prover. Journal of Automated Reasoning, 5:363-396, 1989.

Pea86

Judea Pearl. Fusion, propagation, and structuring in belief networks. Artificial Intelligence Journal, 29:241-288, 1986.

Pea87

Judea Pearl. Embracing causality in formal reasoning. In Proceedings National Conference on Artificial Intelligence AAAI-87, Seattle, S. 360-373, Palo Alto, 1987.

Pea88

Judea Pearl. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, Los Altos CA, 1988.

Pei31

C. S. Peirce. Collected Papers of Charles Sanders Peirce, volume 2. Hartshorn et al. eds., Harvard University Press, Cambridge, MA, 1931.

Pen89

Roger Penrose. The Emperor's New Mind. Oxford University Press, Oxford, 1989.

Per85

Donald Perlis. Languages with self-reference. Artificial Intelligence Journal, 25:301-322, 1985.

Per88a

Mark W. Perlin. On the computational equivalence of frames and rules. Technischer Bericht, Dept. Computer Science, Carnegie-Mellon University, Pittsburgh, 1988.

Per88b

Donald Perlis. Autocircumscription. Artificial Intelligence Journal, 36:223-236, 1988.

PMG93

David L. Poole, Alan K. Mackworth und Randolph G. Goebel. Computational Intelligence -- A Logical Approach. 1993. In Vorbereitung.

Pne79

A. Pneuli. The temporal semantics of programs. Theoretical Computer Science, 13:45-60, 1979.

Pol88

John Pollock. Defeasible reasoning. Cognitive Science, 11:481-518, 1988.

Poo87a

D. L. Poole. Defaults and conjectures: Hypothetical reasoning for explanation and prediction. Technischer Bericht CS-87-54, Faculty of Mathematics, University of Waterloo, Waterloo, Ontario, Canada, 1987.

Poo87b

David Poole. A THEORIST to PROLOG Compiler. Technischer Bericht, Univ. of Waterloo, 1987.

Poo88

David Poole. A logical framework for default reasoning. Artificial Intelligence Journal, 36:27-47, 1988.

Poo89

David Poole. What the lottery paradox tells us about default reasoning. In R. Brachmann, H. Levesque und R. Reiter (Hg.), Proc. First Int. Conf. Principles of Knowledge Representation and Reasoning, S. 333-340, Los Altos, 1989. Morgan Kaufmann.

Poo93

David L. Poole. Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence Journal, 1993.

Pos43

E. L. Post. Formal reductions of the general combinatorial decision problem. American Journal of Mathematics, 65:197-268, 1943.

Pri57

A. N. Prior. Time and Modality. Oxford University Press, Oxford, 1957.

Pri67

A. N. Prior. Past, Present and Future. Clarendon Press, Oxford, 1967.

Prz89

T. Przymusinski. An algorithm to compute circumscription. Artificial Intelligence Journal, 38:49-73, 1989.

Put70

Hilary Putnam. Is semantics possible? In H. F. Kiefer und M. K. Munitz (Hg.), Language, Belief, and Metaphysics, S. 50-63. Albany State University Press, Albany, NY, 1970.

Pv90

U. Pletat und K. von Luck. Knowledge representation in LILOG. In K. H. Bläsius, U. Hedtstück und C.-R. Rollinger (Hg.), Sorts and Types in Artificial Intelligence, S. 140-164, Berlin, 1990. Springer.

QI91

Zhaogang Qian und Keki B. Irani. Circumscribing defaults. In John Mylopoulos und Ray Reiter (Hg.), IJCAI-91 -- Proceedings of the Twelfth International Conference on Artificial Intelligence, S. 436-443, San Mateo, CA, 1991. IJCAII, Morgan Kaufmann.

Qui67

M. Ross Quillian. Word concepts: A theory and simulation of some basic semantic capabilities. Behavioral Science, 12:410-430, 1967.

Rab89

Arkady Rabinov. A generalization of collapsible cases of circumscription. Artificial Intelligence Journal, 38:111-117, 1989.

Rai82

H. Raiffa. The Art and Science of Negotiation. Harvard University Press, Cambridge, MA, 1982.

Rai91

Olivier Raiman. Order of magnitude reasoning. Artificial Intelligence Journal, 51:11-38, 1991.

RB80

N. Rescher und R. Brandom. The Logic of Inconsistency. Blackwell, 1980.

RdK87

R. Reiter und J. de Kleer. Foundations of assumption-based truth maintenance systems. In AAAI'87, S. 183-188, Los Altos, 1987. AAAI.

Rei77

Raymond Reiter. On closed world data bases. In H. Gallaire und J.-M. Nicolas (Hg.), Workshop on Logic and Databases, S. 119-140. Plenum, 1977.

Rei80

Raymond Reiter. A logic for default reasoning. Artificial Intelligence Journal, 13:81-132, 1980.

Rei82

Raymond Reiter. Circumscription implies predicate completion (sometimes). In Proceedings National Conference on Artificial Intelligence, S. 418-420, Palo Alto, CA, 1982. American Association for Artificial Intelligence.

Rei83

Raymond Reiter. Towards a logical reconstruction of relational database theory. In M. L. Brodie et al. (Hg.), On Conceptual Modeling, S. 191-238. Springer, Berlin, 1983.

Rei87a

Raymond Reiter. Nonmonotonic reasoning. Annual Review of Computer Science, 2:147-186, 1987.

Rei87b

Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence Journal, 32:57-95, 1987.

Rei90a

R. Reiter. On asking what a database knows. In J. W. Lloyd (Hg.), Computational Logic, S. 96-113, Berlin, 1990. Springer Verlag.

Rei90b

R. Reiter. What should a database know? Technischer Bericht, Department of Computer Science, University of Toronto, Toronto, Canada, 1990.

Rei92

R. Reiter. On formalizing database updates: Preliminary report. In A. Pirotte, C. Delobel und G. Gottlob (Hg.), Advances in Database Technology -- EDBT'92, S. 10-20, 1992.

RG77

R. B. Roberts und I. P. Goldstein. The FRL manual. Technischer Bericht AI Memo No. 409, MIT AI Laboratory, Cambridge MA, 1977.

RHW86

D. E. Rumelhart, G. E. Hinton und R. J. Williams. Learning internal representations by error propagation. In D. E. Rumelhart, J. L. McClelland und the PDP Research Group (Hg.), Parallel Distributed Processing: Explorations in the Microstructure of Cognition. MIT Press, 1986.

Ric78

M. M. Richter. Logikkalküle. Teubner Studienbücher, Stuttgart, 1978.

Ric89

Michael M. Richter. Prinzipien der Künstlichen Intelligenz. Teubner, Stuttgart, 1989.

RMt86

D. E. Rumelhart, J. L. McClelland und the PDP Research Group (Hg.). Parallel Distributed Processing: Explorations in the Microstructure of Cognition, volume I: Foundations. MIT Press, Cambridge MA, 1986.

Ros62

F. Rosenblatt. Principles of Neurodynamics. Spartan, New York NY, 1962.

Ros78

F. Rosch. Philosophical categorization. In F. Rosch und B. B. Lloyds (Hg.), Cognition and Categorization. Lawrence Erlbaum Associates, New York, NY, 1978.

RSZ79

Burkhard Rauhut, Norbert Schmitz und Ernst-Wilhelm Zachow. Spieltheorie -- Eine Einführung in die mathematische Theorie strategischer Spiele. Teubner, Stuttgart, 1979.

RU71

N. Rescher und A. Urquhart. Temporal Logic. Springer, Wien, 1971.

Rus23

Bertrand Russel. Vagueness. Australasian Journal of Psychology and Philosophy, 1:84-92, 1923.

Sac74

E. D. Sacerdoti. Planning in a hierarchie of abstraction spaces. Artificial Intelligence Journal, 5(2):115-135, 1974.

Sac75

E. D. Sacerdoti. The nonlinear nature of plans. In Proceedings of the International Joint Conference on Artificial Intelligence, S. 206-214, San Mateo, CA, 1975. Morgan Kaufmann.

San72

E. Sandewall. An approach to the frame problem and its implementation. In B. Meltzer und D. Michie (Hg.), Machine Intelligence 7, S. 195-204. Edinburgh University Press, 1972.

San86

Erik Sandewall. Non-monotonic inference rules for multiple inheritance with exceptions. Proc. IEEE, 74:1345-1353, 1986.

Sav85

Stuart E. Savory. Künstliche Intelligenz und Expertensysteme. Oldenbourg, München, 2. edition, 1985.

SBMC83

M. Stefik, D. G. Bobrow, S. Mittal und L. Conway. Knowledge programming in LOOPS: Report on an experimental course. AI Magazine, 4(3):3-13, 1983.

Sch72

R. Schank. Conceptual dependency: A theory of natural language understanding. Cognitive Psychology, 3:552-631, 1972.

Sch76

L. K. Schubert. Extending the expressive power of semantic networks. Artificial Intelligence Journal, 7(2):163-198, 1976.

Sch87a

U. Schöning. Logik für Informatiker, volume 56 aus Reihe Informatik. BI, 1987.

Sch87b

M. J. Schoppers. Universal plans for reactive robots in unpredictable environments. In Proceedings of the International Joint Conference on Artificial Intelligence, S. 1039-1046, San Mateo, 1987. Morgan Kaufmann.

Sch89

M. J. Schoppers. Representation and Automatic Synthesis of Reaction Plans. PhD thesis, University of Illinois, Department of Computer Science, 1989.

Sch90

Torsten Schaub. Nichtmonotone Logiken und ein Default-Beweiser. Master's thesis, Technische Hochschule Darmstadt, Darmstadt, Germany, 1990.

Sch91

Torsten Schaub. Assertional default theories: A semantical view. In J. A. Allen, R. Fikes und E. Sandewall (Hg.), Proc. Second Int. Conf. Principles of Knowledge Representation and Reasoning, San Mateo CA, 1991. Morgan Kaufmann.

Sch92

Torsten Schaub. Considerations on Default Logics. Dissertation, FG Intellektik, FB Informatik, Technische Hochschule Darmstadt, 1992.

SD90

J. Shavlik und T. Diettrich (Hg.). Readings in Machine Learning. Morgan Kaufmann, San Mateo, CA, 1990.

Sei89

C. M. Seifert. Analogy and case-based reasoning. In Kristian J. Hammond (Hg.), Proceedings: Case-Based Reasoning Workshop, S. 125-129, San Mateo CA, 1989. DARPA, Morgan Kaufmann.

SFH92

Paul Suetens, Pascal Fua und Andrew J. Hanson. Computational strategies for object recognition. ACM Computing Surveys, 24(1):5-61, March 1992.

Sha76

G. Shafer. A Mathematical Theory of Evidence. Princeton University Press, Princeton NJ, 1976.

Sha83

Ehud Y. Shapiro. Algorithmic Program Debugging. An ACM Distinguished Dissertation. The MIT Press, Cambridge, Massachusetts, 1983.

Sha86

G. Shafer. Probabilistic judgement in artificial intelligence. In L. N. Kanal und J. F. Lemmer (Hg.), Uncertainty in Artificial Intelligence. North-Holland, Amsterdam, 1986.

Sha88

L. Shastri. Semantic Networks: An Evidential Formalization and its Connectionist Realization. Research Notes in Artificial Intelligence. Pitman, London, 1988.

She84

J. C. Shepherdson. Negation as failure: A comparison of Clark's completed data base and Reiter's closed world assumption. Journal for Logic Programming, 1:51-79, 1984.

Sho67

Joseph R. Shoenfield. Mathematical Logic. Addison-Wesley, Reading MA, 1967.

Sho76

E. H. Shortliffe. Computer-based medical consultation: MYCIN. American Elsevier, New York NY, 1976.

Sim73

R. F. Simmons. Semantic networks: Their computation and use for understanding english. In R. Schank und K. Colby (Hg.), Computer Models of Thought and Language, S. 63-113. Freeman, San Francisco, 1973.

Ski38

B. F. Skinner. The behavior of organisms: An experimental analysis. Appleton Century Crofts, New York, 1938.

Sla91

Stephen Slade. Case-based reasoning: A research paradigm. AI Magazine, (1):42-55, 1991.

Slo75

Aaron Sloman. Afterthoughts on analogical representations. In Proc. Theoretical Issues in Natural Language Processing, S. 164-168, Cambridge MA, 1975.

Slo92

Aaron Sloman. The emperor's real mind: review of Roger Penrose's the emperor's new mind: concerning computers, minds and the laws of physics. Artificial Intelligence Journal, 56(2-3):355-396, 1992.

SM92

Y. Shoham und D. V. McDermott. Temporal reasoning. In S. C. Shapiro (Hg.), Encyclopedia of Artificial Intelligence, S. 1334-1339. John Wiley & Sons, 1992.

SM93

Yoav Shoham und Yoram Moses. Belief as defeasible knowledge. Artificial Intelligence Journal, 1993.

Smi85

Brian C. Smith. Prologue to ``Reflection and semantics in a procedural language''. In Ronald J. Brachman und Hector J. Levesque (Hg.), Readings in Knowledge Representation, Kapitel 3, S. 31-40. Morgan Kaufmann, Los Altos, 1985.

Som92

Léa Sombé. Schließen bei unsicherem Wissen in der Künstlichen Intelligenz. Vieweg, Braunschweig, 1992.

SR74

Roger C. Schank und Charles J. Rieger III. Inference and the computer understanding of natural language. Artificial Intelligence Journal, 5:373-412, 1974.

ST88

Joachim W. Schmidt und C. Thanos (Hg.). Foundations of Knowledge Base Management. Springer, Berlin, 1988.

Sta68

R. Stalnaker. A theory of conditionals. In N. Rescher (Hg.), Studies in Logical Theory, S. 98-112. Blackwell, Oxford, 1968.

Ste84

Guy L. Steele Jr. COMMON LISP -- The Language. Digital Equipment Corporation, Burlington, 1984.

Ste92

Lynn Andrea Stein. Resolving ambiguity in nonmonotonic inheritance hierarchies. Artificial Intelligence Journal, 55(2-3):259-310, 1992.

Sto88

Herbert Stoyan (Hg.). Begründungsverwaltung, Berlin, 1988. Springer.

Sto89

Herbert Stoyan. Wissensrepräsentation oder Programmierung? Unpublished, 1989.

Sza69

M. E. Szabo (Hg.). The collected papers of Gerhard Gentzen. North-Holland, Amsterdam, 1969.

Tar36

Alfred Tarski. Der Wahrheitsbegriff in formalisierten Sprachen. Studia Philosophica, 1, 1936.

Tat77

A. Tate. Generating project networks. In Proceedings of the International Joint Conference on Artificial Intelligence, S. 888-893, San Mateo, CA, 1977. Morgan Kaufmann Publishers.

Teo90

Toby J. Teorey. Database Modeling and design. Morgan Kaufmann, San Mateo CA, 1990.

TH92

S. Thiébaux und J. Hertzberg. A semi-reactive planner based on a possible models action formalization. In J. Hendler (Hg.), Artificial Intelligence Planning Systems: Proceedings of the First International Conference (AIPS92), S. 228-235. Morgan Kaufmann, 1992.

THD90

A. Tate, J. Hendler und M. Drummond. A review of AI planning techniques. In J. Allen, J. Hendler und A. Tate (Hg.), Readings in Planning, S. 26-49. Morgan Kaufmann, 1990.

Thi93

Michael Thielscher. On prediction in Theorist. Artificial Intelligence Journal, 60(2):283-292, 1993.

Tho91

Richmond Thomason. Logicism, AI, and common sense: John McCarthy's program in philosophical perspective. In Vladimir Lifshitz (Hg.), Artificial Intelligence and Mathematical Theory of Computation -- Papers in Honor of John McCarthy, S. 449-466. Academic Press, Boston, 1991.

Tou86

David S. Touretzky. The Mathematics of Inheritance Systems. Research Notes in Artificial Intelligence. Pitman and Morgan Kaufmann, London, 1986.

Tru91

M. Truszczynski. Modal interpretations of default logic. In John Mylopoulos und Ray Reiter (Hg.), IJCAI-91 -- Proceedings of the Twelfth International Conference on Artificial Intelligence, S. 393-398, San Mateo, CA, 1991. IJCAII, Morgan Kaufmann.

Val84

L. G. Valiant. A theory of the learnable. Communications of the ACM, 27(11):1134-1142, 1984.

vB91

J. van Benthem. The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse. Kluwer, second edition, 1991.

Voo91

Frans Voorbraak. On the justification of Dempster's rule of combination. Artificial Intelligence Journal, 48(2):171-197, 1991.

vRS91

A. van Gelder, K. Ross und J. S. Schlipf. The well-founded semantics for general logic programs. JACM, 38:620-650, 1991.

Wag91

Gerd Wagner. Ex contradictione nihil sequitur. In John Mylopoulos und Ray Reiter (Hg.), IJCAI-91 -- Proceedings of the Twelfth International Conference on Artificial Intelligence, S. 538-543, San Mateo, CA, 1991. IJCAII, Morgan Kaufmann.

Wal87

C. Walther. A Many-Sorted Calculus Based on Resolution and Paramodulation. Pitman, London, 1987.

Wal90

Lincoln A. Wallen. Automated Deduction in Non-Classical Logics. MIT Press, Cambridge, Mass., 1990.

War74

D. H. D. Warren. WARPLAN: A system for generating plans. Memo 76, Univ. of Edinburgh, School of Artificial Intelligence, Department of Computational Logic, Edinburgh, UK, 1974.

Wed90

Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA, 1990.

Wey80

Richard W. Weyhrauch. Prolegomena to theory of mechanized formal reasoning. Artificial Intelligence Journal, 13(1,2):133-170, 1980. Also in [BL85], chapter 16, pp. 309-328.

Wil87

R. Wille. Bedeutungen von Begriffsverbänden. In B. Ganter, R. Wille und K. E. Wolff (Hg.), Beiträge zur Begriffsanalyse, S. 161-211. Bibliographisches Institut, Mannheim, 1987.

Wil88

D. E. Wilkins. Practical Planning: Extending the classical AI planning paradigm. Morgan Kaufmann Publishers Inc., San Mateo, CA, 1988.

Wit58

Ludwig Wittgenstein. Philosophische Untersuchungen, volume I aus Schriften. Suhrkamp, 2. edition, 1958.

WK84

Sholom M. Weiss und Casimir A. Kulikowski. A Practical Guide to Designing Expert Systems. Rowman & Allanheld, Totowa, NJ, 1984.

Woo75

William A. Woods. What's in a link: Foundations for semantic networks. In D. G. Bobrow und A. M. Collins (Hg.), Representation and Understanding: Studies in Cognitive Science, S. 35-82. Academic Press, New York NY, 1975.

Zad75

Lotfi Zadeh. The concept of a linguistic variable and its application to approximate reasoning i -- iii. Information Sciences, 8:199-250, 301-357, 1975.

Zad78

Lotfi Zadeh. PRUF -- A meaning representation language for natural languages. Intern. Journal for Man-Machine Studies, 10:395-460, 1978.

Zim85

Hans J. Zimmermann. Fuzzy Set Theory -- and Its Applications. Kluwer, Boston, 1985.

Zus59

Konrad Zuse. Über den plankalkül. Elektronische Rechenanlagen, 1(2), 1959.

Zus70

Konrad Zuse. Der Computer mein Lebenswerk. moderne industrie, München, 1970.

Zus49

Konrad Zuse. Über den Plankalkül als Mittel zur Formulierung schematisch kombinativer Aufgaben. Archiv der Mathematik, 1(6), 1948/49.