|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
| Cláudia Nalon Pages in this Program | 6th Workshop on practical aspects of automated reasoning | | All Proceedings Papers | | FSCD on Thursday, July 12th | | FSCD Program | | IJCAR on Saturday, July 14th | | IJCAR on Sunday, July 15th | | IJCAR Proceedings 9th IJCAR, 2018 | | IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts | | IJCAR Program | | PAAR on Thursday, July 19th | | PAAR papers | | PAAR papers: Papers with Abstracts | | PAAR Program | | Paper: A Resolution-Based Calculus for Preferential Logics | | Paper: Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics | | Paper: On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving | | Program | | Program for Saturday, July 14th | | Program for Sunday, July 15th | | Program for Sunday, July 8th | | Program for Thursday, July 12th | | Program for Thursday, July 19th | | WiL on Sunday, July 8th | | WiL Program | | WiL Short Papers and Abstracts | | WiL Short Papers and Abstracts: Papers with Abstracts |
|
|
|
