Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : Theoretical aspects of reasoning about knowledge [Texte électronique] : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California / edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery

Publication : Los Altos, Calif. : M. Kaufmann Publishers, cop. 1986

Description matérielle : 1 ressource dématérialisée

Note(s) : Includes bibliographical references and index

Autre(s) auteur(s) : Halpern, Joseph Y. (1953-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
International Business Machines Corporation. Fonction indéterminée  Voir les notices liées en tant qu'auteur
American association for artificial intelligence. Fonction indéterminée  Voir les notices liées en tant qu'auteur
United States. Office of Naval Research. Office of Naval Research. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Association for computing machinery. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Autre(s) forme(s) du titre : 
- Autre forme du titre : Also known as : TARK '86
- : Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning about Knowledge

Sujet(s) : Intelligence artificielle  Voir les notices liées en tant que sujet
Théorie de la connaissance  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet
Raisonnement  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  006.3 (23e éd.) = Intelligence artificielle et calcul naturel  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9780934613040

Identifiant de la notice  : ark:/12148/cb44652374z

Notice n° :  FRBNF44652374 (notice reprise d'un réservoir extérieur)

Table des matières : Session 1. Reasoning about knowledge: an overview / Joseph Y. Halpern. Varieties of self-reference / B. Smith. Pegs and alecs / F. Landman ; Session 2. Reasoning about knowledge in philosophy: the paradigm of epistemic logic / J. Hintikka ; Session 3. Reasoning about knowledge in artificial intelligence (invited talk--abstract only) / R. Moore. The synthesis of digital machines with provable epistemic properties / S. Rosenschein, L. Kaelbling. A first order theory of planning, knowledge, and action / L. Morgenstern. The consistency of syntactical treatments of knowledge / J. des Rivières, H. Levesque. The knower's paradox and representational theories of attitudes / N. Asher, J. Kamp ; Session 4. Knowledge and common knowledge in a byzantine environment I: crash failures / C. Dwork and Y. Moses. Foundations of knowledge for distributed systems / M. Fischer, N. Immerman. Knowledge and implicit knowledge in a distributed environment: preliminary report / R. Fagin and M. Vardi. The