Logic in AI.

Perspectives of system informatics12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019 : revised selected papers / by: (書目-電子資源)

Formal techniques for safety-critical systems7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019 : revised selected papers / by: (書目-電子資源)

Applications of machine learning by: (書目-電子資源)

Foundations of software science and computation structures23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings / by: (書目-電子資源)

Computational complexity and property testingon the interplay between randomness and computation / by: (書目-電子資源)

Dynamic logicnew trends and applications : second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings / by: (書目-電子資源)

Foundations of information and knowledge systems11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020 : proceedings / by: (書目-電子資源)

Chatbot research and designthird International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19-20, 2019 : revised selected papers / by: (書目-電子資源)

Identity, institutions and governance in an AI worldtranshuman relations / by: (書目-電子資源)

Advances in computational intelligence techniques by: (書目-電子資源)

Neural approaches to dynamics of signal exchanges by: (書目-電子資源)

A pipelined multi-core machine with operating system supporthardware implementation and correctness proof / by: (書目-電子資源)

Fields of logic and computation IIIessays dedicated to Yuri Gurevich on the the occasion of his 80th birthday / by: (書目-電子資源)

Developments in language theory24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020 : proceedings / by: (書目-電子資源)

Knowledge graphs and big data processing by: (書目-電子資源)

Rules and reasoning4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020 : proceedings / by: (書目-電子資源)

Coalgebraic methods in computer science15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings / by: (書目-電子資源)

Software engineering and formal methodsSEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers / by: (書目-電子資源)

Joint training for neural machine translation by: (書目-電子資源)

Combinatorics on words12th International Conference, WORDS 2019, Loughborough, UK, September 9-13, 2019 : proceedings / by: (書目-電子資源)

Language and automata theory and applications13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019 : proceedings / by: (書目-電子資源)

Logic and its applications8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019 : proceedings / by: (書目-電子資源)

Logic, rationality, and interaction7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019 : proceedings / by: (書目-電子資源)

The art of modelling computational systemsa journey from logic and concurrency to security and privacy : Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday / by: (書目-電子資源)

Dependable software engineeringtheories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings / by: (書目-電子資源)

Integrated formal methods16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings / by: (書目-電子資源)

Monotonicity in logic and languagesecond Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020 : proceedings / by: (書目-電子資源)

Transactions on rough sets XXII by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 202023rd International Conference, Alghero, Italy, July 3-10, 2020 : proceedings / by: (書目-電子資源)

Rigorous state-based methods8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.Part I / by: (書目-電子資源)

Formalising natural languagesapplications to natural language processing and digital humanities : 14th International Conference, NooJ 2020, Zagreb, Croatia, June 5-7, 2020 : revised selected papers / by: (書目-電子資源)

Chatbot research and design4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23-24, 2020 : revised selected papers / by: (書目-電子資源)

Implementation and application of automata25th International Conference, CIAA 2021, virtual event, July 19-22, 2021 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 202124th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings / by: (書目-電子資源)

Real-time intelligence for heterogeneous networksapplication, challenges, and scenarios in IoT HetNets / by: (書目-電子資源)

Modelling puzzles in first order logic by: (書目-電子資源)

R-CALCULUSa logic of belief revision / by: (書目-電子資源)

Relational and algebraic methods in computer science19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings / by: (書目-電子資源)

Rules and reasoning5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021 : proceedings / by: (書目-電子資源)

Developments in language theory25th International Conference DLT 2021, Porto, Portugal, August 16-20, 2021 : proceedings / by: (書目-電子資源)

Introducing robotic process automation to your organizationa guide for business leaders / by: (書目-電子資源)

New developments in legal reasoning and logicfrom ancient law to modern legal systems / by: (書目-電子資源)

R-calculus.II,Many-valued logics by: (書目-電子資源)

Visual question answeringfrom theory to application / by: (書目-電子資源)

Developments in language theory26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022 : proceedings / by: (書目-電子資源)

Implementation and application of automata26th International Conference, CIAA 2022, Rouen, France, June 28-July 1, 2022 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings.Part II / by: (書目-電子資源)

Language, logic, and computation13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019 : revised selected papers / by: (書目-電子資源)

Five-layer intelligence of the machine brainsystem modelling and simulation / by: (書目-電子資源)

Theoretical aspects of software engineering16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022 : proceedings / by: (書目-電子資源)

Foundations of information and knowledge systems12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022 : proceedings / by: (書目-電子資源)

Coalgebraic methods in computer science16th IFIP WG 1.3 International Workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022 : proceedings / by: (書目-電子資源)

A journey from process algebra via timed automata to model learningessays dedicated to Frits Vaandrager on the occasion of his 60th birthday / by: (書目-電子資源)

Software engineering and formal methods20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022 : proceedings / by: (書目-電子資源)

Reachability problems16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings / by: (書目-電子資源)

Developments in language theory27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023 : proceedings / by: (書目-電子資源)

Practical aspects of declarative languages25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / by: (書目-電子資源)

Verified softwaretheories, tools and experiments : 14th International Conference, VSTTE 2022, Trento, Italy, october 17-18, 2022 : revised selected papers / by: (書目-電子資源)

Chatbot research and design6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22-23, 2022 : revised selected papers / by: (書目-電子資源)

Dynamic logic : new trends and applications4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers / by: (書目-電子資源)

Logic and its applications10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023 : proceedings / by: (書目-電子資源)

Dynamics in logic and languagethird Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, virtual event, April 1-4, 2022 : revised selected papers / by: (書目-電子資源)

Formal methods teaching5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings / by: (書目-電子資源)

R-calculus.IV,Propositional logic by: (書目-電子資源)

Relational and algebraic methods in computer science20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings / by: (書目-電子資源)

Predicting the unknownthe history and future of data science and artificial intelligence / by: (書目-電子資源)

Formal modeling and analysis of timed systems21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings / by: (書目-電子資源)

Reachability problems17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings / by: (書目-電子資源)

Rules and reasoning7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings / by: (書目-電子資源)

Software engineering and formal methods21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings / by: (書目-電子資源)

Rigorous state-based methods10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024 : proceedings / by: (書目-電子資源)

Algorithmic discrimination and ethical perspective of artificial intelligence by: (書目-電子資源)

Formal methodsfoundations and applications : 26th Brazilian symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part II / by: (書目-語言資料,印刷品)

Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part I / by: (書目-電子資源)

R-calculus.V,Description logics by: (書目-電子資源)

Dynamic logicnew trends and applications : 5th International Workshops, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023 : revised selected papers / by: (書目-電子資源)

Chatbot research and design7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023 : revised selected papers / by: (書目-電子資源)

Human and artificial rationalitiessecond International Conference, HAR 2023, Paris, France, September 19-22, 2023 : proceedings / by: (書目-電子資源)

Foundations of information and knowledge systems13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024 : proceedings / by: (書目-電子資源)

Robust argumentation machinesfirst International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024 : proceedings / by: (書目-電子資源)

Coalgebraic methods in computer science17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings / by: (書目-電子資源)

Verified software. theories, tools and experiments15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers / by: (書目-電子資源)

Developments in language theory28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024 : proceedings / by: (書目-電子資源)

Formal methods teaching6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings / by: (書目-電子資源)

Rules and reasoning8th international joint conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024 : proceedings / by: (書目-電子資源)

Reachability problems18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024 : proceedings / by: (書目-電子資源)

Machine learning and soft computing9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, revised selected papers.Part I / by: (書目-電子資源)

The connectives in logic and language4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024 : revised selected papers / by: (書目-電子資源)

Verified softwaretheories, tools and experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024 : revised selected papers / by: (書目-電子資源)

Logic and its applications11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings / by: (書目-電子資源)

R-calculus, VIfinite injury priority method / by: (書目-電子資源)

Software engineering and formal methods22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings / by: (書目-電子資源)

Formal methodsfoundations and applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.Part II / by: (書目-電子資源)

Verification, model checking, and abstract interpretation26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.Part I / by: (書目-電子資源)

Reasoning web. declarative artificial intelligence: knowledge, rules, logic19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures / by: (書目-電子資源)

Human and artificial rationalitiesadvances in cognition, computation, and consciousness : third International Conference, HAR 2024, Paris, France, September 17-20, 2024 : proceedings / by: (書目-電子資源)

Chatbots and human-centered AI8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024 : revised selected papers / by: (書目-電子資源)

Artificial intelligence and the future of human relationseastern and western perspectives / by: (書目-電子資源)