The following pages link to Logics in Artificial Intelligence (Q5394121):
Displaying 14 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Ordered completion for first-order logic programs on finite structures (Q420824) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- Weight constraint programs with evaluable functions (Q645084) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Equilibrium logic (Q854969) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- A qualitative temporal extension of here-and-there logic (Q2694563) (← links)
- Computing equilibrium models using signed formulas (Q2767096) (← links)
- On the Expressiveness of Temporal Equilibrium Logic (Q2835869) (← links)
- Strongly Equivalent Temporal Logic Programs (Q3532454) (← links)
- A denotational semantics for equilibrium logic (Q4593002) (← links)
- Partial Functions and Equality in Answer Set Programming (Q5504669) (← links)
- Quantified Equilibrium Logic and Foundations for Answer Set Programs (Q5504679) (← links)
