scientific article
From MaRDI portal
Publication:3869300
zbMath0432.00028MaRDI QIDQ3869300
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General and miscellaneous specific topics (00A99)
Related Items (20)
Reviews ⋮ Using an extended PROLOG to solve the lion and unicorn Puzzle ⋮ A Beginner's Guide to Mathematical Logic ⋮ Equational logic as a tool ⋮ Two ways to scare a Gruffalo ⋮ Computing answers with model elimination ⋮ Unnamed Item ⋮ Solving Knights-and-Knaves with One Equation ⋮ Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs ⋮ Reduction rules for resolution-based systems ⋮ Reviews ⋮ Fuzzy Knights and Knaves ⋮ Modelling knowledge and action in distributed systems ⋮ On more variants of the majority problem ⋮ The worst-case chip problem ⋮ A framework for riddles about truth that do not involve self-reference ⋮ Automated Puzzle Solving ⋮ A New–old Characterisation of Logical Knowledge ⋮ LOOK, KNAVE ⋮ Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\).
This page was built for publication:
