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

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

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 logic of nonmonotone inductive definitions
• A Module-Based Framework for Multi-language Constraint Modeling
• 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)

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

Describes a project that uses

Uses Software

• Smodels
• ESRA
• Essence

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)