Searching for "Implementing Knowledge-Based Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

Implementing knowledge-based programs
by Moshe Y. Vardi — 1996 — In Proc. of the Conf. on Theoretical Aspects of Rationality and Knowledge
…Implementing Knowledge-Based Programs Moshe Y. Vardi* Rice University Abstract Reasoning about…
Cited by 9 (0 self) – Add To MetaCart

Finite State Implementations of Knowledge-Based Programs (Extended Abstract)
by Ron Van Der Meyden — 1996 — In Proceedings of the Conference on Foundations of Software Technology and Theoretical Computer Science, Springer LNCS No. 1180
…Finite State Implementations of Knowledge-Based Programs (Extended Abstract) Ron van der Meyden…
Cited by 7 (4 self) – Add To MetaCart

Constructing finite state implementations of knowledge based programs with perfect recall
by Ron Van Der Meyden — 1996 — In Intelligent Agent Systems: Theoretical and Practical Issues
…, PRICAI workshop Slide 1 Slide 3 Constructing finite state implementations of knowledge based Algorithmic…
Cited by 3 (1 self) – Add To MetaCart

Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments (Extended
by Ron Van Der Meyden — 1996 — Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge
… the relationship between knowledge based programs and their concrete implementations. We present a variant…
Cited by 7 (2 self) – Add To MetaCart

Sequence Transmission Problem
by unknown authors
…); halt. Questions concerning the implementation of knowledge-based programs: A knowledge-based program…
Add To MetaCart

Knowledge-Based Techniques for Network Management
by Trita-it R, Vahur Kotkas, Vahur Kotkas, Enn Tyugu, Enn Tyugu — 1994
… for knowledge representation by users. They have been implemented in the knowledge-based programming environment…
Cited by 1 (1 self) – Add To MetaCart

On Knowledge-Based Programming with Sensing in the Situation Calculus
by Ray Reiter — 2000 — ACM Transactions on Computational Logic
… The starting point for our implemention of knowledge-based programs is the observation that, in a certain…
Cited by 29 (0 self) – Add To MetaCart

NCL: A Common Language for Achieving Rule-Based Interoperability among Heterogeneous Systems
by Stanley Su, Stanley Y. W. Su, Herman Lam, Herman Lam, Tsae-Feng Yu, Tsae-feng Yu, Javier A. Arroyo-Figueroa, Javier A. Arroyo-figueroa, Zhidong Yang, Zhidong Yang, Sooha Lee, Sooha Lee — 1996 — Journal of Intelligent Information Systems, Special Issue on Intelligent Integration of Information
… of an implemented knowledge base programming language developed at the University of Florida [Shyy and Su 1991…
Cited by 9 (3 self) – Add To MetaCart

On Bridging and Extending OMG/IDL and STEP/EXPRESS for Achieving Information Sharing and System Interoperability
by Stanley Y. W. Su, Stanley Y. W. Su, Herman Lam, Herman Lam, Tsae-Feng Yu, Tsae-feng Yu, Sooha Lee, Sooha Lee, Javier Arroyo, Javier Arroyo — 1995
…. The third language is the version 3 of an implemented knowledge base programming language developed…
Add To MetaCart

Showing 1 through 9.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB