Skip to main content

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
Cancel
×
×
Home
  • Home
Article

The Knowledge Acquisition and Representation Language, KARL by Dieter Fensel, Kluwer Academic, Dordrecht, 1995, pp 238, ISBN 0-7923-9601-4, Dfl 195.00 (US$ 110.00, £77.00).

  • Jonathan Bowen (a1)
Abstract
Copyright
COPYRIGHT: © Cambridge University Press 1996
References
Hide All
Halpern, JY and Moses, Y, 1992. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54 319–379.
Halpern, JY and Vardi, MY, 1989. The complexity of reasoning about knowledge and time. I. Lower bounds. Journal of Computer and System Sciences 38 195–237.
Rosenschein, S and Kaelbling, LP, 1986. The synthesis of digital machines with provable epistemic properties. In Halpern, JY, ed, Proceedings 1986 Conference on Theoretical Aspects of Reasoning About Knowledge 83–98, Morgan Kaufmann.
Wooldridge, M and Jennings, NR, 1995. Intelligent agents: Theory and practice. The Knowledge Engineering Review 10(2) 115–152.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Knowledge Engineering Review
  • ISSN: 0269-8889
  • EISSN: 1469-8005
  • URL: /core/journals/knowledge-engineering-review
Please enter your name
Please enter a valid email address
Who would you like to send this to? *

CAPTCHA *

Skip to the audio challenge
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 3 *
Loading metrics...

Abstract views

Total abstract views: 48 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 12th June 2018. This data will be updated every 24 hours.

Cancel
Confirm
×