A semantic account for modularity in multi-language modelling of search problems

DOI10.1007/978-3-642-24364-6_18MaRDI QIDQ3172899zbMATH OpenOpenAlexFDO

Authors Shahab Tasharrofi, Eugenia Ternovska

Publication date 7 October 2011

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24364-6_18

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Combined logics (03B62)

Recommendations

• A Module-Based Framework for Multi-language Constraint Modeling
• scientific article; zbMATH DE number 5942124
• scientific article; zbMATH DE number 6606379
• On the complexity of model expansion
• On abstract modular inference systems and solvers

Cites work

• A Module-Based Framework for Multi-language Constraint Modeling
• A logic of nonmonotone inductive definitions
• Essence: A constraint language for specifying combinatorial problems
• Integrating answer set programming and constraint logic programming
• Logic Based Program Synthesis and Transformation
• Logic Programming
• Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
• Modularity aspects of disjunctive stable models
• On the complexity of model expansion

Cited in

(11)

• A model building framework for answer set programming with external computations
• Foundations for structuring behavioural specifications
• On the complexity of model expansion
• On abstract modular inference systems and solvers
• A compositional typed higher-order logic with definitions
• Semantics of templates in a compositional framework for building logics
• On the existence of translations of structured specifications
• Active integrity constraints for general-purpose knowledge bases
• An abstract view on optimizations in SAT and ASP
• An axiomatic approach to structuring specifications
• Clause-learning for modular systems

Describes a project that uses

Uses Software

• Essence
• ESRA
• Smodels

This page was built for publication: A semantic account for modularity in multi-language modelling of search problems

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