The following pages link to Evelina Lamma (Q222876):
Displaying 12 items.
- Partial deduction for structured logic programming (Q5286918) (← links)
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← links)
- Editorial: 29th International Conference on Logic Programming special issue (Q5398288) (← links)
- Applying Inductive Logic Programming to Process Mining (Q5452087) (← links)
- Computational Logic in Multi-Agent Systems (Q5464686) (← links)
- Global Computing (Q5464836) (← links)
- AI*IA 2005: Advances in Artificial Intelligence (Q5475747) (← links)
- Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)
- A CHR-based implementation of known arc-consistency (Q5696592) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897331) (← links)
- Advances in Intelligent Data Analysis VI (Q5897591) (← links)
- From eager or lazy constrained data acquisition: A general framework (Q5952497) (← links)