The following pages link to Marco Alberti (Q421473):
Displayed 22 items.
- Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation (Q421476) (← links)
- Probabilistic inductive constraint logic (Q2051275) (← links)
- Mapping deontic operators to abductive expectations (Q2509082) (← links)
- (Q2844044) (← links)
- Runtime Addition of Integrity Constraints in an Abductive Proof Procedure (Q2883066) (← links)
- Deon + : Abduction and Constraints for Normative Reasoning (Q2900484) (← links)
- (Q3005894) (← links)
- Normative Systems Represented as Hybrid Knowledge Bases (Q3092311) (← links)
- Specification and Verification of Agent Interaction Using Abductive Reasoning (Q3623975) (← links)
- (Q4813443) (← links)
- Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
- Dischargeable Obligations in Abductive Logic Programming (Q5086202) (← links)
- MAP Inference for Probabilistic Logic Programming (Q5140005) (← links)
- Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics (Q5215372) (← links)
- Verifiable agent interaction in abductive logic programming (Q5277818) (← links)
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← 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)
- (Q6182226) (← links)