Logic in AI.

Software engineering and formal methods = 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings / by: (書目-語言資料,印刷品)

R-calculus, VI = finite injury priority method / by: (書目-語言資料,印刷品)

Theory and applications of satisfiability testing - SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings / by: (書目-語言資料,印刷品)

Representation theorems in computer science = a treatment in logic engineering / by: (書目-語言資料,印刷品)

Language, logic, and computation = 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Developments in language theory = 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019 : proceedings / by: (書目-語言資料,印刷品)

Formal grammar = 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019 : proceedings / by: (書目-語言資料,印刷品)

Rational Reasoning with Finite Conditional Knowledge Bases = Theoretical and Implementational Aspects / by: (書目-語言資料,印刷品)

Logic and Its Applications = 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings / by: (書目-語言資料,印刷品)

Perspectives of System Informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Grammar = 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings / by: (書目-語言資料,印刷品)

Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Integrated Formal Methods = 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / by: (書目-語言資料,印刷品)

Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Combinatorics on Words = 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings / by: (書目-語言資料,印刷品)

Theory and Applications of Satisfiability Testing – SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings / by: (書目-語言資料,印刷品)

Joint Training for Neural Machine Translation by: (書目-語言資料,印刷品)

Language and Automata Theory and Applications = 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings / by: (書目-語言資料,印刷品)

Formal Methods Teaching = Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / by: (書目-語言資料,印刷品)

Fundamentals of Software Engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Language, Logic, and Computation = 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Logic, Rationality, and Interaction = 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / by: (書目-語言資料,印刷品)

Representation Theorems in Computer Science = A Treatment in Logic Engineering / by: (書目-語言資料,印刷品)

Developments in Language Theory = 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings / by: (書目-語言資料,印刷品)

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy = Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / by: (書目-語言資料,印刷品)

Quantum-Dot Cellular Automata Based Digital Logic Circuits: A Design Perspective by: (書目-語言資料,印刷品)

Foundations of Information and Knowledge Systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / by: (書目-語言資料,印刷品)

Identity, Institutions and Governance in an AI World = Transhuman Relations / by: (書目-語言資料,印刷品)

Applications of Machine Learning by: (書目-語言資料,印刷品)

Verification, Model Checking, and Abstract Interpretation = 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings / by: (書目-語言資料,印刷品)

Advances in Computational Intelligence Techniques by: (書目-語言資料,印刷品)

Chatbot Research and Design = Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Foundations of Software Science and Computation Structures = 23rd 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: (書目-語言資料,印刷品)

Knowledge Graphs and Big Data Processing by: (書目-語言資料,印刷品)

Rules and Reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / by: (書目-語言資料,印刷品)

Theory and Applications of Satisfiability Testing – SAT 2020 = 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings / by: (書目-語言資料,印刷品)

Coalgebraic Methods in Computer Science = 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / by: (書目-語言資料,印刷品)

Formal Techniques for Safety-Critical Systems = 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Dependable Software Engineering. Theories, Tools, and Applications = 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings / by: (書目-語言資料,印刷品)

A Pipelined Multi-Core Machine with Operating System Support = Hardware Implementation and Correctness Proof / by: (書目-語言資料,印刷品)

Integrated Formal Methods = 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Neural Approaches to Dynamics of Signal Exchanges by: (書目-語言資料,印刷品)

Computational Complexity and Property Testing = On the Interplay Between Randomness and Computation / by: (書目-語言資料,印刷品)

Software Engineering and Formal Methods = SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Dynamic Logic. New Trends and Applications = Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

Fields of Logic and Computation III = Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / by: (書目-語言資料,印刷品)

Developments in Language Theory = 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Rough Sets XXII by: (書目-語言資料,印刷品)

Monotonicity in Logic and Language = Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Formal Methods and Software Engineering = 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings / by: (書目-語言資料,印刷品)

Formalising Natural Languages: Applications to Natural Language Processing and Digital Humanities = 14th International Conference, NooJ 2020, Zagreb, Croatia, June 5–7, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Tools and Algorithms for the Construction and Analysis of Systems = 27th 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: (書目-語言資料,印刷品)

Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings / by: (書目-語言資料,印刷品)

Chatbot Research and Design = 4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23–24, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / by: (書目-語言資料,印刷品)

Real-Time Intelligence for Heterogeneous Networks = Applications, Challenges, and Scenarios in IoT HetNets / by: (書目-語言資料,印刷品)

Implementation and Application of Automata = 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings / by: (書目-語言資料,印刷品)

Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / by: (書目-語言資料,印刷品)

Modelling Puzzles in First Order Logic by: (書目-語言資料,印刷品)

R-CALCULUS: A Logic of Belief Revision by: (書目-語言資料,印刷品)

Rules and Reasoning = 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings / by: (書目-語言資料,印刷品)

Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Tools and Algorithms for the Construction and Analysis of Systems = 27th 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: (書目-語言資料,印刷品)

Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings / by: (書目-語言資料,印刷品)

Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / by: (書目-語言資料,印刷品)

Implementation and Application of Automata = 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings / by: (書目-語言資料,印刷品)

Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / by: (書目-語言資料,印刷品)

Rules and Reasoning = 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings / by: (書目-語言資料,印刷品)

Formal Modeling and Analysis of Timed Systems = 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings / by: (書目-語言資料,印刷品)

A Journey from Process Algebra via Timed Automata to Model Learning = Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

Software Engineering and Formal Methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings / by: (書目-語言資料,印刷品)

Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / by: (書目-語言資料,印刷品)

R-Calculus, III: Post Three-Valued Logic by: (書目-語言資料,印刷品)

Formal Methods: Foundations and Applications = 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings / by: (書目-語言資料,印刷品)

Rules and Reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings / by: (書目-語言資料,印刷品)

Implementation and Application of Automata = 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings / by: (書目-語言資料,印刷品)

Visual Question Answering = From Theory to Application / by: (書目-語言資料,印刷品)

Theoretical Aspects of Software Engineering = 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings / by: (書目-語言資料,印刷品)

Foundations of Information and Knowledge Systems = 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings / by: (書目-語言資料,印刷品)

Coalgebraic Methods in Computer Science = 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings / by: (書目-語言資料,印刷品)

Five-Layer Intelligence of the Machine Brain = System Modelling and Simulation / by: (書目-語言資料,印刷品)

Tools and Algorithms for the Construction and Analysis of Systems = 28th 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 Computation = 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

New Developments in Legal Reasoning and Logic = From Ancient Law to Modern Legal Systems / by: (書目-語言資料,印刷品)

R-Calculus, II: Many-Valued Logics by: (書目-語言資料,印刷品)

Introducing Robotic Process Automation to Your Organization = A Guide for Business Leaders / by: (書目-語言資料,印刷品)

Developments in Language Theory = 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings / by: (書目-語言資料,印刷品)

Predicting the unknown = the history and future of data science and artificial intelligence / by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems = 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings / by: (書目-語言資料,印刷品)

Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings / by: (書目-語言資料,印刷品)

Rules and reasoning = 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings / by: (書目-語言資料,印刷品)

Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings / by: (書目-語言資料,印刷品)

Robust argumentation machines = first International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024 : proceedings / by: (書目-語言資料,印刷品)

Developments in language theory = 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024 : proceedings / by: (書目-語言資料,印刷品)

Coalgebraic methods in computer science = 17th 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 experiments = 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

Formal methods teaching = 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings / by: (書目-語言資料,印刷品)

Relational and algebraic methods in computer science = 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024 : proceedings / by: (書目-語言資料,印刷品)

Rules and reasoning = 8th international joint conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024 : proceedings / by: (書目-語言資料,印刷品)

Reachability problems = 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024 : proceedings / by: (書目-語言資料,印刷品)