Remarks on the status of 'Inference' in the area of 'Knowledge Representation'

Organizzazione del 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)

Giuseppe De Giacomo
Marco Schaerf

January 2012

Knowledge Representation and Reasoning (KR&R) is a well-established and vibrant field of research. K...

Inferences in Discourse, Psychology of

Noordman, L.
Vonk, W.

January 2015

An inference is defined as the information that is not expressed explicitly by the text but is deriv...

Assertion, inference, and consequence

Pagin, Peter

January 2012

In this paper the informativeness account of assertion (Pagin in Assertion. Oxford University Press,...

Inference mechanisms in knowledge-based systems: theory and applications Proceedings

Dix, J.
Hoelldobler, S. (comps.)
Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Informatik

January 1998

Available from TIB Hannover: RO 6844(1998,19) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Knowledge representation from a deductive point of view

Bibel, W.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1983

SIGLETIB Hannover: RO 7624(19) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informa...

Perspectives on knowledge representation

Heyer, G.
Lutze, R.
Triumph-Adler A.G., Nuernberg (Germany). Basisentwicklung/Neue Technologien

January 1985

SIGLETIB: RO 3425 (85-4) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Semantic validation of inferences in terminological representation systems

Thomsen, J.
Berlin Technische Univ. (Germany). Projektgruppe Kuenstliche Intelligenz und Textverstehen (KIT)

January 1991

SIGLEAvailable from TIB Hannover: RO11(90) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

How to represent evidence - aspects of uncertain reasoning

Rollinger, C.R.
Berlin Technische Univ. (Germany). Projektgruppe Kuenstliche Intelligenz und Textverstehen (KIT)

January 1983

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

An inference engine for representing multiple theories

Emde, W.
Berlin Technische Univ. (Germany). Projektgruppe Kuenstliche Intelligenz und Textverstehen (KIT)

January 1988

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

New AI formalisms for knowledge representation: A case study

Luck, K. von (Berlin Technische Univ. (Germany))
Owsnicki-Klewe, B. (Philips G.m.b.H. Forschungslaboratorium, Hamburg (Germany))
Berlin Technische Univ. (Germany). Projektgruppe Kuenstliche Intelligenz und Textverstehen (KIT)

January 1987

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...

How to represent evidence - Aspects of uncertain reasoning

Rollinger, C.R.
Technische Univ. Berlin (Germany, F.R.). Fachbereich Informatik
Bundesministerium fuer Forschung und Technologie, Bonn (Germany, F.R.)

January 1983

SIGLETIB: RO 11 (3) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbiblio...

Proceedings of the Workshop on knowledge representation and configuration

Buerckert, H.J.
Guenter, A. (Bremen Univ. (Germany). Technologie-Zentrum Informatik)
Baader, F. (Technische Hochschule Aachen (Germany))
Nutt, W. (Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Saarbruecken (Germany)) (eds.)
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Kaiserslautern (Germany)
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Saarbruecken (Germany)

January 1996

Available from TIB Hannover: RR 1813(96-04) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Massively parallel inference systems Abstracts of the workshop on massively parallel inference systems

Suttner, C.
Fronhoefer, B.
Furbach, U.
Muenchen Technische Univ. (Germany). Sonderforschungsbereich 342 - Methoden und Werkzeuge fuer die Nutzung Paralleler Rechnerarchitekturen
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1991

SIGLEAvailable from TIB Hannover: RN 7878(9103) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Papers on reference and knowledge representation

Block, R.
Bundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)
Nixdorf Computer A.G., Paderborn (Germany).
Scientific Control Systems G.m.b.H. (SCS), Muenchen (Germany)
Siemens A.G., Muenchen (Germany)
Saarland Univ., Saarbruecken (Germany)
Hamburg Univ. (Germany)

January 1987

SIGLETIB Hannover: RO 4633(20) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informa...

Information theoretic approaches to inference in moment condition models

Imbens, G.W.
Johnson, P.
Spady, R.H
Nuffield College Oxford (United Kingdom)

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:3597.921(99) / BLDSC - British Libra...

Organizzazione del 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)

Giuseppe De Giacomo
Marco Schaerf

January 2012

Knowledge Representation and Reasoning (KR&R) is a well-established and vibrant field of research. K...

Inferences in Discourse, Psychology of

Noordman, L.
Vonk, W.

January 2015

An inference is defined as the information that is not expressed explicitly by the text but is deriv...

Assertion, inference, and consequence

Pagin, Peter

January 2012

In this paper the informativeness account of assertion (Pagin in Assertion. Oxford University Press,...

Inference mechanisms in knowledge-based systems: theory and applications Proceedings

Dix, J.
Hoelldobler, S. (comps.)
Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Informatik

January 1998

Available from TIB Hannover: RO 6844(1998,19) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Knowledge representation from a deductive point of view

Bibel, W.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1983

SIGLETIB Hannover: RO 7624(19) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informa...

Perspectives on knowledge representation

Heyer, G.
Lutze, R.
Triumph-Adler A.G., Nuernberg (Germany). Basisentwicklung/Neue Technologien

January 1985

SIGLETIB: RO 3425 (85-4) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Semantic validation of inferences in terminological representation systems

Thomsen, J.
Berlin Technische Univ. (Germany). Projektgruppe Kuenstliche Intelligenz und Textverstehen (KIT)

January 1991

SIGLEAvailable from TIB Hannover: RO11(90) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

How to represent evidence - aspects of uncertain reasoning

Rollinger, C.R.
Berlin Technische Univ. (Germany). Projektgruppe Kuenstliche Intelligenz und Textverstehen (KIT)

January 1983

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

An inference engine for representing multiple theories

Emde, W.
Berlin Technische Univ. (Germany). Projektgruppe Kuenstliche Intelligenz und Textverstehen (KIT)

January 1988

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

New AI formalisms for knowledge representation: A case study

Luck, K. von (Berlin Technische Univ. (Germany))
Owsnicki-Klewe, B. (Philips G.m.b.H. Forschungslaboratorium, Hamburg (Germany))
Berlin Technische Univ. (Germany). Projektgruppe Kuenstliche Intelligenz und Textverstehen (KIT)

January 1987

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...

How to represent evidence - Aspects of uncertain reasoning

Rollinger, C.R.
Technische Univ. Berlin (Germany, F.R.). Fachbereich Informatik
Bundesministerium fuer Forschung und Technologie, Bonn (Germany, F.R.)

January 1983

SIGLETIB: RO 11 (3) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbiblio...

Proceedings of the Workshop on knowledge representation and configuration

Buerckert, H.J.
Guenter, A. (Bremen Univ. (Germany). Technologie-Zentrum Informatik)
Baader, F. (Technische Hochschule Aachen (Germany))
Nutt, W. (Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Saarbruecken (Germany)) (eds.)
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Kaiserslautern (Germany)
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Saarbruecken (Germany)

January 1996

Available from TIB Hannover: RR 1813(96-04) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Massively parallel inference systems Abstracts of the workshop on massively parallel inference systems

Suttner, C.
Fronhoefer, B.
Furbach, U.
Muenchen Technische Univ. (Germany). Sonderforschungsbereich 342 - Methoden und Werkzeuge fuer die Nutzung Paralleler Rechnerarchitekturen
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1991

SIGLEAvailable from TIB Hannover: RN 7878(9103) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Papers on reference and knowledge representation

Block, R.
Bundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)
Nixdorf Computer A.G., Paderborn (Germany).
Scientific Control Systems G.m.b.H. (SCS), Muenchen (Germany)
Siemens A.G., Muenchen (Germany)
Saarland Univ., Saarbruecken (Germany)
Hamburg Univ. (Germany)

January 1987

SIGLETIB Hannover: RO 4633(20) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informa...

Information theoretic approaches to inference in moment condition models

Imbens, G.W.
Johnson, P.
Spady, R.H
Nuffield College Oxford (United Kingdom)

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:3597.921(99) / BLDSC - British Libra...

Organizzazione del 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)

Giuseppe De Giacomo
Marco Schaerf

January 2012

Knowledge Representation and Reasoning (KR&R) is a well-established and vibrant field of research. K...

Inferences in Discourse, Psychology of

Noordman, L.
Vonk, W.

January 2015

An inference is defined as the information that is not expressed explicitly by the text but is deriv...

Assertion, inference, and consequence

Pagin, Peter

January 2012

In this paper the informativeness account of assertion (Pagin in Assertion. Oxford University Press,...

Remarks on the status of 'Inference' in the area of 'Knowledge Representation'

Abstract

Extracted data

Remarks on the status of 'Inference' in the area of 'Knowledge Representation'

Abstract

Extracted data

Related items

Related items