Recording and analysing knowledge-based distributed deduction processes

DOI10.1006/JSCO.1996.0029MaRDI QIDQ2365126zbMATH OpenOpenAlexFDO

Authors Jörg Denzinger, Stephan Schulz

Publication date 22 January 1997

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/eef6db1118de74cbd2af888589e08e4e130b4717

zbMATH Keywords

deduction processdistributed systemproof systems

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 3902018
• Reasoning about Knowledge in Asynchronous Distributed Systems
• Modelling knowledge and action in distributed systems
• scientific article; zbMATH DE number 4085005
• scientific article; zbMATH DE number 1418379
• Distributed knowledge justification logics
• Proof Theory for Distributed Knowledge
• Distributed knowledge whether (extended abstract)

Cited in

(8)

• Proofs as schemas and their heuristic use
• Automatic acquisition of search control knowledge from multiple proof attempts.
• Twee: an equational theorem prover
• Performance of clause selection heuristics for saturation-based theorem proving
• scientific article; zbMATH DE number 67447 (Why is no real title available?)
• scientific article; zbMATH DE number 2086860 (Why is no real title available?)
• Learning-assisted theorem proving with millions of lemmas
• Distributing equational theorem proving

This page was built for publication: Recording and analysing knowledge-based distributed deduction processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2365126)