The following pages link to (Q3667969):
Displayed 15 items.
- Mechanical reasoning about families of UTP theories (Q436368) (← links)
- Experiments with discrimination-tree indexing and path indexing for term retrieval (Q688554) (← links)
- Parallel state-space search for a first solution with consistent linear speedups (Q757044) (← links)
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- A structure-preserving clause form translation (Q1098330) (← links)
- A model for belief revision (Q1104127) (← links)
- Non-monotonic logic. I (Q1140441) (← links)
- A general framework for reason maintenance (Q1187218) (← links)
- A rational reconstruction of nonmonotonic truth maintenance systems (Q2638808) (← links)
- A general approach for determining the validity of commonsense assertions using conditional logics (Q3201782) (← links)
- A new list compaction method (Q3713589) (← links)
- Eighth Latin American Symposium on Mathematical Logic, João Pessoa (Q4008764) (← links)
- Nonmonotonic consequence based on intuitionistic logic (Q4032657) (← links)
- A knowledge representation perspective: Logics for paraconsistent reasoning (Q4293724) (← links)
- A probabilistic commonsense reasoner (Q5748904) (← links)