A semantic account for modularity in multi-language modelling of search problems
DOI10.1007/978-3-642-24364-6_18zbMATH Open1348.68232OpenAlexW186029108MaRDI QIDQ3172899FDOQ3172899
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
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Combined logics (03B62)
Cites Work
- Logic Based Program Synthesis and Transformation
- Essence: A constraint language for specifying combinatorial problems
- Modularity aspects of disjunctive stable models
- Integrating answer set programming and constraint logic programming
- A Module-Based Framework for Multi-language Constraint Modeling
- Logic Programming
- A logic of nonmonotone inductive definitions
- Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
- On the Complexity of Model Expansion
Cited In (10)
- A model building framework for answer set programming with external computations
- Clause-Learning for Modular Systems
- Foundations for structuring behavioural specifications
- 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
Uses Software
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)
