Pages that link to "Item:Q3172899"
From MaRDI portal
The following pages link to A Semantic Account for Modularity in Multi-language Modelling of Search Problems (Q3172899):
Displaying 10 items.
- On abstract modular inference systems and solvers (Q286083) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the existence of translations of structured specifications (Q458375) (← links)
- Active integrity constraints for general-purpose knowledge bases (Q1783734) (← links)
- An abstract view on optimizations in SAT and ASP (Q2055811) (← links)
- Clause-Learning for Modular Systems (Q3449228) (← links)
- Semantics of templates in a compositional framework for building logics (Q4593008) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- A compositional typed higher-order logic with definitions (Q5240216) (← links)
