A Semantic Account for Modularity in Multi-language Modelling of Search Problems

DOI10.1007/978-3-642-24364-6_18zbMath1348.68232OpenAlexW186029108MaRDI QIDQ3172899

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

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

Related Items (10)

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

Uses Software

• Smodels
• ESRA
• Essence

Cites Work

• Essence: A constraint language for specifying combinatorial problems
• Integrating answer set programming and constraint logic programming
• A Module-Based Framework for Multi-language Constraint Modeling
• Modularity Aspects of Disjunctive Stable Models
• On the Complexity of Model Expansion
• A logic of nonmonotone inductive definitions
• Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
• Logic Programming
• Logic Based Program Synthesis and Transformation

This page was built for publication: A Semantic Account for Modularity in Multi-language Modelling of Search Problems