A Tableau Calculus for Minimal Modal Model Generation
Work
Year: 2011
Type: article
Abstract: Model generation and minimal model generation is useful for fault analysis, verification of systems and validation of data models. Whereas for classical propositional and first-order logic several mod... more
Authors Fabio Papacchini, Renate A. Schmidt
Institution University of Manchester
Cites: 19
Cited by: 5
Related to: 10
FWCI: 0.759
Citation percentile (by year/subfield): 77.66
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold