Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments

Autor: Zheng, Sen, Schmidt, Renate A.

Query answering is an important problem in AI, database and knowledge representation. In this paper, we develop saturation-based Boolean conjunctive query answering and rewriting procedures for the guarded, the loosely guarded and the clique-guarded

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

Signature-Based Abduction for Expressive Description Logics -- Technical Report

Autor: Koopmann, Patrick, Del-Pinto, Warren, Tourret, Sophie, Schmidt, Renate A.

Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge. This type of abduction is useful for tasks such as diagnosis, where the vocabulary

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

Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution

Autor: Zheng, Sen, Schmidt, Renate A.

We consider the following query answering problem: Given a Boolean conjunctive query and a theory in the Horn loosely guarded fragment, the aim is to determine whether the query is entailed by the theory. In this paper, we present a resolution decisi

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

36-month clinical outcomes of patients with venous thromboembolism: GARFIELD-VTE

Autor: Loualidi, Ab, Colak, Abdurrahim, Bezuidenhout, Abraham, Abdool-Carrim, Abu, Azeddine, Addala, Beyers, Adriaan, Dees, Adriaan, Mohamed, Ahmed, Aksoy, Ahmet, Abiko, Akihiko, Watanabe, Akinori, Krichell, Alan, Fernandez, Alberto Alfredo, Tosetto, Alberto, Khotuntsov, Alexey, Oropallo, Alisha, Slocombe, Alison, Kelly, Allan, Clark, Amanda, Gad, Amr, Arouni, Amy, Schmidt, Andor, Berni, Andrea, Kleiban, Andres Javier, Machowski, Andrew, Kazakov, Andrey, Galvez, Angel, Lockman, Ann, Falanga, Anna, Chauhan, Anoop, Riera-Mestre, Antoni, Mazzone, Antonino, D'Angelo, Armando, Herdy, Artur, Kato, Atsushi, Salem, Ayman Abd Elhamid Ebrahim Mahmoud, Husin, Azlan, Erdelyi, Barbara, Jacobson, Barry, Amann-Vesti, Beatrice, Battaloglu, Bektas, Wilson, Benedicte, Cosmi, Benilde, Francois, Bergmann Jean, Toufek, Berremeli, Hunt, Beverley, Natha, Bhavesh, Mustafa, Bisher, Kho, Bonnie Chi Shan, Carine, Boulon, Zidel, Brian, Dominique, Brisot, Christophe, Brousse, Trimarco, Bruno, Luo, Canhua, Cuneo, Carlos Alberto, Diaz, Carlos Jerjes Sanchez, Schwencke, Carsten, Cader, Cas, Yavuz, Celal, Zaidman, Cesar Javier, Lunn, Charles, Wu, Chau-Chung, Toh, Cheng Hock, Chiang, Chern-En, Elisa, Chevrier, Hsia, Chien-Hsun, Huang, Chien-Lung, Kwok, Chi-Hang Kevin, Wu, Chih-Cheng, Huang, Chi-Hung, Ward, Chris, Opitz, Christian, Jeanneret-Gris, Christina, Ha, Chung Yin, Huang, Chun-Yao, Bidi, Claude Luyeye, Smith, Clifford, Brauer, Cornelia, Lodigiani, Corrado, Francis, Couturaud, Wu, Cynthia, Staub, Daniel, Theodoro, Daniel, Poli, Daniela, Acevedo, David - Riesco, Adler, David, Jimenez, David, Keeling, David, Scott, David, Imberti, Davide, Creagh, Desmond, Helene, Desmurs-Clavel, Hagemann, Dirk, Le Roux, Dirk, Skowasch, Dirk, Belenky, Dmitry, Dorokhov, Dmitry, Petrov, Dmitry, Zateyshchikov, Dmitry, Prisco, Domenico, Møller, Dorthe, Kucera, Dusan, Esheiba, Ehab M., Panchenko, Elizaveta, Dominique, Elkouri, Dogan, Emre, Kubat, Emre, Diaz, Enrique Diaz, Tse, Eric Wai Choi, Yeo, Erik, Hashas, Erman, Grochenig, Ernst, Tiraferri, Eros, Blessing, Erwin, Michèle, Escande Orthlieb, Usandizaga, Esther, Porreca, Ettore, Ferroni, Fabian, Nicolas, Falvo, Ayala-Paredes, Félix, Koura, Firas, Henry, Fitjerald, Cosmi, Franco, Erdkamp, Frans, Kamalov, Gadel, Dalmau, Garcia-Bragado, Damien, Garrigues, Klein, Garry, Shah, Gaurand, Hollanders, Geert, Merli, Geno, Plassmann, Georg, Platt, George, Poirier, Germain, Sokurenko, German, Haddad, Ghassan, Ali, Gholam, Agnelli, Giancarlo, Gan, Gin Gin, Kaye-Eddie, Grace, Le Gal, Gregoire, Allen, Gregory, Esperón, Guillermo Antonio Llamas, Jean-Paul, Guillot, Gerofke, Hagen, Elali, Hallah, Burianova, Hana, Ohler, Hans-Juergen, Wang, Haofu, Darius, Harald, Gogia, Harinder S., Striekwold, Harry, Gibbs, Harry, Hasanoglu, Hatice, Turker, Hatice, Franow, Hendrik, Bounameaux, Henri, De Raedt, Herbert, Schroe, Herman, ElDin, Hesham Salah, Zidan, Hesham, Nakamura, Hiroaki, Kim, Ho Young, Lawall, Holger, Zhu, Hong, Tian, Hongyan, Yhim, Ho-Young, ten Cate, Hugo, Hwang, Hun Gyu, Shim, Hyeok, Kim, Igor, Libov, Igor, Sonkin, Igor, Suchkov, Igor, Song, Ik-Chan, Kiris, Ilker, Staroverov, Ilya, Looi, Irene, De La Azuela Tenorio, Isabel M., Savas, Ismail, Gordeev, Ivan, Podpera, Ivo, Lee, Jae Hoon, Sathar, Jameela, Welker, James, Beyer-Westendorf, Jan, Kvasnicka, Jan, Vanwelden, Jan, Kim, JangYong, Svobodova, Jaromira, Gujral, Jaspal, Marino, Javier, Galvar, Javier Tristan, Kassis, Jeannine, Kuo, Jen-Yuan, Shih, Jhih-Yuan, Kwon, JiHyun, Joh, Jin Hyun, Park, Jin Hyun, Kim, Jin Seok, Yang, Jinghua, Krupicka, Jiri, Lastuvka, Jiri, Pumprla, Jiri, Vesely, Jiri, Souto, Joan Carlos, Correa, João Antônio, Duchateau, Johan, Fletcher, John Perry, del Toro, Jorge, Paez, Jorge Guillermo Chavez, Nielsen, Jørn, Filho, Jose Dalmo Araujo, Saraiva, Jose, Peromingo, Jose Antonio Diaz, Lara, Jose Gomez, Fedele, Jose Luis, Surinach, Jose Maria, Chacko, Joseph, Muntaner, Juan Antonio, Benitez, Juan Carlos Álvarez, Abril, Juan Moreno Hoyos, Humphrey, Julian, Bono, Julio, Kanda, Junji, Boondumrongsagoon, Juree, Yiu, Kai Hang, Chansung, Kanchana, Boomars, Karin, Burbury, Kate, Kondo, Katsuhiro, Karaarslan, Kemal, Takeuchi, Kensuke, Kroeger, Knut, Zrazhevskiy, Konstantin, Svatopluk, Koscál, Shyu, Kou-Gi, Vandenbosch, Kristel, Chang, Kuan-Cheng, Chiu, Kuan-Ming, Jean-Manuel, Kubina, Wern, Kwan Jing, Ueng, Kwo-Chang, Norasetthada, Lalita, Binet, Laure, Chew, Lee Ping, Zhang, Lei, Cristina, Leone Maria, Tick, Lidwine, Schiavi, Lilia Beatriz, Wong, Lily Lee Lee, Borges, Lohana, Botha, Louis, Capiau, Luc, Timmermans, Luc, López, Luciano Eduardo, Ria, Luigi, Blasco, Luis Manuel Hernandez, Guzman, Luis Alberto, Cervera, Luis Flota, Isabelle, Mahe, Bosch, Manuel Monreal, de los Rios Ibarra, Manuel, Fernandez, Manuel Núñez, Carrier, Marc, Barrionuevo, Marcelo Raul, Gamba, Marco Antonio Alcocer, Cattaneo, Marco, Moia, Marco, Bowers, Margaret, Chetanachan, Mariam, Berli, Mario Alberto, Fixley, Mark, Faghih, Markus, Stuecker, Markus, Schul, Marlin, Banyai, Martin, Koretzky, Martin, Myriam, Martin, Gaffney, Mary Elizabeth, Hirano, Masao, Kanemoto, Masashi, Nakamura, Mashio, Tahar, Mersel, Emmanuel, Messas, Kovacs, Michael, Leahy, Michael, Levy, Michael, Munch, Michael, Olsen, Michael, De Pauw, Michel, Gustin, Michel, Van Betsbrugge, Michiel, Boyarkin, Mikhail, Homza, Miroslav, Koto, Modise, Abdool-Gaffar, Mohamed, Nagib, Mohamed Ayman Fakhry, El-Dessoki, Mohamed, Khan, Mohamed, Mohamed, Monniaty, Kim, Moo Hyun, Lee, Moon-Hee, Soliman, Mosaad, Ahmed, Mostafa Shawky, el Bary, Mostafa Soliman Abd, Moustafa, Moustafa A., Hameed, Muhammad, Kanko, Muhip, Majumder, Mujibur, Zubareva, Nadezhda, Mumoli, Nicola, Abdullah, Nik Azim Nik, Makruasi, Nisa, Paruk, Nishen, Kanitsap, Nonglak, Duda, Norberto, Nordin, Nordiana, Nyvad, Ole, Barbarash, Olga, Gurbuz, Orcun, Vilamajo, Oscar Gomez, Flores, Oscar Nandayapa, Gur, Ozcan, Oto, Oztekin, Marchena, Pablo Javier, Angchaisuksiri, Pantep, Carroll, Patrick, Lang, Pavel, MacCallum, Peter, von Bilderling, Peter Baron, Blombery, Peter, Verhamme, Peter, Jansky, Petr, Bernadette, Peuch, De Vleeschauwer, Philippe, Hainaut, Philippe, Ferrini, Piera Maria, Iamsai, Piriyaporn, Christian, Ponchaux, Viboonjuntra, Pongtep, Rojnuckarin, Ponlapat, Ho, Prahlad, Mutirangura, Pramook, Wells, Rachel, Martinez, Rafael, Miranda, Raimundo Tirado, Kroening, Ralf, Ratsela, Rapule, Reyes, Raquel Lopez, de Leon, Raul Franco Diaz, Wong, Raymond Siu Ming, Alikhan, Raz, Jerwan-Keim, Reinhold, Otero, Remedios, Murena-Schmidt, Renate, Canevascini, Reto, Ferkl, Richard, White, Richard, Van Herreweghe, Rika, Santoro, Rita, Klamroth, Robert, Mendes, Robert, Prosecky, Robert, Cappelli, Roberto, Spacek, Rudolf, Singh, Rupesh, Griffin, Sam, Na, Sang Hoon, Chunilal, Sanjeev, Middeldorp, Saskia, Nakazawa, Satoshi, Schellong, Sebastian, Toh, See Guan, Christophe, Seinturier, Isbir, Selim, Raymundo, Selma, Ting, Seng Kiat, Motte, Serge, Aktogu, Serir Ozkan, Donders, Servaas, Cha, Seung Ick, Nam, Seung-Hyun, Marie-Antoinette, Sevestre-Pietri, Maasdorp, Shaun, Sun, Shenghua, Wang, Shenming, Essameldin, Sherif Mohamed, Sholkamy, Sherif Mohamed, Kuki, Shintaro, Goto, Shinya, Yoshida, Shuichi, Matsuoka, Shunzo, McRae, Simon, Watt, Simon, Patanasing, Siriwimon, Jean-Léopold, Siwe-Nana, Wongkhantee, Somchai, Bang, Soo-Mee, Testa, Sophie, Zemek, Stanislav, Behrens, Steffen, Dominique, Stephan, Mellor, Stuart, Singh, Suaran Singh Gurcharan, Datta, Sudip, Chayangsu, Sunee, Solymoss, Susan, Everington, Tamara, Abdel-Azim, Tarek Ahmed Adel, Suwanban, Tawatchai, Adademir, Taylan, Hart, Terence, Béatrice, Terriat, Luvhengo, Thifhelimbilu, Horacek, Thomas, Zeller, Thomas, Boussy, Tim, Reynolds, Tim, Biss, Tina, Chao, Ting-Hsing, Casabella, Tomas Smith, Onodera, Tomoya, Numbenjapon, Tontanai, Gerdes, Victor, Cech, Vladimir, Krasavin, Vladimir, Tolstikhin, Vladimir, Bax, W.A., Malek, Wagih Fawzy Abdel, Ho, Wai Khoon, Ageno, Walter, Pharr, Walter, Jiang, Weihong, Lin, Wei-Hsiang, Zhang, Weihua, Tseng, Wei-Kung, Lai, Wen-Ter, De Backer, Wilfried, Haverkamp, Wilhelm, Yoshida, Winston, Korte, Wolfgang, Choi, Won Il, Kim, Yang-Ki, Tanabe, Yasuhiro, Ohnuma, Yasushi, Mun, Yeung-Chul, Balthazar, Yohan, Park, Yong, Shibata, Yoshisato, Burov, Yuriy, Subbotin, Yuriy, Coufal, Zdenek, Yang, Zhenwen, Jing, Zhicheng, Yang, Zhongqi, Turpie, Alexander G.G., Farjat, Alfredo E., Haas, Sylvia, Weitz, Jeffrey I., Goldhaber, Samuel Z., Kayani, Gloria, Lopes, Renato D., Tse, Eric, Muntaner, Juan, Prandoni, Paolo, Maheshwari, Uma, Kakkar, Ajay K.

Publikováno v: In Thrombosis Research February 2023 222:31-39

Blocking and Other Enhancements for Bottom-Up Model Generation Methods

Autor: Baumgartner, Peter, Schmidt, Renate A.

Model generation is a problem complementary to theorem proving and is important for fault analysis and debugging of formal specifications of security protocols, programs and terminological definitions. This paper discusses several ways of enhancing t

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