Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2003.06492
Cited By
v1
v2
v3 (latest)
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
International Conference on Principles of Knowledge Representation and Reasoning (KR), 2020
13 March 2020
Renyan Feng
Erman Acar
Stefan Schlobach
Yisong Wang
Wanwei Liu
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach"
3 / 3 papers shown
Four algorithms for propositional forgetting
P. Liberatore
58
0
0
13 Apr 2022
Common equivalence and size after forgetting
P. Liberatore
82
3
0
19 Jun 2020
The ghosts of forgotten things: A study on size after forgetting
P. Liberatore
171
7
0
08 May 2020
1
Page 1 of 1
