×

Found 153 Documents (Results 1–100)

Canonical extension of possibility measures to Boolean algebras of conditionals. (English) Zbl 07542367

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 543-556 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Sequential reprogramming of biological network fate. (English) Zbl 1422.92060

Bortolussi, Luca (ed.) et al., Computational methods in systems biology. 17th international conference, CMSB 2019, Trieste, Italy, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11773, 20-41 (2019).
MSC:  92C42 92C50
PDF BibTeX XML Cite
Full Text: DOI

Graded logic aggregation. (English) Zbl 1517.68355

Torra, Vicenç (ed.) et al., Modeling decisions for artificial intelligence. 15th international conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11144, 3-12 (2018).
MSC:  68T27 68T37
PDF BibTeX XML Cite
Full Text: DOI

Abductive network action inference for targeted therapy discovery. (English) Zbl 07513445

Sanguinetti, Guido (ed.) et al., Proceedings of the 7th international workshop on static analysis and systems biology (SASB 2016), University of Edinburgh, Scotland, UK, September 7, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 335, 3-25 (2018).
MSC:  92C42
PDF BibTeX XML Cite
Full Text: DOI

Event-based transformations of capacities. (English) Zbl 1498.28002

Torra, Vicenç (ed.) et al., Modeling decisions for artificial intelligence. 14th international conference, MDAI 2017, Kitakyushu, Japan, October 18–20, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10571, 33-39 (2017).
MSC:  28A12 28E10 68T37
PDF BibTeX XML Cite
Full Text: DOI

An integer 0-1 linear programming approach for computing inconsistency degree in product-based possibilistic DL-Lite. (English) Zbl 1498.68295

Moral, Serafín (ed.) et al., Scalable uncertainty management. 11th international conference, SUM 2017, Granada, Spain, October 4–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10564, 319-333 (2017).
PDF BibTeX XML Cite
Full Text: DOI

New algebras and logic from a category of rough sets. (English) Zbl 1489.68293

Polkowski, Lech (ed.) et al., Rough sets. International joint conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10313, 95-108 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Abduction based drug target discovery using Boolean control network. (English) Zbl 1416.92086

Feret, Jérôme (ed.) et al., Computational methods in systems biology. 15th international conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10545, 57-73 (2017).
MSC:  92C50 92C42
PDF BibTeX XML Cite
Full Text: DOI HAL

On Boolean algebras of conditionals and their logical counterpart. (English) Zbl 1491.68203

Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 246-256 (2017).
MSC:  68T27 03G05 68T37
PDF BibTeX XML Cite
Full Text: DOI Link

Multiple-source approximation systems, evolving information systems and corresponding logics: a study in rough set theory. (English) Zbl 1398.68542

Peters, James F. (ed.) et al., Transactions on Rough Sets XX. Berlin: Springer (ISBN 978-3-662-53610-0/pbk; 978-3-662-53611-7/ebook). Lecture Notes in Computer Science 10020. Journal Subline, 146-320 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Matrix approaches for variable precision rough approximations. (English) Zbl 1444.68231

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, 214-221 (2015).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Analogical proportions and square of oppositions. (English) Zbl 1418.68194

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 443, 324-334 (2014).
MSC:  68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI

A rapid granular method for minimization of Boolean functions. (English) Zbl 1323.68486

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, 577-585 (2014).
MSC:  68T37 68T20 94C10
PDF BibTeX XML Cite
Full Text: DOI

Incremental approaches to computing approximations of sets in dynamic covering approximation spaces. (English) Zbl 1323.68498

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, 510-521 (2014).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Rough sets: from rudiments to challenges. (English) Zbl 1327.68008

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, 75-173 (2013).
MSC:  68-03 68T30 68T37
PDF BibTeX XML Cite
Full Text: DOI

Three approaches to data analysis. Test theory, rough sets and logical analysis of data. (English) Zbl 1254.68005

Intelligent Systems Reference Library 41. Berlin: Springer (ISBN 978-3-642-28666-7/hbk; 978-3-642-28667-4/ebook). xviii, 202 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI

On decomposability and interaction functions. (English) Zbl 1211.68440

Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 9-14 (2010).
PDF BibTeX XML Cite
Full Text: DOI

Top-down algorithms for constructing structured DNNF: theoretical and practical implications. (English) Zbl 1211.68439

Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 3-8 (2010).
PDF BibTeX XML Cite
Full Text: DOI

A Kolmogorov complexity view of analogy: from logical modeling to experimentations. (English) Zbl 1208.68209

Bramer, Max (ed.) et al., Research and development in intelligent systems XXVII. Incorporating applications and innovations in intelligent systems XVIII. Proceedings of the AI-2010, the 30th SGAI international conference on innovative techniques and applications of artificial intelligence, Cambridge, UK, December 2010. London: Springer (ISBN 978-0-85729-129-5/pbk; 978-0-85729-130-1/ebook). 93-106 (2011).
MSC:  68T27 68Q30 68T50
PDF BibTeX XML Cite
Full Text: DOI

Aggregated similarity measures and their applications in theory of decision making and quality management. (Serbian. English summary) Zbl 1249.90351

Mladenović, Nenad (ed.) et al., XXXVI Simpozijum o operacionim istraživanjima, SYM-OP-IS 2009. Zbornik Radova. Beograd: Matematički Institut SANU (ISBN 978-86-80953-43-4). 369-372 (2009).
MSC:  90C70 90C29 90B50
PDF BibTeX XML Cite

Aggregating interval orders by propositional optimization. (English) Zbl 1260.91072

Rossi, Francesca (ed.) et al., Algorithmic decision theory. First international conference, ADT 2009, Venice, Italy, October 20–23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04427-4/pbk). Lecture Notes in Computer Science 5783. Lecture Notes in Artificial Intelligence, 249-260 (2009).
MSC:  91B08 68T20 91B14
PDF BibTeX XML Cite
Full Text: DOI

Measures of ruleset quality capable to represent uncertain validity. (English) Zbl 1148.68435

Mellouli, Khaled (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 9th European conference, ECSQARU 2007, Hammamet, Tunisia, October 31–November 2, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75255-4/pbk). Lecture Notes in Computer Science 4724. Lecture Notes in Artificial Intelligence, 430-442 (2007).
MSC:  68T05 68T37
PDF BibTeX XML Cite
Full Text: DOI

Association reducts: Boolean representation. (English) Zbl 1196.68271

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, 305-312 (2006).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Rough sets over the Boolean algebras. (English) Zbl 1134.68510

Ślȩzak, Dominik (ed.) et al., Rough sets, fuzzy sets, data mining, and granular computing. 10th international conference, RSFDGrC 2005, Regina, Canada, August 31 – September 3, 2005. Proceedings, Part I. Berlin: Springer (ISBN 3-540-28653-5/pbk). Lecture Notes in Computer Science 3641. Lecture Notes in Artificial Intelligence, 124-131 (2005).
MSC:  68T30 68T37 06E05
PDF BibTeX XML Cite
Full Text: DOI

Approximate Boolean reasoning approach to rough sets and data mining. (English) Zbl 1155.68532

Ślȩzak, Dominik (ed.) et al., Rough sets, fuzzy sets, data mining, and granular computing. 10th international conference, RSFDGrC 2005, Regina, Canada, August 31 – September 3, 2005. Proceedings, Part II. Berlin: Springer (ISBN 3-540-28660-8/pbk). Lecture Notes in Computer Science 3642. Lecture Notes in Artificial Intelligence, 12-22 (2005).
MSC:  68T37 68T05
PDF BibTeX XML Cite
Full Text: DOI

Automatic extraction of functional dependencies. (English) Zbl 1122.68597

Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 122-132 (2005).
MSC:  68T20
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

Main Field

all top 3

Software