BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
program (24)
logic (23)
reason (10)
use (10)
infer (8)

Stem abduct$ (all stems)

84 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.