The following pages link to Evelina Lamma (Q222876):
Displaying 50 items.
- Hypothetical reasoning in logic programming: A semantic approach (Q918664) (← 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)
- Strategies in combined learning via logic programs (Q1572782) (← links)
- Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
- Integrating induction and abduction in logic programming (Q1818759) (← links)
- Cooperation and competition in ALIAS: A logic framework for agents that negotiate (Q1861899) (← links)
- Belief revision via Lamarckian evolution (Q1877376) (← links)
- Probabilistic inductive constraint logic (Q2051275) (← links)
- Learning hierarchical probabilistic logic programs (Q2071314) (← links)
- Symbolic DNN-tuner (Q2127252) (← links)
- A semantics for hybrid probabilistic logic programs with function symbols (Q2238621) (← links)
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics (Q2374532) (← links)
- Mapping deontic operators to abductive expectations (Q2509082) (← links)
- (Q2729720) (← links)
- (Q2770540) (← links)
- Distributed Parameter Learning for Probabilistic Ontologies (Q2827471) (← 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)
- Lifted Variable Elimination for Probabilistic Logic Programming (Q2931273) (← links)
- (Q3005894) (← links)
- Specification and Verification of Agent Interaction Using Abductive Reasoning (Q3623975) (← 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)
- (Q4631194) (← links)
- Evaluating Compliance: From LTL to Abductive Logic Programming (Q4637879) (← links)
- Reasoning on Datalog± Ontologies with Abductive Logic Programming (Q4637880) (← links)
- (Q4708903) (← links)
- (Q4737133) (← links)
- (Q4813443) (← links)
- An assumption-based truth maintenance system dealing with non-ground justifications (Q4880539) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
- Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
- Nonground Abductive Logic Programming with Probabilistic Integrity Constraints (Q5019597) (← links)
- Dischargeable Obligations in Abductive Logic Programming (Q5086202) (← links)
- An abductive framework for extended logic programming (Q5101460) (← links)
- Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics (Q5215372) (← links)
- Verifiable agent interaction in abductive logic programming (Q5277818) (← links)
