The following pages link to Logic programming revisited (Q5738920):
Displayed 8 items.
- Ultimate approximation and its application in nonmonotonic knowledge representation systems (Q598245) (← links)
- Inductive situation calculus (Q1028914) (← links)
- A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs (Q1926591) (← links)
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning (Q2339009) (← links)
- Truth versus information in logic programming (Q2933087) (← links)
- Inference and learning in probabilistic logic programs using weighted Boolean formulas (Q4592983) (← links)
- Contextual hypotheses and semantics of logic programs (Q4897703) (← links)
- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic (Q5504646) (← links)