首页>外文会议>Conference on Theoretical aspects of reasoning about knowledge

Conference on Theoretical aspects of reasoning about knowledge

召开年：1986
召开地：Monterey, CA(US)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Reasoning about knowledge

机译：关于知识的推理
- 作者：Joseph Y. Halpern
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
2.Varieties of self-reference

机译：各种自我参照
- 作者：Brian Cantwell Smith;PBrian Cantwell Smith
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
3.Pegs and alecs

机译：钉子
- 作者：Fred Landman
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
4.Reasoning about knowledge in philosophy

机译：哲学知识的推理
- 作者：Jaakko Hintikka
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
5.Reasoning about knowledge in artificial intelligence

机译：人工智能知识的推理
- 作者：Robert C. Moore;PRobert C. Moore
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
6.The synthesis of digital machines with provable epistemic properties

机译：具有可证明的认知特性的数字机器的合成
- 作者：Stanley J. Rosenschein;Leslie Pack Kaelbling;PLeslie Pack Kaelbling
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
7.A first order theory of planning, knowledge, and action

机译：计划，知识和行动的一阶理论
- 作者：Leora Morgenstern
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
8.The consistency of syntactical treatments of knowledge

机译：知识的句法处理的一致性
- 作者：Jim des Rivieres;Hector J. Levesque
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
9.The knower's paradox and representational theories of attitudes

机译：知识者的悖论与态度的表征理论
- 作者：Nicholas M. Asher;Johan A. W. Kamp
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
10.Knowledge and common knowledge in a byzantine environment I

机译：拜占庭环境中的知识和常识I
- 作者：Cynthia Dwork;Yoram Moses;PCynthia Dwork;PYoram Moses
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
11.Foundations of knowledge for distributed systems

机译：分布式系统的知识基础
- 作者：Michael J. Fischer;Neil Immerman;PMichael J. Fischer;PNeil Immerman
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
12.Knowledge and implicit knowledge in a distributed environment

机译：分布式环境中的知识和隐性知识
- 作者：Ronald Fagin;Moshe Y. Vardi;PRonald Fagin
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
13.The logic of distributed protocols

机译：分布式协议的逻辑
- 作者：Richard E. Ladner;John H. Reif;PJohn H. Reif
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
14.Panel: objects of knowledge and belief

机译：小组：知识和信仰的对象
- 作者：Joseph Y. Halpern
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
15.Paradoxes and semantic representation

机译：悖论与语义表示
- 作者：Richmond H. Thomason
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
16.What awareness isn't

机译：什么意识不是
- 作者：Kurt Konolige;PKurt Konolige
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
17.Reasoning about knowledge in economics

机译：经济学知识推理
- 作者：Robert J. Aumann
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
18.Summary of 'on Aumann's notion of common knowledge'

机译：“关于欧曼的常识概念”的摘要
- 作者：Tommy Chin-Chiu Tan;Sergio Ribeiro Da Costa Werlang
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
19.On play by means of computing machines

机译：通过计算机进行游戏
- 作者：Nimrod Megiddo;Avi Wigderson;PNimrod Megiddo;PAvi Wigderson
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
20.A theory of higher order probabilities

机译：高阶概率理论
- 作者：Haim Gaifman
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
21.On epistemic logic and logical omniscience

机译：论认识逻辑与逻辑全知
- 作者：Moshe Y. Vardi
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
22.Mental situation calculus

机译：心理状况演算
- 作者：John C. McCarthy;PJohn C. McCarthy
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
23.A resolution method for quantified modal logics of knowledge and belief

机译：知识和信念的量化模态逻辑的解析方法
- 作者：Christophe Geissler;Kurt Konolige;PKurt Konolige
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
24.Steps towards a first-order logic of explicit and implicit belief

机译：迈向显式和隐式信念的一阶逻辑的步骤
- 作者：Gerhard Lakemeyer
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
25.Logicians who reason about themselves

机译：推理自己的逻辑学家
- 作者：Raymond M. Smullyan
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
26.Knowledge and efficient computation

机译：知识和高效计算
- 作者：Silvio Micali;PSilvio Micali
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
27.Realizability semantics for error-tolerant logics

机译：容错逻辑的可实现性语义
- 作者：John C. Mitchell;Michael J. ODonnell;PJohn C. Mitchell;PMichael J. ODonnell
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
28.Theoretical foundations for belief revision

机译：信念修正的理论基础
- 作者：Joao P. Martins;Stuart C. Shapiro;PJoao P. Martins;PStuart C. Shapiro
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年
29.A framework for intuitionistic modal logics

机译：直觉模态逻辑框架
- 作者：Gordon Plotkin;Colin Stirling;PGordon Plotkin
- 会议名称：《Conference on Theoretical aspects of reasoning about knowledge》 | 1986年