Sciweavers

1849 search results - page 186 / 370
» Intelligent Expressions of Emotions
Sort
View
ECAI
2000
Springer
15 years 11 months ago
An Instance-based Approach for Identifying Candidate Ontology Relations within a Multi-Agent System
Discovering related concepts in a multi-agent system among agents with diverse ontologies is difficult using existing knowledge representation languages and approaches. We describ...
Andrew B. Williams, Costas Tsatsoulis
AGP
1999
IEEE
15 years 11 months ago
Freeness Analysis through Linear Refinement
Domains Decomposing Non-Redundant Sharing by Complementation . . . . . . . . . . . . . 69 Enea Zaffanella, Patricia M. Hill, Roberto Bagnara Freeness Analysis Through Linear Refine...
Patricia M. Hill, Fausto Spoto
AISC
1998
Springer
15 years 10 months ago
Bertrand Russell, Herbrand's Theorem, and the Assignment Statement
While propositional modal logic is a standard tool, first-order modal logic is not. Indeed, it is not generally understood that conventional first-order syntax is insufficiently ex...
Melvin Fitting
AISC
1998
Springer
15 years 10 months ago
Optimising Propositional Modal Satisfiability for Description Logic Subsumption
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
Ian Horrocks, Peter F. Patel-Schneider
ICTAI
1994
IEEE
15 years 10 months ago
A Knowledge Representation System for Integration of General and Case-Specific Knowledge
Combining various knowledge types - and reasoning methods - in knowledge-based systems is a challenge to the knowledge representation task. The paper describes an object-oriented,...
Agnar Aamodt