Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Janhunen, Tomi - Department of Information and Computer Science, Helsinki University of Technology
A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning
Cautious Models for General Logic Programs Tomi Janhunen \Lambda ,
Engineering Theoretical
Representing Autoepistemic Introspection in Terms of Default Rules \Lambda
Representing Normal Programs with Clauses Tomi Janhunen 1
Separating Disbeliefs from Beliefs in Autoepistemic Reasoning ?
A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses
Some (in)translatability results for normal logic programs and propositional theories
P Q EQT(P, Q)
