Complete and Terminating Tableau Calculus for Undirected Graph

Logic in Asia: Studia logica library 2026 Book chapter

View at publisher

Authors: Yuki Nishimura, Tsubasa Takagi

DOI: 10.1007/978-981-96-8566-0_9

Cited by: 1

References: 17

Fields of Study & Subjects

Logic Reasoning and Knowledge Multi-Agent Systems and Negotiation Model-Driven Software Engineering Techniques

References 17