Tag #abduction
83 papers:
ICLP-2015-GavanelliLRBZC #datalog #framework #ontology- An Abductive Framework for Datalog± Ontologies (MG, EL, FR, EB, RZ, GC), pp. 274–286.
AIIDE-2014-Tomai - Exploring Abductive Event Binding for Opportunistic Storytelling (ET).
KR-2014-PereiraDH #approach #bias #reasoning- An Abductive Reasoning Approach to the Belief Bias Effect (LMP, EAD, SH).
SAS-2014-BrotherstonG #safety #termination- Cyclic Abduction of Inductively Defined Safety and Termination Preconditions (JB, NG), pp. 68–84.
- ICLP-J-2014-CaropreseTTZ
- A Measure of Arbitrariness in Abductive Explanations (LC, IT, MT, EZ), pp. 665–679.
- ICLP-J-2014-PereiraDH #reasoning
- Contextual Abductive Reasoning with Side-Effects (LMP, EAD, SH), pp. 633–648.
KEOD-2013-AlirezaieL #automation #data type #reasoning #using- Automatic Annotation of Sensor Data Streams using Abductive Reasoning (MA, AL), pp. 345–354.
OOPSLA-2013-DilligDLM #generative #induction #invariant- Inductive invariant generation via abductive inference (ID, TD, BL, KLM), pp. 443–456.
TACAS-2013-LiDDMS #composition #proving #synthesis- Synthesis of Circular Compositional Program Proofs via Abduction (BL, ID, TD, KLM, MS), pp. 370–384.
CAV-2013-DilligD #named- Explain: A Tool for Performing Abductive Inference (ID, TD), pp. 684–689.
CSL-2013-SchmidtW #complexity #constraints #similarity- The Complexity of Abduction for Equality Constraint Languages (JS, MW), pp. 615–633.
PLDI-2012-DilligDA #automation #fault #using- Automated error diagnosis using abductive inference (ID, TD, AA), pp. 181–192.
POPL-2012-BotincanDJ - Resource-sensitive synchronization inference by abduction (MB, MD, SJ), pp. 309–322.
- SAS-2011-GorogiannisKO #abstraction #complexity
- The Complexity of Abduction for Separated Heap Abstractions (NG, MIK, PWO), pp. 25–42.
- ICLP-2011-MaRBL #multi #reasoning
- Multi-agent Confidential Abductive Reasoning (JM, AR, KB, EL), pp. 175–186.
- ICLP-2011-MolinaroSS #logic #probability
- Abduction in Annotated Probabilistic Temporal Logic (CM, AS, VSS), pp. 240–250.
EDM-2010-KhodeirWDH #difference #network #probability #student #using- Inferring the Differential Student Model in a Probabilistic Domain Using Abduction inference in Bayesian networks (NK, NMW, NMD, NH), pp. 299–300.
ICPR-2010-LawalAM #classification #network #recognition #using- Recognition of Handwritten Arabic (Indian) Numerals Using Freeman’s Chain Codes and Abductive Network Classifiers (IAL, REAA, SAM), pp. 1884–1887.
- KR-2010-CreignouST #complexity #set #strict
- Complexity of Propositional Abduction for Restricted Sets of Boolean Functions (NC, JS, MT).
- CSL-2010-OHearn #deduction #induction #reasoning
- Abductive, Inductive and Deductive Reasoning about Resources (PWO), pp. 49–50.
- ICLP-2010-AlbertiGL10 #constraints #proving #runtime
- Runtime Addition of Integrity Constraints in an Abductive Proof Procedure (MA, MG, EL), pp. 4–13.
- ICLP-2010-CorapiRL10 #induction #logic programming
- Inductive Logic Programming as Abductive Search (DC, AR, EL), pp. 54–63.
- ICLP-2010-SimariS10 #logic programming #probability #source code
- Abductive Inference in Probabilistic Logic Programs (GIS, VSS), pp. 192–201.
ICMT-2009-HettelLR #approach #towards- Towards Model Round-Trip Engineering: An Abductive Approach (TH, ML, KR), pp. 100–115.
PADL-2009-PereiraDL #modelling #on the- On Preferring and Inspecting Abductive Models (LMP, PD, GL), pp. 1–15.
- ICLP-2009-GavanelliAL #constraints #integration #optimisation #reasoning
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF (MG, MA, EL), pp. 387–401.
- KR-2008-Bienvenu #complexity #lightweight #logic #product line
- Complexity of Abduction in the EL Family of Lightweight Description Logics (MB), pp. 220–230.
- PADL-2008-BeckerN #declarative #policy
- The Role of Abduction in Declarative Authorization Policies (MYB, SN), pp. 84–99.
- ICLP-2007-MancarellaTT #logic programming #verification #web
- Web Sites Verification: An Abductive Logic Programming Tool (PM, GT, FT), pp. 434–435.
- KR-2006-DuboisGK #probability
- Probabilistic Abduction without Priors (DD, AG, GKI), pp. 420–430.
- KR-2006-RandellW #visual notation
- Abductive Visual Perception with Feature Clouds (DAR, MW), pp. 352–361.
PPDP-2006-AlbertiGLCMM #framework #verification #web #web service- An abductive framework for a-priori verification of web services (MA, MG, EL, FC, PM, MM), pp. 39–50.
- ICLP-2005-ChristiansenD #logic programming #named #programming language #prolog
- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction (HC, VD), pp. 159–173.
- ICLP-2005-Maher #constraints #linear
- Abduction of Linear Arithmetic Constraints (MJM), pp. 174–188.
LICS-2005-Maher #constraints- Herbrand Constraint Abduction (MJM), pp. 397–406.
- KR-2004-Provan #complexity #modelling
- Inferential Complexity Control for Model-Based Abduction (GMP), pp. 415–426.
ICEIS-v2-2003-CamposGM #network #probability #using- Partial Abductive Inference in Bayesian Networks By Using Probability Trees (LMdC, JAG, SM), pp. 83–91.
- CSL-2003-EiterM #generative #query
- Generating All Abductive Explanations for Queries on Propositional Horn Theories (TE, KM), pp. 197–211.
- ICLP-2002-RussoMNK #approach #requirements #specification
- An Abductive Approach for Analysing Event-Based Requirements Specifications (AR, RM, BN, JK), pp. 22–37.
SIGIR-2001-RuthvenRL #empirical #query #using- Empirical Investigations on Query Modification Using Abductive Explanations (IR, CJvR, ML), pp. 181–189.
- ICLP-2001-MedinaOV #approach #logic #multi #reasoning
- A Multi-adjoint Logic Approach to Abductive Reasoning (JM, MOA, PV), pp. 269–283.
- ICEIS-2000-Morand #approach #diagrams #process #representation
- Representation Process and Abductive Reasoning-An Experimental Approach of the Diagrammatic Case (BM), pp. 322–326.
- KR-2000-Pino-PerezU
- Ordering explanations and the structural rules for abduction (RPP, CU), pp. 637–646.
LOPSTR-2000-Demoen #garbage collection #prolog- Prolog and abduction 4 writing garbage collectors (BD).
ASE-2000-Monroy #recursion #using- The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures (RM), pp. 91–100.
- CL-2000-Inoue
- A Simple Characterization of Extended Abduction (KI), pp. 718–732.
- PPDP-1999-Davila #logic programming #named #programming language
- OPENLOG: A Logic Programming Language Based on Abduction (JAD), pp. 278–293.
SAC-1999-CiampoliniLMS #coordination #logic- Abductive Coordination for Logic Agents (AC, EL, PM, CS), pp. 134–140.
- ICLP-1999-AlferesPS #source code
- Well-founded Abduction via Tabled Dual Programs (JJA, LMP, TS), pp. 426–440.
- ICLP-1999-Verbaeten #analysis #logic programming #source code #termination
- Termination Analysis for Abductive General Logic Programs (SV), pp. 365–379.
- KR-1998-InoueS #specification #transaction
- Specifying Transactions for Extended Abduction (KI, CS), pp. 394–405.
- JICSLP-1998-KakasM #logic programming
- Applications of Abductive Logic Programming (ACK, AM), pp. 343–344.
- JICSLP-1996-Decker #database #deduction #maintenance
- An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases (HD), pp. 157–169.
- LICS-1996-MarekNR #complexity #on the
- On the Complexity of Abduction (VWM, AN, JBR), pp. 513–522.
- ICLP-1995-Fung
- Abduction with Clark Completion (THF), p. 817.
- ICLP-1995-KakasM #constraints #logic programming
- Integrating Abductive and Constraint Logic Programming (ACK, AM), pp. 399–413.
- ICLP-1995-SakamaI #deduction #reasoning
- The Effect of Partial Deduction in Abductive Reasoning (CS, KI), pp. 383–397.
- ICLP-1995-ToniK #logic programming #reduction #source code
- Reduction of Abductive Logic Programs to Normal Logic Programs (FT, RAK), pp. 367–381.
- KR-1994-McIlraith #generative #testing #using
- Generating Tests Using Abduction (SAM), pp. 449–460.
- ALP-1994-Teusink #logic programming #source code
- Three-Valued Completion for Abductive Logic Programs (FT), pp. 150–167.
- ICLP-1994-BelleghemDS #calculus #representation
- Representing Continuous Change in the Abductive Event Calculus (KVB, MD, DDS), pp. 225–239.
- ICLP-1994-KakasM #logic programming
- Abduction and Abductive Logic Programming (ACK, PM), pp. 18–19.
- ICLP-1994-SakamaI #equivalence #logic programming #on the #source code
- On the Equivalence between Disjunctive and Abductive Logic Programs (CS, KI), pp. 489–503.
- ILPS-1994-Giacobazzi #analysis #composition #logic programming #source code
- Abductive Analysis of Modular Logic Programs (RG), pp. 377–391.
SEKE-1993-Maim #constraints #logic programming #source code #strict- Restricted Abduction in Constraint Logic Programs (EM), pp. 222–224.
- WSA-1993-KatoSI #performance #program analysis #reasoning
- An Efficient Abductive Reasoning System Based on Program Analysis (SK, HS, HI), pp. 230–241.
- ICLP-1993-InoueS #logic programming #source code
- Transforming Abductive Logic Programs to Disjunctive Programs (KI, CS), pp. 335–353.
- ILPS-1993-DeneckerS #information management #logic programming #representation
- Representing Incomplete Knowledge in Abductive Logic Programming (MD, DDS), pp. 147–163.
- KR-1992-NgM #empirical #evaluation #recognition
- Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation (HTN, RJM), pp. 499–508.
- JICSLP-1992-DeneckerS #named #source code
- SLDNFA: An Abductive Procedure for Normal Abductive Programs (MD, DDS), pp. 686–700.
- JICSLP-1992-SatohI #evaluation #logic programming #query
- A Query Evaluation Method for Abductive Logic Programming (KS, NI), pp. 671–685.
- KR-1991-Bylander #functional #problem
- The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability (TB), pp. 70–77.
ML-1991-BottaRSS #learning #using- Improving Learning Using Causality and Abduction (MB, SR, LS, SBS), pp. 480–484.
- ICLP-1991-Dung #logic programming
- Negations as Hypotheses: An Abductive Foundation for Logic Programming (PMD), pp. 3–17.
- ICLP-1991-SatohI #using
- Computing Abduction by Using the TMS (KS, NI), pp. 505–518.
VLDB-1990-KakasM #database- Database Updates through Abduction (ACK, PM), pp. 650–661.
- ML-1990-Kodratoff #problem #proving #using
- Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy (YK), pp. 295–303.
- CLP-1990-Bry90 #deduction
- Intensional Updates: Abduction via Deduction (FB), pp. 561–575.
- KR-1989-BylanderATJ #complexity
- Some Results Concerning the Computational Complexity of Abduction (TB, DA, MCT, JRJ), pp. 44–54.
- ML-1989-ORorkeMS #case study
- Theory Formation by Abduction: Initial Results of a Case Study Based on the Chemical Revolution (PO, SM, DS), pp. 266–271.
- NACLP-1989-ChenW
- Abductive Resoning with Structured Data (WC, DSW), pp. 851–867.
- JICSCP-1988-Eshghi88 #calculus
- Abductive Planning with Event Calculus (KE), pp. 562–579.
- SLP-1987-CoxP87
- General Diagnosis by Abductive Inference (PTC, TP), pp. 183–189.
