共 50 条
- [33] On the complexity of Temporal Equilibrium Logic 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 645 - 656
- [34] COMPLEXITY OF REDUCTION IN COMBINATORY LOGIC RAIRO-INFORMATIQUE THEORIQUE-THEORETICAL COMPUTER SCIENCE, 1978, 12 (04): : 339 - 367
- [38] The complexity of revising logic programs JOURNAL OF LOGIC PROGRAMMING, 1999, 40 (2-3): : 273 - 298
- [40] A Complexity Question in Justification Logic LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, WOLLIC 2011, 2011, 6642 : 8 - 19