Frontiers of Combining Systems
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...
Saved in:
| 格式: | Online |
|---|---|
| 語言: | 英语 |
| 出版: |
Springer Nature
2025
|
| 主題: | |
| 在線閱讀: | ONIX_20251020T130859_9783032041678_30 |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|
| _version_ | 1869522788102963200 |
|---|---|
| collection | Directory of Open Access Books |
| description | 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. |
| format | Online |
| id | doab-20.500.12854ir-168410 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2025 |
| publishDateRange | 2025 |
| publishDateSort | 2025 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1684102025-10-21T05:25:32Z Frontiers of Combining Systems Thiemann, René Weidenbach, Christoph Open Access artificial intelligence computer networks automated reasoning computer systems description logics formal languages formal logic constraint solving decision procedures network protocols ontologies semantics software architecture software design software engineering software quality verification and validation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UK Computer hardware thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence 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. 2025-10-21T05:25:30Z 2025-10-21T05:25:30Z 2025-10-20T11:13:50Z 2026 book ONIX_20251020T130859_9783032041678_30 https://library.oapen.org/handle/20.500.12657/107663 9783032041678 9783032041661 https://directory.doabooks.org/handle/20.500.12854/168410 eng Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0) open access image/jpeg n/a https://library.oapen.org/bitstream/20.500.12657/107663/1/9783032041678.pdf Springer Nature Springer 10.1007/978-3-032-04167-8 10.1007/978-3-032-04167-8 9fa3421d-f917-4153-b9ab-fc337c396b5a 9783032041678 9783032041661 Springer 406 Cham open access |
| spellingShingle | Open Access artificial intelligence computer networks automated reasoning computer systems description logics formal languages formal logic constraint solving decision procedures network protocols ontologies semantics software architecture software design software engineering software quality verification and validation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UK Computer hardware thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence Frontiers of Combining Systems |
| title | Frontiers of Combining Systems |
| title_full | Frontiers of Combining Systems |
| title_fullStr | Frontiers of Combining Systems |
| title_full_unstemmed | Frontiers of Combining Systems |
| title_short | Frontiers of Combining Systems |
| title_sort | frontiers of combining systems |
| topic | Open Access artificial intelligence computer networks automated reasoning computer systems description logics formal languages formal logic constraint solving decision procedures network protocols ontologies semantics software architecture software design software engineering software quality verification and validation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UK Computer hardware thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence |
| topic_facet | Open Access artificial intelligence computer networks automated reasoning computer systems description logics formal languages formal logic constraint solving decision procedures network protocols ontologies semantics software architecture software design software engineering software quality verification and validation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UK Computer hardware thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence |
| url | ONIX_20251020T130859_9783032041678_30 |