Resource-Adaptive Model Generation as a Performance Model

DOI10.1093/JIGPAL/11.4.435MaRDI QIDQ4454093zbMATHOpenAlexFDO

Authors Michael Kohlhase, Alexander Koller

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

zbMATH Keywords

performance modelsModel generation calculi

Mathematics Subject Classification ID

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

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

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)