The following pages link to (Q3768366):
Displaying 14 items.
- Annotated nonmonotonic rule systems (Q673384) (← links)
- Answering queries from context-sensitive probabilistic knowledge bases (Q673387) (← links)
- A theory of nonmonotonic inheritance based on annotated logic (Q685338) (← links)
- A logic for reasoning with inconsistency (Q688558) (← links)
- Relevant logic programming (Q1181715) (← links)
- Probabilistic logic programming (Q1207942) (← links)
- A semantical framework for supporting subjective and conditional probabilities in deductive databases (Q1311410) (← links)
- A paraconsistent logic programming approach for querying inconsistent databases (Q2463646) (← links)
- Paraconsistent intelligent systems of computer logics (Q4007390) (← links)
- (Q4207887) (← links)
- (Q4288282) (← links)
- Parma—bridging the performance gap between imperative and logic programming (Q4339844) (← links)
- Relational Methods in Computer Science (Q5899316) (← links)
- Case-free programs: An abstraction of definite horn programs (Q6488524) (← links)