×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of teodor-c-przymusinski
An algorithm to compute circumscription
213 views
Autoepistemic logic of knowledge and beliefs
222 views
Update by means of inference rules
212 views
Stable semantics for disjunctive programs
214 views