liu.seSearch for publications in DiVA
ReferencesLink to record
Permanent link

Direct link
CAKE : A computer aided knowledge engineering technique.
2002 (English)In: Proceedings of the 15th European Conference on Artificial Intelligence,2002 / [ed] Frank van Harmelen, IOS Press, 2002, 220-224Conference paper (Refereed)
Abstract [en]

Introduction: Logic engineering often involves the development of modeling tools and inference mechanisms (both standard and non-standard) which are targeted for use in practical applications where expressiveness in representation must be traded off for efficiency in use. Some representative examples of such applications would be the structuring and querying of knowledge on the semantic web, or the representation and querying of epistemic states used with softbots, robots or smart devices. In these application areas, declarative representations of knowledge enhance the functionality of such systems and also provide a basis for insuring the pragmatic properties of modularity and incremental composition. In addition, the mechanisms developed should be tractable, but at the same time, expressive enough to represent such aspects as default reasoning, or approximate or incomplete representations of the environments in which the entities in question are embedded or used, be they virtual or actual. [...]

National Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-41606 (URN)58214 (Local ID)oai:DiVA.org:liu-41606 (OAI)diva2:262460 (DiVA)
Available from2009-10-10 Created:2009-10-10 Last updated:2012-02-13

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Doherty, PatrickLukaszewicz, WitoldSzalas, Andrzej
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available
Total: 51 hits
ReferencesLink to record
Permanent link

Direct link