The following pages link to Paola Mello (Q222873):
Displaying 50 items.
- Hypothetical reasoning in logic programming: A semantic approach (Q918664) (← links)
- (Q1198091) (redirect page) (← links)
- The implementation of a distributed model for logic programming based on multiple-headed clauses (Q1198092) (← links)
- Compositional model-theoretic semantics for logic programs (Q1205176) (← links)
- An abstract interpretation framework for optimizing dynamic modular logic languages (Q1352002) (← links)
- Extending constraint logic programming for temporal reasoning (Q1383361) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Model agnostic solution of CSPs via deep learning: a preliminary study (Q1626734) (← links)
- Integrating induction and abduction in logic programming (Q1818759) (← links)
- Cooperation and competition in ALIAS: A logic framework for agents that negotiate (Q1861899) (← links)
- Mapping deontic operators to abductive expectations (Q2509082) (← links)
- Optimising business process discovery using answer set programming (Q2694620) (← links)
- (Q2729720) (← links)
- Specification and verification of agent interaction using social integrity constraints (Q2844044) (← links)
- Reactive Event Calculus for Monitoring Global Computing Applications (Q2900475) (← links)
- (Q3005894) (← links)
- A Logic-Based, Reactive Calculus of Events (Q3084982) (← links)
- Social Commitments in Time: Satisfied or Compensated (Q3402251) (← links)
- ${\cal B}$ -Tropos (Q3602948) (← links)
- Specification and Verification of Agent Interaction Using Abductive Reasoning (Q3623975) (← links)
- (Q3713567) (← links)
- (Q4222855) (← links)
- Reasoning on constraints in CLP(FD) (Q4223456) (← links)
- Composing Open Logic Programs (Q4276170) (← links)
- LAILA: a language for coordinating abductive reasoning among logic agents (Q4329487) (← links)
- (Q4365371) (← links)
- (Q4385448) (← links)
- (Q4446493) (← links)
- (Q4529648) (← links)
- (Q4530883) (← links)
- (Q4537120) (← links)
- Evaluating Compliance: From LTL to Abductive Logic Programming (Q4637879) (← links)
- Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning* (Q4686515) (← links)
- (Q4708903) (← links)
- (Q4737133) (← links)
- (Q4813443) (← links)
- (Q4817796) (← links)
- An assumption-based truth maintenance system dealing with non-ground justifications (Q4880539) (← links)
- An abductive framework for extended logic programming (Q5101460) (← links)
- Verifiable agent interaction in abductive logic programming (Q5277818) (← links)
- Partial deduction for structured logic programming (Q5286918) (← 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)
- On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework (Q5747982) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897331) (← links)
- From eager or lazy constrained data acquisition: A general framework (Q5952497) (← links)
