Search Results for Logic. - Narrowed by: Database management. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dSUBJECT$002509Subject$002509Database$002bmanagement.$002509Database$002bmanagement.$0026pe$003dd$00253A$0026ps$003d300?dt=list 2024-12-26T16:26:57Z Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483241 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054&#160;Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X&#160;Woltran, Stefan. editor. (orcid)0000-0003-1594-8972&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20528-7">https://doi.org/10.1007/978-3-030-20528-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332970 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Masulli, Francesco. editor.&#160;Pasi, Gabriella. editor.&#160;Yager, Ronald. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332970.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03200-9">http://dx.doi.org/10.1007/978-3-319-03200-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers ent://SD_ILS/0/SD_ILS:194655 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Frasconi, Paolo. editor.&#160;Lisi, Francesca A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21295-6">http://dx.doi.org/10.1007/978-3-642-21295-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:192466 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Raedt, Luc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13840-9">http://dx.doi.org/10.1007/978-3-642-13840-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186697 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Melin, Patricia. editor.&#160;Castillo, Oscar. editor.&#160;Aguilar, Luis T. editor.&#160;Kacprzyk, Janusz. editor.&#160;Pedrycz, Witold. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72950-1">http://dx.doi.org/10.1007/978-3-540-72950-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186836 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Masulli, Francesco. editor.&#160;Mitra, Sushmita. editor.&#160;Pasi, Gabriella. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73400-0">http://dx.doi.org/10.1007/978-3-540-73400-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers ent://SD_ILS/0/SD_ILS:183474 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Ges&uacute;, Vito. editor.&#160;Masulli, Francesco. editor.&#160;Petrosino, Alfredo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/10983652">http://dx.doi.org/10.1007/10983652</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183421 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Bloch, Isabelle. editor.&#160;Petrosino, Alfredo. editor.&#160;Tettamanzi, Andrea G. B. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11676935">http://dx.doi.org/10.1007/11676935</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning ent://SD_ILS/0/SD_ILS:175236 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Chen-Burger, Yun-Heh. author.&#160;Robertson, Dave. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138799">http://dx.doi.org/10.1007/b138799</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484219 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Guizzardi, Giancarlo. editor.&#160;Gailly, Frederik. editor.&#160;Suzana Pitangueira Maciel, Rita. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34146-6">https://doi.org/10.1007/978-3-030-34146-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web 16th International Conference, ESWC 2019, Portoro&#382;, Slovenia, June 2&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482677 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472&#160;Fern&aacute;ndez, Miriam. editor. (orcid)0000-0001-5939-4321&#160;Janowicz, Krzysztof. editor.&#160;Zaveri, Amrapali. editor.&#160;Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21348-0">https://doi.org/10.1007/978-3-030-21348-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2&ndash;4, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486010 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Sun, Xiaoming. editor.&#160;He, Kun. editor.&#160;Chen, Xiaoyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-0105-0">https://doi.org/10.1007/978-981-15-0105-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27&ndash;29, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486080 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Huang, Shujian. editor.&#160;Knight, Kevin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-1721-1">https://doi.org/10.1007/978-981-15-1721-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486307 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699&#160;de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20981-0">https://doi.org/10.1007/978-3-030-20981-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28&ndash;31, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486610 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634&#160;Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X&#160;William De Luca, Ernesto. editor. (orcid)0000-0003-3621-4118&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-36599-8">https://doi.org/10.1007/978-3-030-36599-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486827 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946&#160;Eder, Johann. editor. (orcid)0000-0001-6050-468X&#160;Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868&#160;Wrembel, Robert. editor. (orcid)0000-0001-6037-5718&#160;Ivanovi&#263;, Mirjana. editor. (orcid)0000-0003-1946-0384<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30278-8">https://doi.org/10.1007/978-3-030-30278-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Metadata and Semantic Research 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486899 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634&#160;Sartori, Fabio. editor. (orcid)0000-0002-5038-9785&#160;Siatri, Rania. editor.&#160;Zervas, Marios. editor. (orcid)0000-0002-4466-7910&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14401-2">https://doi.org/10.1007/978-3-030-14401-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20&ndash;21, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483105 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Disser, Yann. editor. (orcid)0000-0002-2085-0454&#160;Verykios, Vassilios S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19759-9">https://doi.org/10.1007/978-3-030-19759-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483769 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Ordonez, Carlos. editor.&#160;Song, Il-Yeol. editor.&#160;Anderst-Kotsis, Gabriele. editor.&#160;Tjoa, A Min. editor. (orcid)0000-0002-8295-9252&#160;Khalil, Ismail. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-27520-4">https://doi.org/10.1007/978-3-030-27520-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483779 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Ek&scaron;tein, Kamil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-27947-9">https://doi.org/10.1007/978-3-030-27947-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20&ndash;24, 2019, Tutorial Lectures ent://SD_ILS/0/SD_ILS:485354 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Kr&ouml;tzsch, Markus. editor. (orcid)0000-0002-9172-2601&#160;Stepanova, Daria. editor. (orcid)0000-0001-8654-5121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31423-1">https://doi.org/10.1007/978-3-030-31423-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9&ndash;14, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:485610 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Tang, Jie. editor.&#160;Kan, Min-Yen. editor.&#160;Zhao, Dongyan. editor.&#160;Li, Sujian. editor.&#160;Zan, Hongying. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32236-6">https://doi.org/10.1007/978-3-030-32236-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Extraction Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486179 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Holzinger, Andreas. editor. (orcid)0000-0002-6786-5194&#160;Kieseberg, Peter. editor. (orcid)0000-0002-2847-2152&#160;Tjoa, A Min. editor.&#160;Weippl, Edgar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29726-8">https://doi.org/10.1007/978-3-030-29726-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486429 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Hofman, Piotrek. editor.&#160;Skrzypczak, Micha&#322;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24886-4">https://doi.org/10.1007/978-3-030-24886-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications ent://SD_ILS/0/SD_ILS:399577 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Hameurlain, Abdelkader. editor.&#160;Wagner, Roland. editor.&#160;Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060&#160;Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496&#160;Grosky, William I. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58415-6">https://doi.org/10.1007/978-3-662-58415-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures ent://SD_ILS/0/SD_ILS:400854 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917&#160;Stevens, Perdita. editor. (orcid)0000-0002-3975-7612&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-79108-1">https://doi.org/10.1007/978-3-319-79108-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485507 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Baptista, Jorge. editor.&#160;Mamede, Nuno. editor.&#160;Candeias, Sara. editor.&#160;Paraboni, Ivandr&eacute;. editor.&#160;Pardo, Thiago A.S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09761-9">https://doi.org/10.1007/978-3-319-09761-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485721 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Ferm&eacute;, Eduardo. editor.&#160;Leite, Joao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11558-0">https://doi.org/10.1007/978-3-319-11558-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics ent://SD_ILS/0/SD_ILS:489273 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Majki&#263;, Zoran. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04156-8">https://doi.org/10.1007/978-3-319-04156-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485675 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Koubarakis, Manolis. editor.&#160;Stamou, Giorgos. editor.&#160;Stoilos, Giorgos. editor.&#160;Horrocks, Ian. editor.&#160;Kolaitis, Phokion. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10587-1">https://doi.org/10.1007/978-3-319-10587-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488994 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Przepi&oacute;rkowski, Adam. editor.&#160;Ogrodniczuk, Maciej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10888-9">https://doi.org/10.1007/978-3-319-10888-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification of Business Rules Programs ent://SD_ILS/0/SD_ILS:489351 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Berstel-Da Silva, Bruno. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-40038-4">https://doi.org/10.1007/978-3-642-40038-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A General Framework for Reasoning On Inconsistency ent://SD_ILS/0/SD_ILS:332107 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Martinez, Maria Vanina. author.&#160;Molinaro, Cristian. author.&#160;Subrahmanian, V.S. author.&#160;Amgoud, Leila. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332107.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman ent://SD_ILS/0/SD_ILS:335138 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Tannen, Val. editor.&#160;Wong, Limsoon. editor.&#160;Libkin, Leonid. editor.&#160;Fan, Wenfei. editor.&#160;Tan, Wang-Chiew. editor.<br/>Preferred Shelf Number&#160;ONLINE(335138.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41660-6">http://dx.doi.org/10.1007/978-3-642-41660-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335150 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Ng, Wilfred. editor.&#160;Storey, Veda C. editor.&#160;Trujillo, Juan C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335150.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41924-9">http://dx.doi.org/10.1007/978-3-642-41924-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 &ndash; August 2, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334848 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Rudolph, Sebastian. editor.&#160;Gottlob, Georg. editor.&#160;Horrocks, Ian. editor.&#160;Harmelen, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334848.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39784-4">http://dx.doi.org/10.1007/978-3-642-39784-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197455 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Atzeni, Paolo. editor.&#160;Cheung, David. editor.&#160;Ram, Sudha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34002-4">http://dx.doi.org/10.1007/978-3-642-34002-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193051 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Lee, Mong Li. editor.&#160;Yu, Jeffrey Xu. editor.&#160;Bellahs&egrave;ne, Zohra. editor.&#160;Unland, Rainer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15684-7">http://dx.doi.org/10.1007/978-3-642-15684-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings ent://SD_ILS/0/SD_ILS:187946 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Hartmann, Sven. editor.&#160;Kern-Isberner, Gabriele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77684-0">http://dx.doi.org/10.1007/978-3-540-77684-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures ent://SD_ILS/0/SD_ILS:188747 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Baroglio, Cristina. editor.&#160;Bonatti, Piero A. editor.&#160;Ma&#322;uszy&#324;ski, Jan. editor.&#160;Marchiori, Massimo. editor.&#160;Polleres, Axel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85658-0">http://dx.doi.org/10.1007/978-3-540-85658-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188879 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;B&ouml;rger, Egon. editor.&#160;Butler, Michael. editor.&#160;Bowen, Jonathan P. editor.&#160;Boca, Paul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87603-8">http://dx.doi.org/10.1007/978-3-540-87603-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Finite Model Theory and Its Applications ent://SD_ILS/0/SD_ILS:185593 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Gr&auml;del, Erich. author.&#160;Kolaitis, Phokion G. author.&#160;Libkin, Leonid. author.&#160;Marx, Maarten. author.&#160;Spencer, Joel. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-68804-8">http://dx.doi.org/10.1007/3-540-68804-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186825 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Kedad, Zoubida. editor.&#160;Lammari, Nadira. editor.&#160;M&eacute;tais, Elisabeth. editor.&#160;Meziane, Farid. editor.&#160;Rezgui, Yacine. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73351-5">http://dx.doi.org/10.1007/978-3-540-73351-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings ent://SD_ILS/0/SD_ILS:182884 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Dix, J&uuml;rgen. editor.&#160;Hegner, Stephen J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11663881">http://dx.doi.org/10.1007/11663881</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184122 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Kop, Christian. editor.&#160;Fliedl, G&uuml;nther. editor.&#160;Mayr, Heinrich C. editor.&#160;M&eacute;tais, Elisabeth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11765448">http://dx.doi.org/10.1007/11765448</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183172 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Montoyo, Andr&eacute;s. editor.&#160;Mu&#324;oz, Rafael. editor.&#160;M&eacute;tais, Elisabeth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136569">http://dx.doi.org/10.1007/b136569</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports ent://SD_ILS/0/SD_ILS:182354 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Malenfant, Jacques. editor.&#160;&Oslash;stvold, Bjarte M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104146">http://dx.doi.org/10.1007/b104146</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inconsistency Tolerance ent://SD_ILS/0/SD_ILS:182393 2024-12-26T16:26:57Z 2024-12-26T16:26:57Z Author&#160;Bertossi, Leopoldo. editor.&#160;Hunter, Anthony. editor.&#160;Schaub, Torsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104925">http://dx.doi.org/10.1007/b104925</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>