Frontiers of Combining Systems : 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings / [electronic resource] : / edited by René Thiemann, Christoph Weidenbach.. — 1st ed. 2026.. — XIX, 406 p. 66 illus., 47 illus. in color. : online resource. — (Lecture Notes in Artificial Intelligence,) 15979 2945-9141 ;. - Lecture Notes in Artificial Intelligence, 15979 .

Open Access

Анотація:
This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29–October 1, 2025. The 21 full papers included in the proceedings were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Description logics; beyond classical logic; satisfiability modulo theories; term rewrite systems; theorem proving; specific reasoning procedures; and proof checking.

ISBN: 9783032041678

Standard No.: 10.1007/978-3-032-04167-8 doi

Subjects--Topical Terms:
Software engineering.
Computer engineering.
Computer networks .
Computer science.
Machine theory.
Artificial intelligence.
Software Engineering.
Computer Engineering and Networks.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Artificial Intelligence.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1