Resource-Adaptive Model Generation as a Performance Model

DOI10.1093/JIGPAL/11.4.435zbMATH Open1061.68158OpenAlexW2043883358MaRDI QIDQ4454093FDOQ4454093

Alexander Koller, Michael Kohlhase

Publication date: 7 March 2004

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

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

Recommendations

• Generating relevant models
• Efficient model generation through compilation.
• A tableau calculus for minimal modal model generation
• Model generation for natural language interpretation and analysis.
• \$-calculus of bounded rational agents: flexible optimization as search under bounded resources in interactive systems

zbMATH Keywords

performance modelsModel generation calculi

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50)

Cited In (1)

• Logic-independent proof search in logical frameworks (short paper)

This page was built for publication: Resource-Adaptive Model Generation as a Performance Model

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