×

Found 175 Documents (Results 1–100)

100
MathJax

The topology of full and weak belief. (English) Zbl 1428.03046

Hansen, Helle Hvid (ed.) et al., Logic, language, and computation. 11th international Tbilisi symposium, TbiLLC 2015, Tbilisi, Georgia, September 21–26, 2015. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 10148, 205-228 (2017).
MSC:  03B42
PDF BibTeX XML Cite
Full Text: DOI

Knowledge spaces and reduction of covering approximation spaces. (English) Zbl 1444.68229

Ciucci, Davide (ed.) et al., Rough sets and knowledge technology. 10th international conference, RSKT 2015, held as part of the international joint conference on rough sets, IJCRS 2015, Tianjin, China, November 20–23, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9436, 164-174 (2015).
MSC:  68T37 68T30
PDF BibTeX XML Cite
Full Text: DOI

Logical, ontological and cognitive aspects of object types and cross-world identity with applications to the theory of conceptual spaces. (English) Zbl 1328.68218

Zenker, Frank (ed.) et al., Applications of conceptual spaces. The case for geometric knowledge representation. Selected contributions of the international conference on conceptual spaces at work, Lund, Sweden, May 24–26, 2012. Cham: Springer (ISBN 978-3-319-15020-8/hbk; 978-3-319-15021-5/ebook). Synthese Library 359, 165-186 (2015).
MSC:  68T30 68T27
PDF BibTeX XML Cite
Full Text: DOI

Conceptual spaces and computing with words. (English) Zbl 1328.68215

Zenker, Frank (ed.) et al., Applications of conceptual spaces. The case for geometric knowledge representation. Selected contributions of the international conference on conceptual spaces at work, Lund, Sweden, May 24–26, 2012. Cham: Springer (ISBN 978-3-319-15020-8/hbk; 978-3-319-15021-5/ebook). Synthese Library 359, 123-139 (2015).
MSC:  68T30 68T37
PDF BibTeX XML Cite
Full Text: DOI

Rough set theory on topological spaces. (English) Zbl 1323.68481

Miao, Duoqian (ed.) et al., Rough sets and knowledge technology. 9th international conference, RSKT 2014, Shanghai, China, October 24–26, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-11739-3/pbk; 978-3-319-11740-9/ebook). Lecture Notes in Computer Science 8818. Lecture Notes in Artificial Intelligence, 69-74 (2014).
MSC:  68T37 54A05 68T30
PDF BibTeX XML Cite
Full Text: DOI

On knowledge spaces and item testing. (English) Zbl 1444.68195

Glodeanu, Cynthia Vera (ed.) et al., Formal concept analysis. 12th international conference, ICFCA 2014, Cluj-Napoca, Romania, June 10–13, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8478, 141-156 (2014).
MSC:  68T30 03B40 68T27
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

Characterizing subset spaces as bi-topological structures. (English) Zbl 1408.03014

McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8312, 373-388 (2013).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI

Algebraic semantics and model completeness for intuitionistic public announcement logic. (English) Zbl 1348.03019

van Ditmarsch, Hans (ed.) et al., Logic, rationality, and interaction. Third international workshop, LORI 2011, Guangzhou, China, October 10–13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24129-1/pbk). Lecture Notes in Computer Science 6953. Lecture Notes in Artificial Intelligence, 394-395 (2011).
PDF BibTeX XML Cite
Full Text: DOI Link

The Cantor space as a generic model of topologically presented knowledge. (English) Zbl 1284.03143

Ablayev, Farid (ed.) et al., Computer science – theory and applications. 5th international computer science symposium in Russia, CSR 2010, Kazan, Russia, June 16–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13181-3). Lecture Notes in Computer Science 6072, 169-180 (2010).
MSC:  03B42 68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI

Observational effort and formally open mappings. (English) Zbl 1246.03037

Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 197-208 (2009).
MSC:  03B42
PDF BibTeX XML Cite
Full Text: DOI

Formal topology and information systems. (English) Zbl 1186.68453

Peters, James F. (ed.) et al., Transactions on Rough Sets VI. Commemorating life and work of Zdisław Pawlak, Part I. Berlin: Springer (ISBN 978-3-540-71198-8/pbk). Lecture Notes in Computer Science 4374. Journal Subline, 253-297 (2007).
MSC:  68T30 54A05
PDF BibTeX XML Cite
Full Text: DOI

Region-based theory of space: algebras of regions, representation theory, and logics. (English) Zbl 1329.68246

Gabbay, Dov M. (ed.) et al., Mathematical problems from applied logic. II. Logics for the XXIst century. New York, NY: Springer (ISBN 978-0-387-69244-9/hbk). International Mathematical Series (New York) 5, 267-348 (2007).
MSC:  68T27 68T30 54D05
PDF BibTeX XML Cite

The research of rough sets in normed linear space. (English) Zbl 1162.68673

Greco, Salvatore (ed.) et al., Rough sets and current trends in computing. 5th international conference, RSCTC 2006, Kobe, Japan, November 6–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-47693-1/pbk). Lecture Notes in Computer Science 4259. Lecture Notes in Artificial Intelligence, 91-98 (2006).
MSC:  68T30 68T37 46B99
PDF BibTeX XML Cite
Full Text: DOI

Regarding overlaps in ‘topologic’. (English) Zbl 1172.03010

Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 259-277 (2006).
MSC:  03B42 68T27
PDF BibTeX XML Cite

Notes on rough sets and formal concepts. (English) Zbl 1196.68256

Wang, Guoyin (ed.) et al., Rough sets and knowledge technology. First international conference, RSKT 2006, Chongqing, China, July 24–26, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36297-5/pbk). Lecture Notes in Computer Science 4062. Lecture Notes in Artificial Intelligence, 313-320 (2006).
MSC:  68T30 68T37
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software