共 50 条
- [31] Keynote: The First-Order Logic of Signals 2018 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2018,
- [32] Positive First-order Logic on Words 2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
- [33] First-order logic with dependent types AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 377 - 391
- [35] Compositional Diagrammatic First-Order Logic DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2020, 2020, 12169 : 402 - 418
- [37] Literal Projection for First-Order Logic LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5293 : 389 - 402
- [39] Anytime reasoning in first-order logic NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1997, : 142 - 148