Sciweavers

2 search results - page 1 / 1
» Predicate Introduction for Logics with Fixpoint Semantics. P...
Sort
View
90
Voted
FUIN
2007
236views more  FUIN 2007»
14 years 10 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»
14 years 10 months ago
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Joost Vennekens, Johan Wittocx, Maarten Marië...