Sciweavers

10568 search results - page 78 / 2114
» Computer Intelligence and Formalization
Sort
View
ECAL
2001
Springer
15 years 10 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
16 years 15 days 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 8 months 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
15 years 7 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 11 months ago
Proof Pearl: A Formal Proof of Higman's Lemma in ACL2
Francisco-Jesús Martín-Mateos, Jos&e...