Pages that link to "Item:Q813086"
From MaRDI portal
The following pages link to A first order nonmonotonic extension of constructive logic (Q813086):
Displaying 11 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications (Q793007) (← links)
- Equilibrium logic (Q854969) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Semantics-based nonmonotonic inference (Q1903578) (← links)
- Computing equilibrium models using signed formulas (Q2767096) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- (Q3801524) (← links)
- Expressiveness of Logic Programs under the General Stable Model Semantics (Q5278207) (← links)
- Logics in Artificial Intelligence (Q5394121) (← links)
- Quantified Equilibrium Logic and Foundations for Answer Set Programs (Q5504679) (← links)