Automated Reasoning with Analytic Tableaux and Related Methods
Publication year: 2005
: 978-3-540-31822-4
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2005)heldSeptember 2005inKoblenz,Germany. which included conferences covering a broad spectrum of topics and intere- ing ?elds of application for tableau-based methods: arti?cial intelligence (KI), multi-agent systems (MATES), automated reasoning and knowledge represen- tion (FTP), and software engineering and formal methods (SEFM).
: Computer Science, Automat, automated reasoning, knowledge engineering, proving, semantic web, software verification, theorem proving, verification
