Principles of knowledge representation and reasoning : proceedings of the third international conference (KR '92) /

QR-Code

Principles of knowledge representation and reasoning : proceedings of the third international conference (KR '92) /

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Rich, Charles, 1951-, Swartout, William R., Nebel, Bernhard, 1956-
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	San Mateo, Calif. : M. Kaufmann, c1992.
Schriftenreihe:	The Morgan Kaufmann series in representation and reasoning,
Schlagworte:	Knowledge representation (Information theory) > Congresses. Reasoning. Logic, Symbolic and mathematical.
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Mathematics and plausible reasoning
von: Polya, George, 1887-1985
Veröffentlicht: (1968)

Formal methods in artificial intelligence /
von: Ramsay, Allan, 1953-
Veröffentlicht: (1988)

Principles of mathematical logic /
von: Hilbert, D.
Veröffentlicht: (1990)

Nomological Deductive Reasoning for Trustworthy, Human-Readable, and Actionable AI Outputs
von: Gedeon Hakizimana, et al.
Veröffentlicht: (2025-05-01)

An introduction to the nature of proof /
von: Del Grande, J. J.
Veröffentlicht: (1967)

The logical and set-theoretical foundations of mathematics /
von: Zulauf, Achim
Veröffentlicht: (1969)

Elements of logic and foundations of mathematics in problems /
von: Wiktor, Marek
Veröffentlicht: (1982)

An introduction to mathematical logic and type theory : to truth through proof /
von: Andrews, P. B. (Peter Bruce), 1937-
Veröffentlicht: (1986)

Sets, logic, and axiomatic theories /
von: Stoll, Robert Roth
Veröffentlicht: (1961)

Sets and logic 1 /
von: Bailey, C. A. R.
Veröffentlicht: (1964)

Elements of mathematical logic and set theory /
von: Slupecki, J.
Veröffentlicht: (1967)

The computer modelling of mathematical reasoning
von: Bundy, Alan
Veröffentlicht: (1983)

Handbook of mathematical logic /
Veröffentlicht: (1977)

Introduction to symbolic logic /
von: Smith, Karl J.
Veröffentlicht: (1991)

Mathematical logic /
von: Kleene, Stephen Cole
Veröffentlicht: (1967)

Introduction to mathematical logic
von: Mendelson, Elliott
Veröffentlicht: (1979)

Logic and structure
von: Dalen, D. van (Dirk van), 1932-
Veröffentlicht: (1980)

The language of logic /
von: Freudenthal, Hans, 1905-
Veröffentlicht: (1966)

The elements of mathematical logic /
von: Rosenbloom, Paul C.
Veröffentlicht: (1950)

Logic of mathematics : a modern course of classical logic /
von: Adamowicz, Zofia
Veröffentlicht: (1997)

A course in mathematical logic
von: Bell, J. L. (John Lane)
Veröffentlicht: (1977)

Logic and structure
von: Dalen, D. van (Dirk), 1932-
Veröffentlicht: (1983)

Logic for information technology /
von: Galton, Antony
Veröffentlicht: (1990)

Dictionary of symbols of mathematical logic /
Veröffentlicht: (1969)

How to read and do proofs an introduction to mathematical thought process
von: Solow, Daniel
Veröffentlicht: (1982)

Direct and converse theorems : the elements of symbolic logic /
von: Gradshtein, I. S.
Veröffentlicht: (1963)

Mathematical thinking /
von: Godwin, D. C.
Veröffentlicht: (1971)

Foundations of computing : system development with set theory and logic /
von: Scheurer, Thierry
Veröffentlicht: (1994)

An introduction to modern mathematics /
von: Monjallon, Albert
Veröffentlicht: (1967)

Objective knowledge an evolutionary approach
von: Popper, Karl Raimund, Sir, 1902-
Veröffentlicht: (1972)

Enhancing Urban Air Mobility Scheduling Through Declarative Reasoning and Stakeholder Modeling
von: Jeongseok Kim, et al.
Veröffentlicht: (2025-07-01)

Knowledge engineering toolkits /
von: Price, Chris J.
Veröffentlicht: (1990)

Math and logic games
von: Agostini, Franco
Veröffentlicht: (1983)

Introduction to the foundations of mathematics /
von: Wilder, Raymond Louis, 1896-
Veröffentlicht: (1965)

Logic and algorithms : with applications to the computer and information sciences /
von: Korfhage, Robert R.
Veröffentlicht: (1966)

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Veröffentlicht: (1982)

Spatial and non-verbal reasoning abilities in first-year female DVM students before and after 4 h of canine osteology training or 19 h of canine dissection: preliminary study
von: J. Claudio Gutierrez, et al.
Veröffentlicht: (2025-07-01)

Readings in argumentation /
Veröffentlicht: (1992)

Dialectics and the macrostructure of arguments : a theory of argument structure /
von: Freeman, James B.
Veröffentlicht: (1991)

Theoretical aspects of reasoning about knowledge : proceedings of the fourth conference (TARK 1992), March 22-25, 1992, Monterey, California /
Veröffentlicht: (1992)