The following pages link to (Q3869300):
Displaying 19 items.
- A framework for riddles about truth that do not involve self-reference (Q763326) (← links)
- The worst-case chip problem (Q1029103) (← links)
- Using an extended PROLOG to solve the lion and unicorn Puzzle (Q1123642) (← links)
- Reduction rules for resolution-based systems (Q1187214) (← links)
- Modelling knowledge and action in distributed systems (Q1262142) (← links)
- Computing answers with model elimination (Q1402748) (← links)
- Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\). (Q1854304) (← links)
- On more variants of the majority problem (Q2312645) (← links)
- Solving Knights-and-Knaves with One Equation (Q3298825) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- Automated Puzzle Solving (Q3647313) (← links)
- Reviews (Q4575426) (← links)
- <i>A Beginner's Guide to Mathematical Logic</i> (Q4577003) (← links)
- Fuzzy Knights and Knaves (Q4961638) (← links)
- Reviews (Q4988276) (← links)
- (Q5028422) (← links)
- Equational logic as a tool (Q5096377) (← links)
- A New–old Characterisation of Logical Knowledge (Q5497107) (← links)
- LOOK, KNAVE (Q5857588) (← links)
