Sciweavers

10568 search results - page 78 / 2114
» Computer Intelligence and Formalization
Sort
View
ECAL
2001
Springer
15 years 2 months ago
Formal Description of Autopoiesis Based on the Theory of Category
Since the concept of autopoiesis was proposed as a model of minimal living systems by Maturana and Varela, and applied to social systems by Luhmann, there has been only a few math...
Tatsuya Nomura
AI
2008
Springer
15 years 4 months ago
Finding Topics in Email Using Formal Concept Analysis and Fuzzy Membership Functions
In this paper, we present a method to identify topics in email messages. The formal concept analysis is adopted as a semantic analysis method to group emails containing the same ke...
Liqiang Geng, Larry Korba, Yunli Wang, Xin Wang, Y...
FLAIRS
2008
15 years 3 days ago
Towards Formalization of ARD+ Conceptual Design and Refinement Method
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...
Grzegorz J. Nalepa, Igor Wojnicki
ECAI
2010
Springer
14 years 11 months ago
Semi-Automatic Revision of Formalized Knowledge
As the amount of available ontologies and their size grow, ontology reuse gains in importance. However, the online available formalized knowledge in many cases need a revision whic...
Nadejda Nikitina
TPHOL
2005
IEEE
15 years 3 months ago
Proof Pearl: A Formal Proof of Higman's Lemma in ACL2
Francisco-Jesús Martín-Mateos, Jos&e...