The following pages link to Franco Turini (Q672702):
Displaying 31 items.
- Fully abstract compositional semantics for an algebra of logic programs (Q672703) (← links)
- (Q805274) (redirect page) (← links)
- The Logiform system (Q805275) (← links)
- Symbolic evaluation with structural recursive symbolic constants (Q1101205) (← links)
- Semantics of production systems (Q1110314) (← links)
- Information management in context trees (Q1249448) (← links)
- Applying restriction constraints to deductive databases (Q1370625) (← links)
- A framework for specifying and verifying the behaviour of open systems (Q1779319) (← links)
- GLocalX -- from local to global explanations of black box AI models (Q2238629) (← links)
- Dynamic composition of parameterised logic modules (Q2713371) (← links)
- (Q2729731) (← links)
- (Q2767124) (← links)
- Magma2: a language oriented toward experiments in control (Q3330489) (← links)
- The Semantics of Ugo Montanari (Q3507406) (← links)
- Symbolic Semantics and Program Reduction (Q3677145) (← links)
- (Q3773305) (← links)
- (Q4028774) (← links)
- (Q4051641) (← links)
- (Q4066586) (← links)
- Programming by combining general logic programs (Q4238481) (← links)
- (Q4707757) (← links)
- A transformational approach to negation in logic programming (Q4713088) (← links)
- (Q4802579) (← links)
- Clustering Formulation Using Constraint Optimization (Q4988644) (← links)
- Data Mining and Constraints: An Overview (Q4988862) (← links)
- An operator for composing deductive data bases with theories of constraints (Q5101441) (← links)
- Database Support for Data Mining Applications (Q5717482) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897324) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897329) (← links)
- Knowledge Discovery in Inductive Databases (Q5899026) (← links)
- Declarative reasoning on explanations using constraint logic programming (Q6545527) (← links)
