The following pages link to Marco Gavanelli (Q222875):
Displaying 38 items.
- A network model for routing-fault-free wavelength selection in WRONoCs design (Q1742244) (← links)
- (Q2051835) (redirect page) (← links)
- Branching interval algebra: an almost complete picture (Q2051838) (← links)
- Mapping deontic operators to abductive expectations (Q2509082) (← links)
- Specification and verification of agent interaction using social integrity constraints (Q2844044) (← links)
- Runtime addition of integrity constraints in an abductive proof procedure (Q2883066) (← links)
- Deon + : Abduction and Constraints for Normative Reasoning (Q2900484) (← links)
- Optimal placement of valves in a water distribution network with CLP(FD) (Q3087458) (← links)
- Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events (Q3164914) (← links)
- An ASP approach for the valves positioning optimization in a water distribution system (Q3458889) (← links)
- The Log-Support Encoding of CSP into SAT (Q3523089) (← links)
- Constraint Logic Programming (Q3578391) (← links)
- Logic–based decision support for strategic environmental assessment (Q3585174) (← links)
- Specification and Verification of Agent Interaction Using Abductive Reasoning (Q3623975) (← links)
- (Q4475693) (← links)
- (Q4499253) (← links)
- Scheduling countermeasures to contamination events by genetic algorithms (Q4589094) (← links)
- (Q4631194) (← links)
- Evaluating Compliance: From LTL to Abductive Logic Programming (Q4637879) (← links)
- Reasoning on Datalog± Ontologies with Abductive Logic Programming (Q4637880) (← links)
- (Q4737133) (← links)
- (Q4813443) (← links)
- Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
- Nonground Abductive Logic Programming with Probabilistic Integrity Constraints (Q5019597) (← links)
- Deciding the consistency of branching time interval networks (Q5079779) (← links)
- Dischargeable Obligations in Abductive Logic Programming (Q5086202) (← links)
- Verifiable agent interaction in abductive logic programming (Q5277818) (← links)
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← links)
- Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit (Q5398083) (← 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)
- From eager or lazy constrained data acquisition: A general framework (Q5952497) (← links)
- (Q6060092) (← links)
- Decomposition approaches for scheduling chronic outpatients’ clinical pathways in Answer Set Programming (Q6152956) (← links)
