The following pages link to Paolo Ferraris (Q543594):
Displaying 12 items.
- Stable models and circumscription (Q543596) (← links)
- A generalization of the Lin-Zhao theorem (Q854963) (← links)
- Vladimir Lifschitz — A Youth at 65 (Q2900503) (← links)
- Representing first-order causal theories by logic programs (Q2909525) (← links)
- Logic programs with propositional connectives and aggregates (Q2946644) (← links)
- On the Minimality of Stable Models (Q3001914) (← links)
- (Q3007261) (← links)
- Weight constraints as nested expressions (Q4673539) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424866) (← links)
- Propositional theories are strongly equivalent to logic programs (Q5431419) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473962) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473965) (← links)
