| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465323403316 |
|
|
Titolo |
Deontic Logic in Computer Science [[electronic resource] ] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings / / edited by Thomas Agotnes, Jan M. Broersen, Dag Elgesem |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2012.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 215 p. 21 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 7393 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematical logic |
Artificial intelligence |
Computer logic |
Application software |
Computer programming |
Computer science—Mathematics |
Mathematical Logic and Formal Languages |
Artificial Intelligence |
Logics and Meanings of Programs |
Computer Appl. in Administrative Data Processing |
Programming Techniques |
Discrete Mathematics in Computer Science |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent |
|
|
|
|
|
|
|
|
|
|
|
|
|
systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints. |
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996565863203316 |
|
|
Autore |
Anutariya Chutiporn |
|
|
Titolo |
Data Science and Artificial Intelligence [[electronic resource] ] : First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings / / edited by Chutiporn Anutariya, Marcello M. Bonsangue |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (368 pages) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0937 ; ; 1942 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Machine learning |
Artificial intelligence - Data processing |
Computer vision |
Natural language processing (Computer science) |
Artificial Intelligence |
Machine Learning |
Data Science |
Computer Vision |
Natural Language Processing (NLP) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Foundations of Data Science and AI -- Data Mining and Machine Learning -- Deep Learning -- Image Analysis and Object Recognition -- Large Language Models -- Data Science and AI in Healthcare -- AI |
|
|
|
|
|
|
|
|
|
|
|
|
|
and Creativity -- Data Science and AI in Education. . |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the First International Conference, DSAI 2023, held in Bangkok, Thailand, during November 27–30, 2023. The 22 full papers and the 4 short papers included in this volume were carefully reviewed and selected from 70 submissions. This volume focuses on ideas, methodologies, and cutting-edge research that can drive progress and foster interdisciplinary collaboration in the fields of data science and artificial intelligence. |
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNIORUON00238337 |
|
|
Titolo |
Transition : issues and developments in the Former Soviet Union and East-Central and Southeastern Europe |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Prague, : Open Media Research Institute |
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Descrizione fisica |
|
Bimensile. Già: Research Report. Poi: Transitions : changes in post-communist societies |
|
|
|
|
|
|
|
|
Soggetti |
|
Scienze politiche - Periodici |
Unione Sovietica - Periodici |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
| |