Theoretical aspects of reasoning about knowledge

Conference · Tue Dec 31 23:00:00 EST 1985

OSTI ID:5635596

Halpern, J Y

This book contains papers presented at a conference on reasoning about knowledge. Topics included reasoning about knowledge in artificial intelligence, the synthesis of digital machines with provable lipistemic properties, a first order theory of planning, knowledge, and action, the Knawas paradox and representation theories of attitudes, knowledge and common knowledge in byzantine environments: crash failures, foundations of knowledge for distributed systems, knowledge and implicit in a distributed environment, the logic of distributed protocols, objects of knowledge and belief, paradoxes and semantic representation, knowledge and efficient computation, realizability semantics and error tolerant logics, and a theoretical framework for intuitionistic model logic.

• OSTI ID: 5635596
• Report Number(s): CONF-8603170-
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS
990210* -- Supercomputers-- (1987-1989)
ABSTRACTS
ARTIFICIAL INTELLIGENCE
COMMUNICATIONS
COMPUTER CALCULATIONS
DATA TRANSMISSION
DIGITAL SYSTEMS
DOCUMENT TYPES
EFFICIENCY
ELECTRONIC CIRCUITS
EQUIPMENT INTERFACES
ERRORS
FUNCTIONS
GAME THEORY
INTEGRATED CIRCUITS
KNOWLEDGE BASE
LEADING ABSTRACT
MATHEMATICAL LOGIC
MATHEMATICS
MICROELECTRONIC CIRCUITS
PLANNING
POLYNOMIALS
PROBABILITY
RESEARCH PROGRAMS
STATISTICS