The Synthesis of Algorithmic Systems
Journal of the ACM (JACM)
LISP 1.5 Programmer's Manual
EXDAMS: extendable debugging and monitoring system
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
Contexts and Views in Object-Oriented Languages
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Resolution, Refinements, and Search Strategies: A Comparative Study
IEEE Transactions on Computers
Deductive retrieval mechanisms for state description models
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
MAGMA-Lisp: a "Machine language" for artificial intelligence
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
From systems to logic in the early development of nonmonotonic reasoning
Artificial Intelligence
Efficient symmetry reduction for an actor-based model
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
CONCUR: A language for continuous, concurrent processes
Computer Languages
Decidability problems for actor systems
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Hi-index | 0.00 |
Since the last IJCAI, the PLANNER problem solving formalism has continued to develop. Our eplstemolgy for the foundations for problem solving has been extended. An overview of the formalism Is given from an Information processing view point. A simple example Is explained using snapshots of the state of the problem solving as the example Is worked, finally, current applications for the formalism are listed.