The following pages link to Abductive Logic Programming (Q5286914):
Displaying 46 items.
- Mapping deontic operators to abductive expectations (Q2509082) (← links)
- Abductive inference in defeasible reasoning: a model for research programmes (Q2565607) (← links)
- Teleo-Reactive Abductive Logic Programs (Q2900468) (← links)
- Declarative Distributed Computing (Q2900541) (← links)
- A Measure of Arbitrariness in Abductive Explanations (Q2931272) (← links)
- Super-Solutions (Q2946725) (← links)
- Minimal and consistent evolution of knowledge bases (Q3128368) (← links)
- Extending negation as failure by abduction: A three-valued stable model semantics (Q3128616) (← links)
- CP-logic: A language of causal probabilistic events and its relation to logic programming (Q3393227) (← links)
- SELECT TOPICS IN LEGAL EVIDENCE AND ASSISTANCE BY ARTIFICIAL INTELLIGENCE TECHNIQUES (Q3393491) (← links)
- Intelligent Alarm Correlation and Abductive Reasoning (Q3411861) (← links)
- FO(FD): Extending classical logic with rule-based fixpoint definitions (Q3585169) (← links)
- ${\cal B}$ -Tropos (Q3602948) (← links)
- Abductive Logic Grammars (Q3638282) (← links)
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356) (← links)
- SLDNFA: An abductive procedure for abductive logic programs (Q3841101) (← links)
- Abductive analysis of modular logic programs (Q4209293) (← links)
- The IFF proof procedure for abductive logic programming (Q4371992) (← links)
- Special issue: abductive logic programming (Q4484721) (← links)
- Abductive logic programming and disjunctive logic programming: their relationship and transferability (Q4484724) (← links)
- Modeling the suppression task under weak completion and well-founded semantics (Q4583344) (← links)
- Minimal models vs. logic programming: the case of counterfactual conditionals (Q4583350) (← links)
- Abduction in argumentation frameworks (Q4685530) (← links)
- (Q4799253) (← links)
- Knowledge base dynamics, abduction, and database updates (Q4835515) (← links)
- Representing Incomplete Knowledge in Abductive Logic Programming (Q4849644) (← links)
- Probabilistic behaviours of reactive agents (Q4923528) (← links)
- (Q4955335) (← links)
- Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
- Logic Programming, Argumentation and Human Reasoning (Q5098742) (← links)
- Complexity results for abductive logic programming (Q5101437) (← links)
- A terminological interpretation of (abductive) logic programming (Q5101438) (← links)
- Abduction over 3-valued extended logic programs (Q5101439) (← links)
- Nonmonotonic inheritance, argumentation and logic programming (Q5101459) (← links)
- Embedding circumscriptive theories in general disjunctive programs (Q5101461) (← links)
- Deontic Logic for Human Reasoning (Q5172607) (← links)
- Indefinite abductive explanations (Q5231278) (← links)
- An abductive framework for negation in disjunctive logic programming (Q5236438) (← links)
- Advances in Artificial Intelligence – SBIA 2004 (Q5311243) (← links)
- COGNITIVE ECONOMICS AND THE LOGIC OF ABDUCTION (Q5389591) (← links)
- Probabilistic legal reasoning in CHRiSM (Q5398310) (← links)
- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic (Q5504646) (← links)
- Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)
- Computational Logic in Multi-Agent Systems (Q5706840) (← links)
- A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics (Q5958767) (← links)
- Contrastive explanations for answer-set programs (Q6545521) (← links)
