Sciweavers

4623 search results - page 584 / 925
» Knowledge Representation on the Web
Sort
View
AMAI
2007
Springer
14 years 11 months ago
Automated theorem proving by resolution in non-classical logics
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
Viorica Sofronie-Stokkermans
APIN
2004
131views more  APIN 2004»
14 years 11 months ago
Rough Self Organizing Map
A rough self-organizing map (RSOM) with fuzzy discretization of feature space is described here. Discernibility reducts obtained using rough set theory are used to extract domain k...
Sankar K. Pal, Biswarup Dasgupta, Pabitra Mitra
CLEIEJ
2004
94views more  CLEIEJ 2004»
14 years 11 months ago
An ontology-based technique for the specification of domain and user models in multi-agent domain
Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of re...
Rosario Girardi, Carla Gomes de Faria
IVA
2010
Springer
14 years 9 months ago
Towards an Episodic Memory for Companion Dialogue
We present an episodic memory component for enhancing the dialogue of artificial companions with the capability to refer to, take up and comment on past interactions with the user...
Gregor Sieber, Brigitte Krenn
DLOG
2010
14 years 9 months ago
Paraconsistent Description Logics Revisited
Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
Norihiro Kamide