## Found 45 Documents (Results 1–45)

Full Text:

Full Text:

### Global analysis of SIRI knowledge dissemination model with recalling rate. (English)Zbl 1469.34072

MSC:  34D05 34D23 91D30
Full Text:

### Second-order propositional modal logic: expressiveness and completeness results. (English)Zbl 1436.03128

MSC:  03B45 03B16 68T30
Full Text:

Full Text:

Full Text:

### Dynamical behavior of a rumor transmission model with Holling-type II functional response in emergency event. (English)Zbl 1400.91469

MSC:  91D30 34D05
Full Text:

### Nonparametric prediction of stock returns based on yearly data: the long-term view. (English)Zbl 1348.62247

MSC:  62P05 62G07 62G20
Full Text:

### Credal networks under epistemic irrelevance: the sets of desirable gambles approach. (English)Zbl 1388.68264

MSC:  68T37 68T30
Full Text:

### How to fully represent expert information about imprecise properties in a computer system: random sets, fuzzy sets, and beyond: an overview. (English)Zbl 1291.93243

MSC:  93D10 93C41 68T35
Full Text:

### Logical-epistemic foundations of general game descriptions. (English)Zbl 1329.03051

MSC:  03B42 91A44
Full Text:

Full Text:

### Type-2 fuzzy sets and conceptual spaces. (English)Zbl 1360.03083

Sadeghian, Alireza (ed.) et al., Advances in type-2 fuzzy sets and systems. Theory and applications. New York, NY: Springer (ISBN 978-1-4614-6665-9/hbk; 978-1-4614-6666-6/ebook). Studies in Fuzziness and Soft Computing 301, 113-129 (2013).
MSC:  03E72 68T30 68T37
Full Text:

Full Text:

### Property-driven rough sets approximations of relations. (English)Zbl 1308.68115

Skowron, Andrzej (ed.) et al., Rough sets and intelligent systems – Professor Zdzisław Pawlak in memoriam. Volume 1. Foreword by Roman Słowiński. Berlin: Springer (ISBN 978-3-642-30343-2/hbk; 978-3-642-30344-9/ebook). Intelligent Systems Reference Library 42, 333-357 (2013).
MSC:  68T30 68T37
Full Text:

### Learning and testing of properties of Boolean functions. (Chinese. English summary)Zbl 1265.06040

MSC:  06E30 68T05 68T30

### Local properties in modal logic. (English)Zbl 1251.03026

MSC:  03B45 03B42 68T30
Full Text:

### Finding top-$$N$$ colossal patterns based on clique search with dynamic update of graph. (English)Zbl 1360.68819

Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 244-259 (2012).
Full Text:

### A peep through the looking glass: articulation points in lattices. (English)Zbl 1360.06003

Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 45-60 (2012).
Full Text:

### Attribute exploration of properties of functions on sets. (English)Zbl 1241.68114

MSC:  68T30 03E20 06A15
Full Text:

### Invariance properties of quantifiers and multiagent information exchange. (English)Zbl 1348.68258

Kanazawa, Makoto (ed.) et al., The mathematics of language. 12th biennial conference, MOL 12, Nara, Japan, September 6–8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23210-7/pbk). Lecture Notes in Computer Science 6878. Lecture Notes in Artificial Intelligence, 72-89 (2011).
MSC:  68T42 03B42 68T27
Full Text:

### Euler’s polyhedron formula in mizar. (English)Zbl 1294.68132

Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 144-147 (2010).
MSC:  68T30 52B05 68T15
Full Text:

### Toward a formal knowledge system theory and its cognitive informatics foundations. (English)Zbl 1246.68225

Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science V. Special issue on cognitive knowledge representation. Berlin: Springer (ISBN 978-3-642-02096-4/pbk). Lecture Notes in Computer Science 5540. Journal Subline, 1-19 (2009).
MSC:  68T30 68T35
Full Text:

### Termination of derivations in a fragment of transitive distributed knowledge logic. (English)Zbl 1178.68079

MSC:  68M14 68T27

### On decomposability of theories. (Russian. English summary)Zbl 1104.03023

Pinus, A.G. (ed.) et al., Algebra and model theory 5. Collection of papers from the 5th summer school “Intermediate problems of model theory and universal algebra”, Erlogol, Russia, June 26–July 1, 2005. Novosibirsk: Novosibirsk State Technical University (ISBN 5-7782-0551-1/pbk). 162-169 (2005).
MSC:  03C07 03C30

### Applications of category theory in symbolic computation. (English)Zbl 1150.68009

MSC:  68W30 68Q65 68T15 68T35

Full Text:

### Markov properties and factorization of possibility distributions. (English)Zbl 1014.68155

MSC:  68T30 28E10
Full Text:

### Interactive stability-oriented reliability-based design optimization. (English)Zbl 0952.74056

MSC:  74P10 62N05 68T35
Full Text:

### Designing bar-mesh modules of reinforced concrete structures. (English)Zbl 0968.74605

MSC:  74S99 74E30 68T35
Full Text:

Full Text:

### Bond graph models for direct generation of formal fault detection systems. (English)Zbl 0865.05068

MSC:  05C90 68R10

### The logic of belief and belief change: a decision theoretic approach. (English)Zbl 0852.90004

MSC:  91B06 03B42
Full Text:

Full Text:

### Extracting human expertise for constructing knowledge spaces: An algorithm. (English)Zbl 0768.92029

MSC:  91E99 68T30
Full Text:

### Analogy model and analogy correspondence. (English)Zbl 0768.68197

MSC:  68T27 68T30 03C07

### What can machines know? On the properties of knowledge in distributed systems. (English)Zbl 0799.68179

MSC:  68T35 68T30
Full Text:

### Fuzzy relational products in knowledge engineering. (English)Zbl 0800.68936

Novák, Vilém (ed.) et al., Fuzzy approach to reasoning and decision- making. Selected papers of the international symposium held at Bechyně, Czechoslovakia, 25-29 June 1990. Dordrecht, Prague: Kluwer Academic Publishers, Akademia. Theory Decis. Libr., Ser. D. 8, 51-66 (1992).
MSC:  68T35

### A hierarchical expert system for design of floors in highrise buildings. (English)Zbl 0850.73360

MSC:  74S30 74P99 74E30 68T35
Full Text:

### Multicriteria design optimization. Procedures and applications. (English)Zbl 0743.90116

Berlin etc.: Springer-Verlag. XXVII, 482 p. (1990).

Full Text:

### An expert system for laminated plate design using composite materials. (English)Zbl 0727.73046

MSC:  74P99 68T35 74E30
Full Text:

Full Text:

### Bayesian estimation of a reliability function with extended gamma prior knowledge. (Estimación bayesiana de una función de fiabilidad con conocimiento a priori gamma expendido.) (Spanish. English summary)Zbl 0645.62099

MSC:  62N05 62F15 62G05
Full Text:

all top 5

all top 5

all top 3

all top 3