Sciweavers

2 search results - page 1 / 1
» Predicate Introduction for Logics with Fixpoint Semantics. P...
Sort
View
FUIN
2007
236views more  FUIN 2007»
13 years 4 months ago
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic
Joost Vennekens, Johan Wittocx, Maarten Marië...
FUIN
2007
220views more  FUIN 2007»
13 years 4 months ago
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Joost Vennekens, Johan Wittocx, Maarten Marië...