Sciweavers

639 search results - page 11 / 128
» Engineering intelligent systems on the knowledge formalizati...
Sort
View
EKAW
2008
Springer
13 years 10 months ago
Principles for Knowledge Engineering on the Web
With the advent of the Web and the efforts towards a Semantic Web the nature of knowledge engineering has changed drastically. In this position paper we propose four principles fo...
Guus Schreiber
AOSE
2000
Springer
14 years 28 days ago
Agent-Oriented Software Engineering: The State of the Art
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
Michael Wooldridge, Paolo Ciancarini
TKDE
2002
121views more  TKDE 2002»
13 years 8 months ago
ACIRD: Intelligent Internet Document Organization and Retrieval
This paper presents an intelligent Internet information system, Automatic Classifier for the Internet Resource Discovery (ACIRD), which uses machine learning techniques to organiz...
Shian-Hua Lin, Meng Chang Chen, Jan-Ming Ho, Yueh-...
AISC
2010
Springer
13 years 11 months ago
On Building a Knowledge Base for Stability Theory
A lot of mathematical knowledge has been formalized and stored in repositories by now: Different mathematical theorems and theories have been taken into consideration and included ...
Agnieszka Rowinska-Schwarzweller, Christoph Schwar...
ATAL
2006
Springer
14 years 10 days ago
Formalizing typicality of objects and context-sensitivity in ontologies
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
Ching-man Au Yeung, Ho-fung Leung