Automated reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, part II

Automated reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, part II

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Joint Conference on Automated Reasoning Nancy (VerfasserIn)
Weitere Verfasser:	Benzmüller, Christoph (HerausgeberIn), Heule, Marijn J. H. 1979- (HerausgeberIn), Schmidt, Renate A. (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham, Switzerland Springer [2024]
Schriftenreihe:	Lecture notes in computer science. Lecture notes in artificial intelligence 14740
Schlagworte:	Artificial Intelligence Software Engineering Formal Languages and Automata Theory Computer Engineering and Networks Computer Science Logic and Foundations of Programming Artificial intelligence Software engineering Machine theory Computer engineering Computer networks Computer science Konferenzschrift > 03.07.2024-06.07.2024 > Nancy
Online-Zugang:	kostenfrei kostenfrei
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Frontiers of combining systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023 : proceedings
Veröffentlicht: (2023)

Principles of Systems Design Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Veröffentlicht: (2022)

Robust argumentation machines first international conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024 : proceedings
Veröffentlicht: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part IV
Veröffentlicht: (2024)

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings
Veröffentlicht: (2024)

Conceptual knowledge structures first international joint conference, CONCEPTS 2024, Cádiz, Spain, September 9–13, 2024, proceedings
Veröffentlicht: (2024)

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II
Veröffentlicht: (2023)

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings
Veröffentlicht: (2024)

Artificial Intelligence. ECAI 2023 International Workshops XAI 3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I
Veröffentlicht: (2024)

Artificial Intelligence. ECAI 2023 International Workshops XAI 3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II
Veröffentlicht: (2024)

Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6–7, 2024, Revised Selected Papers
Veröffentlicht: (2024)

Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5–7, 2023, Proceedings
Veröffentlicht: (2023)

Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13–16, 2024, Proceedings
Veröffentlicht: (2024)

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III
Veröffentlicht: (2022)

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27–29, 2023, Revised Selected Papers, Part II
Veröffentlicht: (2024)

Rules and reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017 : proceedings
Veröffentlicht: (2017)

Computing Science, Communication and Security 4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6–7, 2023, Revised Selected Papers
Veröffentlicht: (2023)

Model Checking Software 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
Veröffentlicht: (2022)

Computational Science and Its Applications – ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part I
Veröffentlicht: (2024)

Descriptional complexity of formal systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, proceedings
Veröffentlicht: (2023)

Logic-based program synthesis and transformation 31st international symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, proceedings
Veröffentlicht: (2022)

Logics in artificial intelligence 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings
Veröffentlicht: (2023)

Runtime verification 23rd international conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, proceedings
Veröffentlicht: (2023)

Automated reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016 : proceedings
Veröffentlicht: (2016)

Computational Science and Its Applications – ICCSA 2023 Workshops Athens, Greece, July 3–6, 2023, Proceedings, Part VIII
Veröffentlicht: (2023)

Computational science – ICCS 2022 22nd international conference, London, UK, June 21–23, 2022, proceedings, part IV
Veröffentlicht: (2022)

Research and Education in Urban History in the Age of Digital Libraries Second International Workshop, UHDL 2019, Dresden, Germany, October 10–11, 2019, Revised Selected Papers
Veröffentlicht: (2021)

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V
Veröffentlicht: (2025)

Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy 7th China Conference, CCKS 2022, Qinhuangdao, China, August 24–27, 2022, Revised Selected Papers
Veröffentlicht: (2022)

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III
Veröffentlicht: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II
Veröffentlicht: (2025)

Database and Expert Systems Applications - DEXA 2024 Workshops IWCFS, AISys, CIU, Naples, Italy, August 26–28, 2024, Proceedings
Veröffentlicht: (2024)

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I
Veröffentlicht: (2025)

Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8–10, 2021, Revised Selected Papers
Veröffentlicht: (2023)

Reliability, safety, and security of railway systems modelling, analysis, verification, and certification : 4th international conference, RSSRail 2022, Paris, France, June 1–2, 2022, proceedings
Veröffentlicht: (2022)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings
Veröffentlicht: (2023)

Electronic Governance and Open Society: Challenges in Eurasia 8th International Conference, EGOSE 2021, Saint Petersburg, Russia, November 24–25, 2021, Proceedings
Veröffentlicht: (2022)

Testing software and systems 35th IFIP WG 6.1 international conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023 : proceedings
Veröffentlicht: (2023)

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28–30, 2024, Proceedings, Part I
Veröffentlicht: (2024)

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28–30, 2024, Proceedings, Part II
Veröffentlicht: (2024)