Routley Star in Information-Based Semantics

Autor: Punčochář, Vít, Sedlár, Igor

Publikováno v: EPTCS 358, 2022, pp. 285-297

It is common in various non-classical logics, especially in relevant logics, to characterize negation semantically via the operation known as Routley star. This operation works well within relational semantic frameworks based on prime theories. We st

Externí odkaz: http://arxiv.org/abs/2204.06738

Unexplored microbial diversity from 2,500 food metagenomes and links with the human microbiome

Autor: Alvarez-Ordóñez, Avelino, Alvarez, Pablo, Antonielli, Livio, Arendt, Elke, Armanini, Federica, Aubry, Aurelie, Baelum, Jacob, Barcenilla, Coral, Belanche, Alejandro, Benavent-Gil, Yaiza, Blake, Tony, Blanco-Míguez, Aitor, Bongoni, Radhika, Boyer, Mickael, Brennan, Fiona, Breselge, Samuel, Briem, Helgi, Butler, Derek, Calvete-Torre, Inés, Carballo, Omar Cristobal, Cardinal, Mireille, Carlino, Niccolò, Chervaux, Christian, Chopin, Christine, Clotaire, Natallia, Coakley, Mairead, Cobo-Díaz, José Francisco, Codd, Jim, Conroy, Stephen, Corral-Jara, Karla Fabiola, Corral-Jara, Karla-Fabiola, Cotter, Paul D., Coyne, Gerard, Creevey, Chris, Cuevas, Patricia D., Curran, Brendan, Delgado, Susana, Derde, Liesbeth, Derrien, Muriel, Ercolini, Danilo, Exposito, Ruth Gomez, López Fernández, María Mercedes, De Filippis, Francesca, Fordham, Daniel, Galy, Hubert, Gavriilidou, Asimenia, Gunnarsson, Oddur, Hanson, Buck, Hermes, Gerben, Huang, Rongcai, Huws, Sharon, Ikoyi, Israel, Jaeger, Alice, Jeffery, Ian, Jérôme, Marc, Juan, Pierre-Alexandre, Kenny, David, Kers, Annelies, Khinouche, Karim-Franck, Kirwan, Stuart, Klaassens, Eline S., Knobloch, Stephen, Kolbeinsson, Kristinn, Kolypczuk, Laetitia, Kostic, Tanja, Ledda, Fabio, Leech, John, Lehmann, Doerte, Leroi, Françoise, Lewis, Eva, Ley, Johanna, Lucic, Eva, Lynch, Kieran, Mace, Sabrina, MacLaren-Lee, Iain, Mahler de Sanchez, Lisa, Marchart, Juergen, Margolles, Abelardo, Marteinsson, Viggó Thór, Masetti, Giulia, McGovern, Fiona, McHugh, Noirin, McLoughlin, Steven, Meehan, Dara, Mølbak, Lars, Monin, Thomas, Moreno, Javier, Morgavi, Diego, Morrison, Steven, Müench, Steffen, Ramos Neves, Ana Rute, Neylon, Emma, Nyhan, Laura, O’Kelly, Rhona, O’Neil, Dominic, O’Toole, Paul, Ortiz-Chura, Abimael, Palma, Juan Manuel, Pasolli, Edoardo, Passerini, Delphine, Pastar, Milica, Pinto, Federica, Pirovano, Walter, Plans, Olga, Policht, Marion, Pop, Aurel, Pop, Bianca, Popova, Milka, Prieto, Miguel, Quijada, Narciso M., Reiss, Antje, Romero, Pedro, Ruas-Madiedo, Patricia, Rubino, Francesco, Rubio, Raul Cabrera, Ruiz, Lorena, Ryan, Angela, Ryan, Clodagh, Sabater, Carlos, Sahin, Aylin, Salaun, Cecile, Santos, Fernanda Godoy, Schneider, Carolin, Segata, Nicola, Selberherr, Evelyne, Sessitsch, Angela, Skírnisdóttir, Sigurlaug, Smidt, Hauke, Smith, Paul, Sprenger-Haussels, Markus, Tapio, Ilma, Tap, Julien, Valentino, Vincenzo, Wagner, Martin, Walsh, Aaron, Walsh, Liam, Waters, Sinead M., Willcocks, Spike, Yáñez-Ruiz, David R., Yan, Tianhai, Yap, Min, Zannini, Emanuele, Zuliani, Véronique, Punčochář, Michal, Mengoni, Claudia, Tatti, Alessia, Manghi, Paolo, Avagliano, Michele, Cabrera-Rubio, Raul, Coakley, Mairéad, Cobo-Díaz, José F., Dey, Hrituraj, Asnicar, Francesco, Fackelmann, Gloria, Heidrich, Vitor, Rota Stabelli, Omar

Publikováno v: In Cell 3 October 2024 187(20):5775-5795

Active Fault Detection Based on Tensor Train Decomposition

Autor: Punčochář, Ivo, Straka, Ondřej, Tichavský, Petr

Publikováno v: In IFAC PapersOnLine 2024 58(4):676-681

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

First Degree Entailment with Group Attitudes and Information Updates

Autor: Sedlár, Igor, Punčochář, Vít, Tedder, Andrew

We extend the epistemic logic with De Morgan negation by Fagin et al. (Artif. Intell. 79, 203-240, 1995) by adding operators for universal and common knowledge in a group of agents, and with a formalization of information update using a generalized v

Externí odkaz: http://arxiv.org/abs/1909.11363