Pages that link to "Item:Q5277818"

The following pages link to Verifiable agent interaction in abductive logic programming (Q5277818):

Displaying 13 items.

• A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
• Probabilistic inductive constraint logic (Q2051275) (← links)
• Abduction with probabilistic logic programming under the distribution semantics (Q2076968) (← links)
• ${\cal B}$ -Tropos (Q3602948) (← links)
• Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
• The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356) (← links)
• Programming in logic without logic programming (Q4593027) (← links)
• Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
• (Q4993609) (← links)
• Nonground Abductive Logic Programming with Probabilistic Integrity Constraints (Q5019597) (← links)
• Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← links)
• Applying Inductive Logic Programming to Process Mining (Q5452087) (← links)
• Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)