scientific article; zbMATH DE number 6606379

MaRDI QIDQ5740450zbMATH OpenFDO

Authors David G. Mitchell, Eugenia Ternovska

Publication date 26 July 2016

zbMATH Keywords

formalization of search problemslogic-based knowledge representationmodel expansion

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30)

Recommendations

• Searching and knowledge representation
• Knowledge Representation, Reasoning and Declarative Problem Solving
• scientific article; zbMATH DE number 4094876
• scientific article; zbMATH DE number 1321109
• Model-Based Knowledge Representation and Reasoning Via Answer Set Programming
• Knowledge Representation, Reasoning and Declarative Problem Solving
• scientific article; zbMATH DE number 6606365
• scientific article; zbMATH DE number 1315582
• scientific article; zbMATH DE number 1183264

Cited in

(6)

• Remarks on knowledge representation using predicate logic
• Searching and knowledge representation
• A semantic account for modularity in multi-language modelling of search problems
• On the complexity of model expansion
• PBINT, a logic for modelling search problems involving arithmetic
• Lazy model expansion: interleaving grounding with search

This page was built for publication:

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