Knowledge representing schemes for planning

Authors:
Wan-Bih Liaw;Frank M. Brown
Affiliations:
Department of Computer Science, SNOW 415, The University of Kansas, Lawrence, KS;Department of Computer Science, SNOW 415, The University of Kansas, Lawrence, KS
Venue:
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Year:
1992

Citing 7
Cited 0

A resolution method for quantified modal logics of knowledge and belief

Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Logics of time and computation

Logics of time and computation
Planning for conjunctive goals

Artificial Intelligence
On formalizing commonsense reasoning using the modal situation logic and reflective reasoning

On formalizing commonsense reasoning using the modal situation logic and reflective reasoning
Fuzzy Logic and the Resolution Principle

Journal of the ACM (JACM)
A deduction model of belief and its logics

A deduction model of belief and its logics
Generalizing problem reduction: a logical analysis

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

An investigation of recent development of planning systems is performed, with emphasis on issues of knowledge representation, and the possible solutions for representing the effects of actions are pointed out.