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:
about (234)
base (135)
logic (109)
system (103)
program (97)

Stem reason$ (all stems)

873 papers:

ECSAECSA-2015-AbbasA #adaptation #architecture #case study #product line #reasoning #self
Architectural Reasoning Support for Product-Lines of Self-adaptive Software Systems — A Case Study (NA, JA), pp. 20–36.
DATEDATE-2015-JiaoMD #reasoning #synthesis
Knowledge-intensive, causal reasoning for analog circuit topology synthesis in emergent and innovative applications (FJ, SM, AD), pp. 1144–1149.
SIGMODSIGMOD-2015-ChevalierSGL #incremental #named #performance
Slider: An Efficient Incremental Reasoner (JC, JS, CG, FL), pp. 1081–1086.
SIGMODSIGMOD-2015-ChristensenWLYT #named #online #reasoning #scalability
STORM: Spatio-Temporal Online Reasoning and Management of Large Spatio-Temporal Data (RC, LW, FL, KY, JT, NV), pp. 1111–1116.
ESOPESOP-2015-DavidKL15a #reasoning #safety #source code #termination
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs (CD, DK, ML), pp. 661–684.
FASEFASE-2015-DaniaC #modelling #reasoning
Model-Based Formal Reasoning about Data-Management Applications (CD, MC), pp. 218–232.
FoSSaCSFoSSaCS-2015-CloustonBGB #induction #programming #reasoning #recursion
Programming and Reasoning with Guarded Recursion for Coinductive Types (RC, AB, HBG, LB), pp. 407–421.
FoSSaCSFoSSaCS-2015-GeblerLT #calculus #composition #metric #probability #process #reasoning
Compositional Metric Reasoning with Probabilistic Process Calculi (DG, KGL, ST), pp. 230–245.
PLDIPLDI-2015-EmmiEH #monitoring #reasoning #refinement
Monitoring refinement via symbolic reasoning (ME, CE, JH), pp. 260–269.
DLTDLT-2015-BianchiHK #automaton #liveness #on the #problem
On the Size of Two-Way Reasonable Automata for the Liveness Problem (MPB, JH, IK), pp. 120–131.
ICALPICALP-v2-2015-LahavV #memory management #modelling #reasoning
Owicki-Gries Reasoning for Weak Memory Models (OL, VV), pp. 311–323.
LATALATA-2015-Peltier #approach #reasoning
Reasoning on Schemas of Formulas: An Automata-Based Approach (NP), pp. 263–274.
FMFM-2015-BringerCML #architecture #design #privacy #reasoning
Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures (JB, HC, DLM, RL), pp. 90–107.
FMFM-2015-ElkaderGPS #automation #reasoning
Automated Circular Assume-Guarantee Reasoning (KAE, OG, CSP, SS), pp. 23–39.
FMFM-2015-SharmaWCHC #infinity #reasoning
Certified Reasoning with Infinity (AS, SW, AC, AH, WNC), pp. 496–513.
SEFMSEFM-2015-JonesY #abstraction #reasoning #using
Reasoning about Separation Using Abstraction and Reification (CBJ, NY), pp. 3–19.
ICGTICGT-2015-KissingerZ #diagrams #equation #product line #reasoning #string
Equational Reasoning with Context-Free Families of String Diagrams (AK, VZ), pp. 138–154.
CHICHI-2015-EslamiRVAVKHS #algorithm #quote #reasoning
“I always assumed that I wasn’t really that close to [her]”: Reasoning about Invisible Algorithms in News Feeds (ME, AR, KV, AA, AV, KK, KH, CS), pp. 153–162.
HCIDHM-EH-2015-SinghWLMW #formal method #modelling #reasoning #requirements
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements (NKS, HW, ML, TSEM, AW), pp. 387–398.
ICEISICEIS-v1-2015-JuniorS #approach #compilation #optimisation #reasoning #set
Finding Good Compiler Optimization Sets — A Case-based Reasoning Approach (NLQJ, AFdS), pp. 504–515.
KDDKDD-2015-RongCM #identification #modelling #social #why
Why It Happened: Identifying and Modeling the Reasons of the Happening of Social Events (YR, HC, ZM), pp. 1015–1024.
SEKESEKE-2015-SubramanianKKG #reasoning
Quantitative Reasoning of Goal Satisfaction in the i*Framework (CS, AK, AK, RPG), pp. 666–669.
MODELSMoDELS-J-2011-JacksonLB15 #automation #metamodelling #reasoning
Automatically reasoning about metamodeling (EKJ, TL, DB), pp. 271–285.
MODELSMoDELS-J-2011-JacksonLB15 #automation #metamodelling #reasoning
Automatically reasoning about metamodeling (EKJ, TL, DB), pp. 271–285.
ECMFAECMFA-J-2012-ButtnerC15 #lightweight #reasoning #string
Lightweight string reasoning in model finding (FB, JC), pp. 413–427.
OOPSLAOOPSLA-2015-NtzikG #file system #reasoning
Reasoning about the POSIX file system: local update and global pathnames (GN, PG), pp. 201–220.
POPLPOPL-2015-HeGWZ #automaton #composition #concurrent #probability #reasoning
Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems (FH, XG, BYW, LZ), pp. 503–514.
POPLPOPL-2015-JungSSSTBD #concurrent #invariant #monad #named #orthogonal #reasoning
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (RJ, DS, FS, KS, AT, LB, DD), pp. 637–650.
REFSQREFSQ-2015-GharibG #modelling #quality #reasoning #requirements
Modeling and Reasoning About Information Quality Requirements (MG, PG), pp. 49–64.
SACSAC-2015-BorgesDSEAS #approach #performance #reasoning #reuse #using
Efficient approach for reusing and sharing train driving plans using case-based reasoning (APB, OBD, DMVS, FE, BCÁ, EES), pp. 505–508.
SACSAC-2015-SioutisSC #composition #graph #on the #reasoning
On the use and effect of graph decomposition in qualitative spatial and temporal reasoning (MS, YS, JFC), pp. 1874–1879.
ESEC-FSEESEC-FSE-2015-WestNM #concurrent #object-oriented #performance
Efficient and reasonable object-oriented concurrency (SW, SN, BM), pp. 734–744.
SPLCSPLC-2015-TeixeiraABG #evolution #product line #reasoning
A product line of theories for reasoning about safe evolution of product lines (LT, VA, PB, RG), pp. 161–170.
PPoPPPPoPP-2015-WestNM #concurrent #object-oriented #performance
Efficient and reasonable object-oriented concurrency (SW, SN, BM), pp. 273–274.
CADECADE-2015-FurbachPS #automation #reasoning
Automated Reasoning in the Wild (UF, BP, CS), pp. 55–72.
CADECADE-2015-KissingerZ #diagrams #named #proving #reasoning
Quantomatic: A Proof Assistant for Diagrammatic Reasoning (AK, VZ), pp. 326–336.
CAVCAV-2015-HawblitzelPQT #automation #composition #concurrent #reasoning #refinement #source code
Automated and Modular Refinement Reasoning for Concurrent Programs (CH, EP, SQ, ST), pp. 449–465.
ICLPICLP-2015-BrocheninM #reasoning #set
Abstract Answer Set Solvers for Cautious Reasoning (RB, MM).
ICLPICLP-2015-LeeWZ #automation #programming #reasoning #set #using
Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming (JL, YW, YZ).
LICSLICS-2015-CrubilleL #metric #reasoning
Metric Reasoning about ?-Terms: The Affine Case (RC, UDL), pp. 633–644.
RTARTA-2015-EndrullisHHP0 #equation #framework #induction #reasoning
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (JE, HHH, DH, AP, AS), pp. 143–159.
ICSTSAT-2015-TuHJ #learning #named #reasoning #satisfiability
QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving (KHT, TCH, JHRJ), pp. 343–359.
DATEDATE-2014-LeeserMRW #effectiveness #float #reasoning
Make it real: Effective floating-point reasoning via exact arithmetic (ML, SM, JR, TW), pp. 1–4.
PODSPODS-2014-KolaitisPSS #dependence #reasoning
Nested dependencies: structure and reasoning (PGK, RP, ES, VS), pp. 176–187.
ESOPESOP-2014-GardnerNW #file system #reasoning
Local Reasoning for the POSIX File System (PG, GN, AW), pp. 169–188.
FASEFASE-2014-BaierDKDKMW #model checking #multi #probability #reasoning #standard
Probabilistic Model Checking and Non-standard Multi-objective Reasoning (CB, CD, SK, MD, JK, SM, SW), pp. 1–16.
TACASTACAS-2014-HuthK #automation #named #reasoning #trust
PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence (MH, JHPK), pp. 109–123.
FMFM-2014-MitschQP #hybrid #logic #reasoning #refactoring #refinement
Refactoring, Refinement, and Reasoning — A Logical Characterization for Hybrid Systems (SM, JDQ, AP), pp. 481–496.
SEFMSEFM-2014-KeshishzadehM #consistency #domain-specific language #formal method #reasoning #semantics #testing
Formalizing DSL Semantics for Reasoning and Conformance Testing (SK, AJM), pp. 81–95.
ICGTICGT-2014-LambersO #graph #reasoning
Tableau-Based Reasoning for Graph Properties (LL, FO), pp. 17–32.
CHICHI-2014-BardzellBS #design
Reading critical designs: supporting reasoned interpretations of critical design (JB, SB, ES), pp. 1951–1960.
HCIHCI-AIMT-2014-TawatsujiMM #reasoning #towards
Proposal for the Model of Occurrence of Negative Response toward Humanlike Agent Based on Brain Function by Qualitative Reasoning (YT, KM, TM), pp. 768–778.
HCILCT-TRE-2014-LambropoulosB #case study #evolution #experience #reasoning #weaving
Weaving User Immersive Experiences: Scientific Curiosity and Reasoning with Bodily Feelings Mapping and Evolution (NL, TB), pp. 62–71.
HCISCSM-2014-SchaarVZELJ #motivation #network #social #using
Reasons for Using Social Networks Professionally — The Influence of User Diversity on Usage Motivation (AKS, ACV, MZ, DE, AKL, EMJ), pp. 385–396.
CAiSECAiSE-2014-ChatzikonstantinouAK #reasoning #specification
Task Specification and Reasoning in Dynamically Altered Contexts (GC, MA, KK), pp. 625–639.
ICEISICEIS-v1-2014-KannistoHPK #architecture #assessment #distributed #information management #mobile #performance #reasoning #rule-based
Distributed Knowledge Management Architecture and Rule Based Reasoning for Mobile Machine Operator Performance Assessment (PK, DH, LP, SK), pp. 440–449.
CIKMCIKM-2014-KangKL #automation #owl #performance
A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency (YBK, SK, YFL), pp. 1935–1938.
KEODKEOD-2014-BellCBB #ontology #performance
Reasoner Performance on Ontologies for Operations (SB, JC, MB, RPB), pp. 304–311.
KEODKEOD-2014-SurynekS #big data #challenge #graph #information management #logic #perspective #reasoning
Theoretical Challenges in Knowledge Discovery in Big Data — A Logic Reasoning and a Graph Theoretical Point of View (PS, PS), pp. 327–332.
KRKR-2014-BenferhatT #network #nondeterminism #reasoning
Reasoning with Uncertain Inputs in Possibilistic Networks (SB, KT).
KRKR-2014-EwinPV #calculus #reasoning
Transforming Situation Calculus Action Theories for Optimised Reasoning (CJE, ARP, SV).
KRKR-2014-GarciaLS #finite #logic #reasoning
Finite Model Reasoning in Horn Description Logics (YAIG, CL, TS).
KRKR-2014-GutierrezHW #concurrent #reasoning
Reasoning about Equilibria in Game-Like Concurrent Systems (JG, PH, MW).
KRKR-2014-HaanS #complexity #problem #reasoning
The Parameterized Complexity of Reasoning Problems Beyond NP (RdH, SS).
KRKR-2014-LakemeyerL #calculus #decidability #reasoning
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus (GL, HJL).
KRKR-2014-Morgenstern #concept #reasoning #representation
Representing and Reasoning about Time Travel Narratives: Foundational Concepts (LM).
KRKR-2014-ParentT #reasoning
Aggregative Deontic Detachment for Normative Reasoning (XP, LvdT).
KRKR-2014-PereiraDH #abduction #approach #bias #reasoning
An Abductive Reasoning Approach to the Belief Bias Effect (LMP, EAD, SH).
KRKR-2014-SazonauSB #owl #performance #predict #question
Predicting Performance of OWL Reasoners: Locally or Globally? (VS, US, GB).
KRKR-2014-ZhangR #algebra #reasoning #representation
Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra (PZ, JR).
SEKESEKE-2014-HartmannFNMKT #approach #modelling #reasoning #runtime #using
Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach (TH, FF, GN, BM, JK, YLT), pp. 586–591.
SEKESEKE-2014-MachadoSFC #collaboration #reasoning #risk management
Case-based Reasoning for Experience-based Collaborative Risk Management (NLRM, LAdLS, LMF, JAC), pp. 262–267.
SEKESEKE-2014-XuL14a #ontology #reasoning #semantics #using
Two-Level Smart Search Engine Using Ontology-Based Semantic Reasoning (HX, AL), pp. 648–652.
POPLPOPL-2014-Birkedal #composition #concurrent #higher-order #imperative #reasoning #source code
Modular reasoning about concurrent higher-order imperative programs (LB), pp. 1–2.
POPLPOPL-2014-ChongDK #abstraction #parallel #reasoning
A sound and complete abstraction for reasoning about parallel prefix sums (NC, AFD, JK), pp. 397–410.
POPLPOPL-2014-ItzhakyBILNS #composition #effectiveness #reasoning
Modular reasoning about heap paths via effectively propositional formulas (SI, AB, NI, OL, AN, MS), pp. 385–396.
RERE-2014-IngolfoSM #reasoning #requirements
Nòmos 3: Reasoning about regulatory compliance of requirements (SI, AS, JM), pp. 313–314.
RERE-2014-LiuSYM14a #feature model #reasoning #requirements
Combined goal and feature model reasoning with the User Requirements Notation and jUCMNav (YL, YS, XY, GM), pp. 321–322.
RERE-2014-QianPCMWZ #adaptation #reasoning #self
Rationalism with a dose of empiricism: Case-based reasoning for requirements-driven self-adaptation (WQ, XP, BC, JM, HW, WZ), pp. 113–122.
ICSEICSE-2014-HeWYZ #learning #reasoning
Symbolic assume-guarantee reasoning through BDD learning (FH, BYW, LY, LZ), pp. 1071–1082.
ICSEICSE-2014-MusluBNC #case study #distributed #version control
Transition from centralized to decentralized version control systems: a case study on reasons, barriers, and outcomes (KM, CB, NN, JC), pp. 334–344.
ICLPICLP-J-2014-PereiraDH #abduction #reasoning
Contextual Abductive Reasoning with Side-Effects (LMP, EAD, SH), pp. 633–648.
ICLPICLP-J-2014-SaadFG #constraints #reasoning #reliability
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (AS, TWF, CG), pp. 461–475.
ICLPICLP-J-2014-Swift #incremental #information management #reasoning #representation
Incremental Tabling in Support of Knowledge Representation and Reasoning (TS), pp. 553–567.
IJCARIJCAR-2014-GorinPSWW #algebra #hybrid #logic #named
Cool — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (DG, DP, LS, FW, TW), pp. 396–402.
LICSLICS-CSL-2014-KoskinenT #reasoning
Local temporal reasoning (EK, TT), p. 10.
SMTSMT-2014-LamC #reasoning #set
Reasoning About Set Comprehensions (ESLL, IC), pp. 27–37.
ASEASE-2013-Ganai #incremental #performance #predict #reasoning
Efficient data race prediction with incremental reasoning on time-stamped lock history (MKG), pp. 37–47.
CASECASE-2013-JeongMS #approximate #assessment #design #lifecycle #reasoning #using
Approximate life cycle assessment using case-based reasoning for the eco design of products (MGJ, JRM, HWS), pp. 486–491.
PODSPODS-2013-HernichKLG #datalog #ontology #reasoning #semantics
Well-founded semantics for extended datalog and ontological reasoning (AH, CK, TL, GG), pp. 225–236.
CSEETCSEET-2013-CookDSSCH #ide #reasoning #specification #using #web
Specification and reasoning in SE projects using a Web IDE (CTC, SDS, YSS, MS, JCC, JEH), pp. 229–238.
ESOPESOP-2013-JagadeesanPPR #composition #memory management #modelling #reasoning
Quarantining Weakness — Compositional Reasoning under Relaxed Memory Models (Extended Abstract) (RJ, GP, CP, JR), pp. 492–511.
ESOPESOP-2013-SvendsenBP #composition #concurrent #data type #reasoning
Modular Reasoning about Separation of Concurrent Data Structures (KS, LB, MJP), pp. 169–188.
PLDIPLDI-2013-CookK #nondeterminism #reasoning #source code
Reasoning about nondeterminism in programs (BC, EK), pp. 219–230.
ICALPICALP-v2-2013-AlmagorBK #formal method #quality #reasoning
Formalizing and Reasoning about Quality (SA, UB, OK), pp. 15–27.
IFMIFM-2013-LucanuR #equivalence #reasoning
Program Equivalence by Circular Reasoning (DL, VR), pp. 362–377.
SEFMSEFM-2013-BennaceurCIJ #automation #behaviour #ontology #reasoning #synthesis
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning (AB, CC, MI, BJ), pp. 274–288.
ICFPICFP-2013-Brady #algebra #dependent type #programming #reasoning
Programming and reasoning with algebraic effects and dependent types (EB), pp. 133–144.
ICFPICFP-2013-DelbiancoN #algebra #continuation #hoare #reasoning
Hoare-style reasoning with (algebraic) continuations (GAD, AN), pp. 363–376.
ICFPICFP-2013-TuronDB #concurrent #higher-order #hoare #logic #reasoning #refinement
Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency (AT, DD, LB), pp. 377–390.
CHICHI-2013-Thimbleby
Reasons to question seven segment displays (HT), pp. 1431–1440.
HCIHCI-III-2013-Joo #behaviour #reasoning #simulation
Perception and BDI Reasoning Based Agent Model for Human Behavior Simulation in Complex System (JJ), pp. 62–71.
EDOCEDOC-2013-GoknilKM #approach #metamodelling #modelling #multi #reasoning #requirements
A metamodeling approach for reasoning on multiple requirements models (AG, IK, JVM), pp. 159–166.
ICEISICEIS-J-2013-YaguinumaMSCR13a #fuzzy #ontology #reasoning
Combining Fuzzy Ontology Reasoning and Mamdani Fuzzy Inference System with HyFOM Reasoner (CAY, WCPMJ, MTPS, HAC, MR), pp. 174–189.
ICEISICEIS-v1-2013-YaguinumaMSCR #fuzzy #hybrid #integration #ontology #reasoning
HyFOM Reasoner: Hybrid Integration of Fuzzy Ontology and Mamdani Reasoning (CAY, WCPMJ, MTPS, HAC, MR), pp. 370–378.
KDDKDD-2013-SongZSHUS #modelling #probability #reasoning #scalability
Modeling and probabilistic reasoning of population evacuation during large-scale disaster (XS, QZ, YS, TH, SU, RS), pp. 1231–1239.
KEODKEOD-2013-AlirezaieL #abduction #automation #data type #reasoning #using
Automatic Annotation of Sensor Data Streams using Abductive Reasoning (MA, AL), pp. 345–354.
KEODKEOD-2013-ChabaneR #image #ontology #reasoning #retrieval #semantics
Semantic Gastroenterological Images Annotation and Retrieval — Reasoning with a Polyp Ontology (YC, CR), pp. 293–300.
KEODKEOD-2013-Marc-ZweckerBZB #owl #reasoning
Qualitative Spatial Reasoning in RCC8 with OWL and SWRL (SMZ, FdBdB, CZM, FLB), pp. 214–221.
KEODKEOD-2013-WicaksonoDHR #development #energy #ontology #towards
Ontology Development towards Expressive and Reasoning-enabled Building Information Model for an Intelligent Energy Management System (HW, PD, PH, SR), pp. 38–47.
KEODKEOD-2013-ZouhaierDA #automation #generative #reasoning #using
Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning (LZ, YBH, LJBA), pp. 413–418.
OnwardOnward-2013-ValleeWZFK #modelling #problem #reasoning #security
Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems (HQdlV, JMW, WZ, KF, SK), pp. 1–16.
PPDPPPDP-2013-WangCGN #higher-order #reasoning #relational #specification
Reasoning about higher-order relational specifications (YW, KC, AG, GN), pp. 157–168.
POPLPOPL-2013-Dinsdale-YoungBGPY #composition #concurrent #named #reasoning #source code
Views: compositional reasoning for concurrent programs (TDY, LB, PG, MJP, HY), pp. 287–300.
POPLPOPL-2013-GordonABCGNRR #reasoning
A model-learner pattern for bayesian reasoning (ADG, MA, JB, GC, TG, AVN, SKR, CVR), pp. 403–416.
SACSAC-2013-StevensonYDPMV #network #reasoning #resource management #self #semantics
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (GS, JY, SD, DP, SM, MV), pp. 1369–1376.
ESEC-FSEESEC-FSE-2013-PhamW #abstraction #algebra #data type #named #reasoning
RADA: a tool for reasoning about algebraic data types with abstractions (THP, MWW), pp. 611–614.
ICSEICSE-2013-Oster #component #reasoning
Reasoning with qualitative preferences to develop optimal component-based systems (ZJO), pp. 1456–1458.
ISMMISMM-2013-KaliberaJ #benchmark #metric
Rigorous benchmarking in reasonable time (TK, REJ), pp. 63–74.
CADECADE-2013-KaminskiT #incremental #named #reasoning #reduction #satisfiability
InKreSAT: Modal Reasoning via Incremental Reduction to SAT (MK, TT), pp. 436–442.
CADECADE-2013-Shankar #automation #performance #reasoning
Automated Reasoning, Fast and Slow (NS), pp. 145–161.
CADECADE-2013-Sofronie-Stokkermans #generative #hybrid #parametricity #reasoning #verification
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems (VSS), pp. 360–376.
CAVCAV-2013-HaaseIOP #graph #logic #named #reasoning
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic (CH, SI, JO, MJP), pp. 790–795.
CAVCAV-2013-ItzhakyBINS #data type #effectiveness #linked data #open data #reachability #reasoning
Effectively-Propositional Reasoning about Reachability in Linked Data Structures (SI, AB, NI, AN, MS), pp. 756–772.
ICLPICLP-J-2013-SneyersSF #probability #reasoning
Probabilistic legal reasoning in CHRiSM (JS, DDS, TWF), pp. 769–781.
LICSLICS-2013-DemriFP #reasoning
Reasoning about Data Repetitions with Counter Systems (SD, DF, MP), pp. 33–42.
LICSLICS-2013-HoffmannMS #proving #reasoning
Quantitative Reasoning for Proving Lock-Freedom (JH, MM, ZS), pp. 124–133.
DACDAC-2012-Rinard #reasoning
Obtaining and reasoning about good enough software (MCR), pp. 930–935.
ESOPESOP-2012-HawkinsAFRS #reasoning
Reasoning about Lock Placements (PH, AA, KF, MCR, MS), pp. 336–356.
ESOPESOP-2012-InoueT #multi #reasoning #source code
Reasoning about Multi-stage Programs (JI, WT), pp. 357–376.
FoSSaCSFoSSaCS-2012-BoveDS #automation #first-order #functional #interactive #reasoning #source code
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs (AB, PD, ASR), pp. 104–118.
IFMIFM-2012-DongolH #multi #reasoning #source code
Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands (BD, IJH), pp. 39–53.
SEFMSEFM-2012-DinDO #composition #reasoning
Compositional Reasoning about Shared Futures (CCD, JD, OO), pp. 94–108.
CSCWCSCW-2012-LungE #collaboration #graph #named #reasoning
Inflo: collaborative reasoning via open calculation graphs (JL, SME), pp. 1199–1202.
AdaEuropeAdaEurope-2012-Iliasov #case study #development #reasoning
Augmenting Formal Development with Use Case Reasoning (AI), pp. 133–146.
CAiSECAiSE-2012-ErnstBMJ #agile #evolution #reasoning #requirements
Agile Requirements Evolution via Paraconsistent Reasoning (NAE, AB, JM, IJ), pp. 382–397.
KEODKEOD-2012-RiegenHR #ontology #reasoning
Combining Qualitative Spatial Reasoning and Ontological Reasoning for Supporting Robot Tasks (SvR, LH, PR), pp. 377–380.
KRKR-2012-BaralL #declarative #reasoning #representation
From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP (CB, SL).
KRKR-2012-ChaudhriS #knowledge base #programming #reasoning #set #specification #using
Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming (VKC, TCS).
KRKR-2012-Feier #logic programming #reasoning #source code #worst-case
Worst-Case Optimal Reasoning with Forest Logic Programs (CF).
KRKR-2012-GebserGKOSS #programming #reasoning #set
Stream Reasoning with Answer Set Programming: Preliminary Report (MG, TG, RK, PO, OS, TS).
KRKR-2012-Huang #reasoning
Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning (JH).
KRKR-2012-KazakovKS #logic #product line #reasoning
Practical Reasoning with Nominals in the EL Family of Description Logics (YK, MK, FS).
KRKR-2012-Renz #constraints #reasoning
Implicit Constraints for Qualitative Spatial and Temporal Reasoning (JR).
KRKR-2012-TachmazidisAFK #parallel #reasoning #towards
Towards Parallel Nonmonotonic Reasoning with Billions of Facts (IT, GA, GF, SK).
ECMFAECMFA-2012-ButtnerC #lightweight #ocl #reasoning #string
Lightweight String Reasoning for OCL (FB, JC), pp. 244–258.
OOPSLAOOPSLA-2012-StricklandTFF #runtime
Chaperones and impersonators: run-time support for reasonable interposition (TSS, STH, RBF, MF), pp. 943–962.
GPCEGPCE-2012-RysselPK #feature model #modelling #reasoning
Reasoning of feature models from derived features (UR, JP, KK), pp. 21–30.
LOPSTRLOPSTR-2012-Zinn #program analysis #reasoning
Program Analysis and Manipulation to Reproduce Learners’ Erroneous Reasoning (CZ), pp. 228–243.
POPLPOPL-2012-BartheKOB #difference #privacy #probability #reasoning #relational
Probabilistic relational reasoning for differential privacy (GB, BK, FO, SZB), pp. 97–110.
POPLPOPL-2012-FarzanK #composition #concurrent #reasoning #source code #verification
Verification of parameterized concurrent programs by modular reasoning about data and control (AF, ZK), pp. 297–308.
RERE-2012-VrbaskiPA #reasoning #rule-based #tool support
Tool support for combined rule-based and goal-based reasoning in Context-Aware systems (MV, DCP, DA), pp. 335–336.
REFSQREFSQ-2012-DaramolaMSB #perspective #reasoning #requirements #research #semantics #using
Managing Implicit Requirements Using Semantic Case-Based Reasoning Research Preview (OD, TM, GS, SB), pp. 172–178.
ICSEICSE-2012-FamelisSC #modelling #nondeterminism #reasoning #towards
Partial models: Towards modeling and reasoning with uncertainty (MF, RS, MC), pp. 573–583.
IJCARIJCAR-2012-GoreT #automation #logic #reasoning
BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics (RG, JT), pp. 301–315.
IJCARIJCAR-2012-Matiyasevich #automation #reasoning
Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics (YM), p. 9.
SMTSMT-2012-DrossCKP #reasoning
Reasoning with Triggers (CD, SC, JK, AP), pp. 22–31.
VMCAIVMCAI-2012-BouajjaniDES #abstract domain #automation #infinity #reasoning #source code
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (AB, CD, CE, MS), pp. 1–22.
WICSAWICSA-2011-HeeschA #architecture #bibliography #maturity #process #reasoning
Mature Architecting — A Survey about the Reasoning Process of Professional Architects (UvH, PA), pp. 260–269.
WICSAWICSA-2011-TekinerdoganOD #architecture #as a service #design #modelling #reasoning
Modeling and Reasoning about Design Alternatives of Software as a Service Architectures (BT, , AHD), pp. 312–319.
CASECASE-2011-MikosFG #agile #approach #distributed #injection #process #reasoning
A distributed system for rapid determination of nonconformance causes and solutions for the thermoplastic injection molding process: A Case-Based Reasoning Agents approach (WLM, JCEF, FGCG), pp. 755–760.
DATEDATE-2011-PavlenkoWSKDSG #algebra #named #problem #reasoning #smt #verification
STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra (EP, MW, DS, WK, AD, FS, GMG), pp. 155–160.
FASEFASE-2011-FengKP #automation #composition #learning #probability #reasoning
Automated Learning of Probabilistic Assumptions for Compositional Reasoning (LF, MZK, DP), pp. 2–17.
SCAMSCAM-J-2009-ShubatiDD11 #generative #reasoning
Artefact generation in second life with case-based reasoning (AS, CWD, RD), pp. 431–446.
ICPCICPC-2011-BurrowsTGF #aspect-oriented #evaluation #fault #reasoning #source code
Reasoning about Faults in Aspect-Oriented Programs: A Metrics-Based Evaluation (RB, FT, AG, FCF), pp. 131–140.
SCAMSCAM-2011-CooganD #assembly #equation #reasoning
Equational Reasoning on x86 Assembly Code (KC, SKD), pp. 75–84.
WCREWCRE-2011-KellensRNSJ #evolution #quantifier #reasoning #source code #using
Reasoning over the Evolution of Source Code Using Quantified Regular Path Expressions (AK, CDR, CN, RS, VJ), pp. 389–393.
IFMIFM-J-2009-DovlandJOS11 #behaviour #incremental #inheritance #lazy evaluation #multi #reasoning #type system
Incremental reasoning with lazy behavioral subtyping for multiple inheritance (JD, EBJ, OO, MS), pp. 915–941.
FMFM-2011-GhaziT #reasoning #relational #smt
Relational Reasoning via SMT Solving (AAEG, MT), pp. 133–148.
CEFPCEFP-2011-Butterfield #functional #reasoning #source code
Reasoning about I/O in Functional Programs (AB), pp. 93–141.
CEFPCEFP-2011-MichaelsonG #calculus #multi #reasoning
Reasoning about Multi-process Systems with the Box Calculus (GM, GG), pp. 279–338.
ICFPICFP-2011-GibbonsH #equation #monad #reasoning
Just do it: simple monadic equational reasoning (JG, RH), pp. 2–14.
AGTIVEAGTIVE-2011-Strecker #graph transformation #locality #reasoning
Locality in Reasoning about Graph Transformations (MS), pp. 169–181.
CSCWCSCW-2011-GuoZNM #debugging #exclamation
“Not my bug!” and other reasons for software bug report reassignments (PJG, TZ, NN, BM), pp. 395–404.
ICEISICEIS-v2-2011-VaginE #reasoning
Reasoning in Intelligent Diagnosis Systems (VNV, APE), pp. 18–25.
CIKMCIKM-2011-MeiserDT #interactive #knowledge base #nondeterminism #rdf #reasoning
Interactive reasoning in uncertain RDF knowledge bases (TM, MD, MT), pp. 2557–2560.
CIKMCIKM-2011-RenP #maintenance #ontology #optimisation #reasoning
Optimising ontology stream reasoning with truth maintenance system (YR, JZP), pp. 831–836.
KDIRKDIR-2011-KuhlweinUTGH #automation #multi #ranking #reasoning
Multi-output Ranking for Automated Reasoning (DK, JU, ET, HG, TH), pp. 42–51.
KEODKEOD-2011-BaumgartnerGMRS #data type #reasoning
Reasoning on Data Streams for Situation Awareness (NB, WG, SM, WR, WS), pp. 407–412.
KEODKEOD-2011-PhamS #reasoning
Practical Goal-based Reasoning in Ontology-driven Applications (HP, DS), pp. 99–109.
KEODKEOD-2011-StratosSG #logic #reasoning
Episodic Logic: Natural Logic + Reasoning (KS, LKS, JG), pp. 304–310.
KMISKMIS-2011-Chebel-MorelloHZ #adaptation #modelling #reasoning #using
Adaptation based on Knowledge Models for Diagnostic Systems using Case-base Reasoning (BCM, MKH, NZ), pp. 223–229.
MODELSMoDELS-2011-JacksonLB #automation #metamodelling #proving #reasoning #specification
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (EKJ, TL, DB), pp. 653–667.
MODELSMoDELS-2011-JacksonLB #automation #metamodelling #proving #reasoning #specification
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (EKJ, TL, DB), pp. 653–667.
OnwardOnward-2011-Bierhoff #automation #lightweight #reasoning #verification
Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning (KB), pp. 19–32.
POPLPOPL-2011-DilligDA #precise #reasoning #source code #using
Precise reasoning for programs using containers (ID, TD, AA), pp. 187–200.
POPLPOPL-2011-DoddsJP #composition #parallel #reasoning
Modular reasoning for deterministic parallelism (MD, SJ, MJP), pp. 259–270.
RERE-2011-WeiYJZ #automation #modelling #named #non-functional #reasoning
rΣ: Automated reasoning tool for non-functional requirement goal models (BW, BY, ZJ, DZ), pp. 337–338.
SACSAC-2011-BouidghaghenTB #approach #mobile #reasoning
Inferring situation-based interests for mobile users: a case based reasoning approach (OB, LT, MB), pp. 1166–1167.
SACSAC-2011-ZhangYMC #information management #ontology #reasoning #representation #xml
Knowledge representation and reasoning of XML with ontology (FZ, LY, ZMM, JC), pp. 1705–1710.
ESEC-FSEESEC-FSE-2011-InostrozaTB #aspect-oriented #composition #interface #reasoning #source code
Join point interfaces for modular reasoning in aspect-oriented programs (MI, ÉT, EB), pp. 508–511.
PPoPPPPoPP-2011-YiSF #execution #reasoning
Cooperative reasoning for preemptive execution (JY, CS, CF), pp. 147–156.
CADECADE-2011-Claessen #automation #first-order #logic #reasoning
The Anatomy of Equinox — An Extensible Automated Reasoning Tool for First-Order Logic and Beyond — (Talk Abstract) (KC), pp. 1–3.
CADECADE-2011-HaarslevSV #automation #reasoning #smt
Automated Reasoning in 𝒜ℒ𝒞𝒬 via SMT (VH, RS, MV), pp. 283–298.
CADECADE-2011-HoderV #reasoning #scalability
Sine Qua Non for Large Theory Reasoning (KH, AV), pp. 299–314.
CADECADE-2011-SchneiderS #automation #first-order #ontology #owl #proving #reasoning #theorem proving #using
Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving (MS, GS), pp. 461–475.
CSLCSL-2011-SchwinghammerB #nondeterminism #reasoning #relational
Step-Indexed Relational Reasoning for Countable Nondeterminism (JS, LB), pp. 512–524.
ICLPICLP-2011-Kriener #logic programming #reasoning #source code
Correct Reasoning about Logic Programs (JK), pp. 280–283.
ICLPICLP-2011-MaRBL #abduction #multi #reasoning
Multi-agent Confidential Abductive Reasoning (JM, AR, KB, EL), pp. 175–186.
ICLPICLP-2011-Zombori #information retrieval #logic #performance #reasoning
Two Phase Description Logic Reasoning for Efficient Information Retrieval (ZZ), pp. 296–300.
ICLPICLP-J-2011-RiguzziS #nondeterminism #reasoning
The PITA system: Tabling and answer subsumption for reasoning under uncertainty (FR, TS), pp. 433–449.
VMCAIVMCAI-2011-JacobsK #axiom #reasoning #specification #towards
Towards Complete Reasoning about Axiomatic Specifications (SJ, VK), pp. 278–293.
ECSAECSA-2010-HeeschA #architecture #bibliography #comprehension #process #reasoning #student
Naive Architecting — Understanding the Reasoning Process of Students — A Descriptive Survey (UvH, PA), pp. 24–37.
CASECASE-2010-JeongSM #assessment #design #framework #lifecycle #reasoning
A framework for stepwise life cycle assessment during product design with case-based reasoning (MGJ, HWS, JRM), pp. 118–123.
DACDAC-2010-Miskov-ZivanovM #analysis #formal method #modelling #reasoning #reliability
Formal modeling and reasoning for reliability analysis (NMZ, DM), pp. 531–536.
ESOPESOP-2010-AmtoftHR #array #automation #certification #contract #data flow #precise #reasoning #source code #verification
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (TA, JH, ER), pp. 43–63.
ESOPESOP-2010-MeolaW #fault tolerance #logic #reasoning #source code
Faulty Logic: Reasoning about Fault Tolerant Programs (MLM, DW), pp. 468–487.
ESOPESOP-2010-WickersonDP #composition #reasoning
Explicit Stabilisation for Modular Rely-Guarantee Reasoning (JW, MD, MJP), pp. 610–629.
LATALATA-2010-Penaloza #reasoning #standard #using
Using Sums-of-Products for Non-standard Reasoning (RP), pp. 488–499.
IFMIFM-2010-Faber #architecture #composition #realtime #reasoning #verification
Verification Architectures: Compositional Reasoning for Real-Time Systems (JF), pp. 136–151.
ICFPICFP-2010-DreyerNB #higher-order #reasoning #relational
The impact of higher-order state and control effects on local relational reasoning (DD, GN, LB), pp. 143–156.
CAiSECAiSE-2010-ChopraDGM #modelling #reasoning
Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments (AKC, FD, PG, JM), pp. 113–128.
ICEISICEIS-DISI-2010-Chein #graph #information management #reasoning #representation
Graph-based Knowledge Representation and Reasoning (MC), pp. 17–21.
ICEISICEIS-DISI-2010-SantosC #information management #process #reasoning #reuse
Organizational Knowledge Management through Software Process Reuse and Case-based Reasoning (VAS, MIC), pp. 223–228.
ICEISICEIS-ISAS-2010-WauteletKTK #development #reasoning
Strategic Reasoning in Software Development (YW, SK, VT, MK), pp. 215–220.
CIKMCIKM-2010-ZhouLBXL #information management #mining #reasoning #set
Rough sets based reasoning and pattern mining for a two-stage information filtering system (XZ, YL, PB, YX, RYKL), pp. 1429–1432.
ICMLICML-2010-LangT #probability #reasoning #relational
Probabilistic Backward and Forward Reasoning in Stochastic Relational Worlds (TL, MT), pp. 583–590.
KDIRKDIR-2010-Elloumi-ChaabeneMZMS #ontology #semantics
Evolutive Content-based Search System — Semantic Search System based on Case-based-Reasoning and Ontology Enrichment (MEC, NBM, HBZ, AM, DS), pp. 24–34.
KEODKEOD-2010-ChanLB #automation #evolution #higher-order #ontology #reasoning #representation
Higher-order Representation and Reasoning for Automated Ontology Evolution (MC, JL, AB), pp. 84–93.
KEODKEOD-2010-DucLZ #api #distributed #ontology #reasoning
An API for Distributed Reasoning on Networked Ontologies with Alignments (CLD, ML, AZ), pp. 295–304.
KEODKEOD-2010-KorukhovaF #approach #reasoning #synthesis
A Case-based Reasoning Approach to Program Synthesis (YK, NF), pp. 335–338.
KRKR-2010-AntoniouPB #reasoning
Reasoning about Context in Ambient Intelligence Environments: A Report from the Field (GA, CP, AB).
KRKR-2010-Baral #multi #reasoning
Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract) (CB).
KRKR-2010-BaralHS #information management #reasoning #representation
Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (CB, IH, YS).
KRKR-2010-GiacomoLP #calculus #game studies #reasoning #representation #source code
Situation Calculus Based Programs for Representing and Reasoning about Game Structures (GDG, YL, ARP).
KRKR-2010-GrauM #ontology #reasoning
Pushing the Limits of Reasoning over Ontologies with Hidden Content (BCG, BM).
KRKR-2010-HajishirziA #probability #reasoning
Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering (HH, EA).
KRKR-2010-HuL #correctness #problem #reasoning
A Correctness Result for Reasoning about One-Dimensional Planning Problems (YH, HJL).
KRKR-2010-MouraLSN #information management #reasoning #representation #tutorial
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (LMdM, CL, MMCS, BN).
KRKR-2010-OrtizRS #owl #reasoning #worst-case
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 (MO, SR, MS).
KRKR-2010-PradeR #logic #reasoning
Reasoning with Logical Proportions (HP, GR).
SEKESEKE-2010-ImM #architecture #reasoning
Reasoning about Attribute Architectures (TI, JDM), pp. 165–171.
SEKESEKE-2010-PaikariRR #case study #comparative #fault #predict #reasoning #using
A Comparative Study of Attribute Weighting Techniques for Software Defect Prediction Using Case-based Reasoning (EP, MMR, GR), pp. 380–386.
ECOOPECOOP-2010-Owens #abstraction #concurrent #implementation #reasoning
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO (SO), pp. 478–503.
OOPSLAOOPSLA-2010-StadenC #abstraction #multi #reasoning
Reasoning about multiple related abstractions with MultiStar (SvS, CC), pp. 504–519.
TOOLSTOOLS-EUROPE-2010-NordioCMMT #reasoning
Reasoning about Function Objects (MN, CC, BM, PM, JT), pp. 79–96.
SACSAC-2010-BagheriE #reasoning
Evidential reasoning for the treatment of incoherent terminologies (EB, FE), pp. 1381–1387.
SACSAC-2010-dAmatoEFFGL #induction #reasoning #semantics #web
Inductive reasoning and semantic web search (Cd, FE, NF, BF, GG, TL), pp. 1446–1447.
CCCC-2010-CraikK #object-oriented #parallel #source code #using
Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs (AC, WK), pp. 145–164.
CAVCAV-2010-ChenCFTTW #automation #learning #reasoning
Automated Assume-Guarantee Reasoning through Implicit Learning (YFC, EMC, AF, MHT, YKT, BYW), pp. 511–526.
CAVCAV-2010-CohenNS #composition #reasoning
A Dash of Fairness for Compositional Reasoning (AC, KSN, YS), pp. 543–557.
CSLCSL-2010-OHearn #abduction #deduction #induction #reasoning
Abductive, Inductive and Deductive Reasoning about Resources (PWO), pp. 49–50.
ICLPICLP-2010-RiguzziS10 #logic programming #reasoning #source code
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions (FR, TS), pp. 162–171.
ICLPICLP-J-2010-SlotaL #reasoning #towards
Towards closed world reasoning in dynamic open worlds (MS, JL), pp. 547–563.
IJCARIJCAR-2010-BeierleFKT #automation #information management #probability #reasoning #relational #representation
Automated Reasoning for Relational Probabilistic Knowledge Representation (CB, MF, GKI, MT), pp. 218–224.
IJCARIJCAR-2010-GlimmHM #logic #reasoning
Optimized Description Logic Reasoning via Core Blocking (BG, IH, BM), pp. 457–471.
IJCARIJCAR-2010-IhlemannS #on the #reasoning
On Hierarchical Reasoning in Combinations of Theories (CI, VSS), pp. 30–45.
IJCARIJCAR-2010-MouraB #debugging #development #reasoning
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development (LMdM, NB), pp. 400–411.
IJCARIJCAR-2010-PientkaD #deduction #framework #named #programming #reasoning
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) (BP, JD), pp. 15–21.
IJCARIJCAR-2010-PiskacK #automation #multi #named #set
MUNCH — Automated Reasoner for Sets and Multisets (RP, VK), pp. 149–155.
IJCARIJCAR-2010-Sofronie-Stokkermans #parametricity #reasoning #verification
Hierarchical Reasoning for the Verification of Parametric Systems (VSS), pp. 171–187.
ICSTSAT-2010-GiunchigliaMN #effectiveness #equivalence #named #preprocessor #reasoning
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning (EG, PM, MN), pp. 85–98.
VMCAIVMCAI-2010-AlurC #reasoning #source code
Temporal Reasoning for Procedural Programs (RA, SC), pp. 45–60.
VMCAIVMCAI-2010-SummersD #design pattern #reasoning
Considerate Reasoning and the Composite Design Pattern (AJS, SD), pp. 328–344.
WICSA-ECSAWICSA-ECSA-2009-TangV #architecture #constraints #design #modelling #reasoning
Modeling constraints improves software architecture design reasoning (AT, HvV), pp. 253–256.
CASECASE-2009-SinghKP #fault #markov #multi
A factorial hidden markov model (FHMM)-based reasoner for diagnosing multiple intermittent faults (SS, AK, KRP), pp. 146–151.
CASECASE-2009-SubburajRA #3d #automation #geometry #reasoning
Automated 3D geometric reasoning in Computer Assisted joint reconstructive surgery (KS, BR, MA), pp. 367–372.
SIGMODSIGMOD-2009-Chi #social #using #web
Augmented social cognition: using social web technology to enhance the ability of groups to remember, think, and reason (EHC), pp. 973–984.
VLDBVLDB-2009-FanJLM #reasoning
Reasoning about Record Matching Rules (WF, XJ, JL, SM), pp. 407–418.
ITiCSEITiCSE-2009-SitaramanHWDHLKP #evaluation #reasoning #specification #student
Engaging students in specification and reasoning: “hands-on” experimentation and evaluation (MS, JOH, JW, SDS, HKH, DPL, JK, RP), pp. 50–54.
ESOPESOP-2009-DoddsFPV #reasoning
Deny-Guarantee Reasoning (MD, XF, MJP, VV), pp. 363–377.
FoSSaCSFoSSaCS-2009-Alur #reasoning
Temporal Reasoning about Program Executions (RA), p. 15.
CIAACIAA-J-2008-TsayW09 #automation #composition #reasoning
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (YKT, BYW), pp. 747–762.
FMFM-2009-Gast #memory management #reasoning
Reasoning about Memory Layouts (HG), pp. 628–643.
FMFM-2009-HasanAATA #random #reasoning
Formal Reasoning about Expectation Properties for Continuous Random Variables (OH, NA, BA, ST, RA), pp. 435–450.
IFMIFM-2009-DovlandJOS #incremental #inheritance #multi #reasoning
Incremental Reasoning for Multiple Inheritance (JD, EBJ, OO, MS), pp. 215–230.
SEFMSEFM-2009-DzungO #elicitation #ontology #reasoning #requirements
Ontology-Based Reasoning in Requirements Elicitation (DVD, AO), pp. 263–272.
CEFPCEFP-2009-Hinze #reasoning
Reasoning about Codata (RH), pp. 42–93.
CAiSECAiSE-2009-QueraltT #concept #reasoning #uml
Reasoning on UML Conceptual Schemas with Operations (AQ, ET), pp. 47–62.
EDOCEDOC-2009-GovernatoriI #modelling #network #policy #reasoning #social
Modelling and Reasoning Languages for Social Networks Policies (GG, RI), pp. 193–200.
ICEISICEIS-ISAS-2009-KinderenGA #modelling #multi #reasoning #using
Reasoning about Customer Needs in Multi-supplier ICT Service Bundles using Decision Models (SdK, JG, HA), pp. 131–136.
KEODKEOD-2009-ArkoudasBK #logic #reasoning
Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic (KA, SB, SK), pp. 80–87.
KEODKEOD-2009-HotzWKS #ontology #reasoning #retrieval #similarity
Ontology-based Similarity of Software Cases — Applying Ontology Reasoning to Software Retrieval (LH, KW, SK, AS), pp. 183–191.
KEODKEOD-2009-WandeltM #reasoning
Updatable Island Reasoning for Alchi-ontologies (SW, RM), pp. 48–55.
SEKESEKE-2009-LudwigTA #analysis #concept #database #deduction #performance #reasoning #semantics #web
Performance Analysis of a Deductive Database with a Semantic Web Reasoning Engine: ConceptBase and Racer (SAL, CT, KA), pp. 688–693.
SIGIRSIGIR-2009-WangTFZ #community #modelling #ranking #reasoning
Ranking community answers by modeling question-answer relationships via analogical reasoning (XJW, XT, DF, LZ), pp. 179–186.
PPDPPPDP-2009-FeltyM #hybrid #reasoning
Reasoning with hypothetical judgments and open terms in hybrid (APF, AM), pp. 83–92.
QAPLQAPL-2009-MontaltoC #modelling #reasoning
Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities (BM, CC), pp. 143–165.
POPLPOPL-2009-BrotherstonC #logic #reasoning
Classical BI: a logic for reasoning about dualising resources (JB, CC), pp. 328–339.
POPLPOPL-2009-Feng #reasoning
Local rely-guarantee reasoning (XF), pp. 315–327.
RERE-2009-GhezziT #non-functional #reasoning #requirements
Reasoning on Non-Functional Requirements for Integrated Services (CG, GT), pp. 69–78.
SACSAC-2009-CheriniB #abstraction #reasoning
Local reasoning for abstraction and sharing (RC, JOB), pp. 552–557.
SACSAC-2009-GoncalvesZGF #ontology #reasoning #representation #visualisation #web
An ontology-based application in heart electrophysiology: representation, reasoning and visualization on the web (BG, VZ, GG, JGPF), pp. 816–820.
SACSAC-2009-Hohn #modelling #reasoning
Model-based reasoning on the achievement of business goals (SH), pp. 1589–1593.
SACSAC-2009-LeinoM #first-order #reasoning #smt
Reasoning about comprehensions with first-order SMT solvers (KRML, RM), pp. 615–622.
SACSAC-2009-SilvaSC #library #reasoning #testing #user interface
A generic library for GUI reasoning and testing (JCS, JS, JCC), pp. 121–128.
SACSAC-2009-StellerK #mobile #performance #pervasive #reasoning
Efficient mobile reasoning for pervasive discovery (LS, SK), pp. 1247–1251.
ICSEICSE-2009-ThumBK #feature model #modelling #reasoning
Reasoning about edits to feature models (TT, DSB, CK), pp. 254–264.
SPLCSPLC-2009-WhiteDSB #automation #feature model #multi #problem #reasoning
Automated reasoning for multi-step feature model configuration problems (JW, BD, DCS, DB), pp. 11–20.
CADECADE-2009-Korovin #automation #reasoning #theory and practice
Instantiation-Based Automated Reasoning: From Theory to Practice (KK), pp. 163–166.
CADECADE-2009-LudwigH #reasoning
Fair Derivations in Monodic Temporal Reasoning (ML, UH), pp. 261–276.
CADECADE-2009-Rinard #proving #reasoning
Integrated Reasoning and Proof Choice Point Selection in the Jahob System — Mechanisms for Program Survival (MCR), pp. 1–16.
CAVCAV-2009-Jacobs #generative #incremental #reasoning
Incremental Instance Generation in Local Reasoning (SJ), pp. 368–382.
ICLPICLP-2009-GavanelliAL #abduction #constraints #integration #optimisation #reasoning
Integration of Abductive Reasoning and Constraint Optimization in SCIFF (MG, MA, EL), pp. 387–401.
ICLPICLP-2009-Simari #behaviour #modelling #probability #reasoning
Stochastic Reasoning with Models of Agent Behavior (GIS), pp. 538–539.
ISSTAISSTA-2009-ElkarabliehGL #generative #pointer #precise #reasoning #testing
Precise pointer reasoning for dynamic test generation (BE, PG, MYL), pp. 129–140.
MBTMBT-2009-AichernigBW #consistency #hybrid #modelling #reasoning #testing
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models (BKA, HB, FW), pp. 53–69.
ICSTSAT-2009-BeyersdorffMTV #complexity #logic #reasoning
The Complexity of Reasoning for Fragments of Default Logic (OB, AM, MT, HV), pp. 51–64.
ICSTSAT-2009-Chen #hybrid #reasoning #satisfiability
Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques (JC), pp. 298–311.
TLCATLCA-2009-Zhang #logic #reasoning
The Computational SLR: A Logic for Reasoning about Computational Indistinguishability (YZ), pp. 401–415.
QoSAQoSA-2008-PaceKBBB #design #framework #reasoning
Integrating Quality-Attribute Reasoning Frameworks in the ArchE Design Assistant (ADP, HK, LB, PB, FB), pp. 171–188.
QoSAQoSA-2008-TangTHV #design #quality #reasoning
Design Reasoning Improves Software Design Quality (AT, MHT, JH, HvV), pp. 28–42.
PODSPODS-2008-GardnerSWZ #hoare #reasoning
Local Hoare reasoning about DOM (PG, GS, MJW, UZ), pp. 261–270.
VLDBVLDB-2008-LiuC #identification #keyword #reasoning #xml
Reasoning and identifying relevant matches for XML keyword search (ZL, YC), pp. 921–932.
FASEFASE-2008-MossakowskiSG #logic #reasoning
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects (TM, LS, SG), pp. 199–214.
FoSSaCSFoSSaCS-2008-RazaG #reasoning
Footprints in Local Reasoning (MR, PG), pp. 201–215.
TACASTACAS-2008-IhlemannJS #on the #reasoning #verification
On Local Reasoning in Verification (CI, SJ, VSS), pp. 265–281.
TACASTACAS-2008-Kovacs #algebra #reasoning
Reasoning Algebraically About P-Solvable Loops (LK), pp. 249–264.
SASSAS-2008-PerryW #control flow #fault #reasoning
Reasoning about Control Flow in the Presence of Transient Faults (FP, DW), pp. 332–346.
FLOPSFLOPS-2008-MellarkodG #constraints #reasoning #set #theorem proving
Integrating Answer Set Reasoning with Constraint Solving Techniques (VSM, MG), pp. 15–31.
FLOPSFLOPS-2008-Schaub #information management #modelling #programming #reasoning #representation #set
Model-Based Knowledge Representation and Reasoning Via Answer Set Programming (TS), pp. 1–2.
CIAACIAA-2008-TsayW #automation #composition #reasoning
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (YKT, BYW), pp. 36–45.
SEFMSEFM-2008-SchaeferP #adaptation #composition #embedded #modelling #reasoning #verification
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems (IS, APH), pp. 95–104.
GT-VMTGT-VMT-2006-XuLW08 #reasoning #visual notation
BPSL Modeler — Visual Notation Language for Intuitive Business Property Reasoning (KX, YL, CW), pp. 211–220.
GT-VMTGT-VMT-2008-GrabskaSL #design #graph transformation #reasoning #visual notation
Visual Design and Reasoning with the Use of Hypergraph Transformations (EG, GMS, TLL).
CHICHI-2008-ShrinivasanW #process #reasoning #visualisation
Supporting the analytical reasoning process in information visualization (YBS, JJvW), pp. 1237–1246.
CAiSECAiSE-2008-KinderenG #reasoning
Reasoning about Substitute Choices and Preference Ordering in e-Services (SdK, JG), pp. 390–404.
CAiSECAiSE-2008-QueraltT #constraints #decidability #reasoning #uml
Decidable Reasoning in UML Schemas with Constraints (AQ, ET), pp. 281–295.
ICEISICEIS-AIDSS-2008-SchmidtV #reasoning #using
Using Case-Based Reasoning to Explain Exceptional Cases (RS, OV), pp. 119–124.
ICEISICEIS-ISAS2-2008-AmiratO #architecture #modelling #reasoning #representation
Representation and Reasoning Models for C3 Architecture Description Language (AA, MO), pp. 207–212.
ICEISICEIS-SAIC-2008-BaguesBBGI #communication #protocol #semantics
Use of Semantic Technology to Describe and Reason about Communication Protocols (MIB, IB, JB, AG, AI), pp. 67–72.
ICEISICEIS-SAIC-2008-StellerKCNL #approach #pervasive #reasoning #semantics #using
A Weighted Approach for Optimised Reasoning for Pervasive Service Discovery Using Semantics and Context (LS, SK, SC, JN, SWL), pp. 113–118.
KRKR-2008-AlechinaDLM #reasoning
Reasoning about Agent Deliberation (NA, MD, BL, JJCM), pp. 16–26.
KRKR-2008-Balbiani #analysis #reasoning #representation #standard
Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis (PB), pp. 695–704.
KRKR-2008-CasaliGS #framework #logic
A Logical Framework to Represent and Reason about Graded Preferences and Intentions (AC, LG, CS), pp. 27–37.
KRKR-2008-DohertyS #reasoning #using
Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription (PD, AS), pp. 560–570.
KRKR-2008-Kern-Isberner #reasoning
Linking Iterated Belief Change Operations to Nonmonotonic Reasoning (GKI), pp. 166–176.
KRKR-2008-Saint-Cyr #reasoning
Scenario Update Applied to Causal Reasoning (FDdSC), pp. 188–197.
KRKR-2008-WittocxMD #approximate #first-order #logic #reasoning
Approximate Reasoning in First-Order Logic Theories (JW, MM, MD), pp. 103–112.
SEKESEKE-2008-BrandlFW #modelling #reasoning #testing #using
Coverage-based Testing Using Qualitative Reasoning Models (HB, GF, FW), pp. 393–398.
ECMFAECMDA-FA-2008-GoknilKB #approach #metamodelling #reasoning #requirements
A Metamodeling Approach for Reasoning about Requirements (AG, IK, KvdB), pp. 310–325.
ECOOPECOOP-2008-BanerjeeNR #invariant #logic #reasoning
Regional Logic for Local Reasoning about Global Invariants (AB, DAN, SR), pp. 387–411.
PPDPPPDP-2008-CaballeroRR #logic programming #reasoning #similarity
Similarity-based reasoning in qualified logic programming (RC, MRA, CARD), pp. 185–194.
PADLPADL-2008-EshkevariAC #analysis #aspect-oriented #comprehension #declarative #dependence #reasoning #source code
Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning (LME, VA, CC), pp. 35–52.
PADLPADL-2008-Subbarayan #constraints #performance #reasoning #theorem proving
Efficient Reasoning for Nogoods in Constraint Solvers with BDDs (SS), pp. 53–67.
SACSAC-2008-AdnaneSBM #behaviour #detection #reasoning #trust
Autonomic trust reasoning enables misbehavior detection in OLSR (AA, RTdSJ, CB, LM), pp. 2006–2013.
SACSAC-2008-AntoniouDG #reasoning
A system for modal and deontic defeasible reasoning (GA, ND, GG), pp. 2261–2265.
SACSAC-2008-GrutterBH #ontology #reasoning
Extending an ontology-based search with a formalism for spatial reasoning (RG, BBM, MH), pp. 2266–2270.
SACSAC-2008-MotaCFEB #deforestation #evolution #reasoning
Applying case-based reasoning in the evolution of deforestation patterns in the Brazilian Amazonia (JSM, GC, LMGF, MISE, ORFdOB), pp. 1683–1687.
SACSAC-2008-VazquezCP #approach #architecture #design #object-oriented #reasoning
A case-based reasoning approach for materializing software architectures onto object-oriented designs (GLV, MRC, JADP), pp. 842–843.
PPoPPPPoPP-2008-SandersK #memory management #modelling #reasoning
Assertional reasoning about data races in relaxed memory models (BAS, KK), pp. 267–268.
CAVCAV-2008-BobaruPG #abstraction #automation #reasoning #refinement
Automated Assume-Guarantee Reasoning by Abstraction Refinement (MGB, CSP, DG), pp. 135–148.
CAVCAV-2008-EisnerNY #composition #design #functional #power management #reasoning #verification
Functional Verification of Power Gated Designs by Compositional Reasoning (CE, AN, KY), pp. 433–445.
CAVCAV-2008-MagillTLT #named #reasoning
THOR: A Tool for Reasoning about Shape and Arithmetic (SM, MHT, PL, YKT), pp. 428–432.
ICLPICLP-2008-Baral #information management #programming #reasoning #representation #set #using
Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions (CB), pp. 69–70.
ICLPICLP-2008-BuccafurriCL #logic #reasoning #semantics #social
A Logic Language with Stable Model Semantics for Social Reasoning (FB, GC, RL), pp. 718–723.
ICLPICLP-2008-LukacsySK #logic #prolog #reasoning
Prolog Based Description Logic Reasoning (GL, PS, BK), pp. 455–469.
ICLPICLP-2008-Pirrotta #reasoning #web
Extracting and Reasoning about Web Data (GP), pp. 813–814.
IJCARIJCAR-2008-BeierleKK #automation #implementation #reasoning
A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description) (CB, GKI, NK), pp. 147–153.
IJCARIJCAR-2008-MotikH #logic #reasoning #reuse
Individual Reuse in Description Logic Reasoning (BM, IH), pp. 242–258.
IJCARIJCAR-2008-UrbanSPV #automation #reasoning #semantics
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance (JU, GS, PP, JV), pp. 441–456.
RTARTA-2008-Stratulat #induction
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (SS), pp. 351–365.
ICDARICDAR-2007-HamzaBB #approach #reasoning
A Case-Based Reasoning Approach for Invoice Structure Extraction (HH, YB, AB), pp. 327–331.
PODSPODS-2007-CautisAM #constraints #reasoning #xml
Reasoning about XML update constraints (BC, SA, TM), pp. 195–204.
PODSPODS-2007-KasneciS #complexity #reasoning #xml
The complexity of reasoning about pattern-based XML schemas (GK, TS), pp. 155–164.
VLDBVLDB-2007-LuMZBWPY #named #ontology #reasoning
SOR: A Practical System for Ontology Storage, Reasoning and Search (JL, LM, LZ, JSB, CW, YP, YY), pp. 1402–1405.
VLDBVLDB-2007-RomanK #behaviour #concurrent #logic #reasoning #semantics #transaction #web #web service
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic (DR, MK), pp. 627–638.
CSEETCSEET-2007-McGregorBBBK #architecture #education #reasoning #using
Using an Architecture Reasoning Tool to Teach Software Architecture (JDM, FB, LB, PB, MK), pp. 275–282.
ESOPESOP-2007-FengFS #concurrent #logic #on the #reasoning
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning (XF, RF, ZS), pp. 173–188.
FASEFASE-2007-DarvasL #implementation #reasoning
Practical Reasoning About Invocations and Implementations of Pure Methods (ÁD, KRML), pp. 336–351.
FoSSaCSFoSSaCS-2007-YoshidaHB #higher-order #logic #reasoning
Logical Reasoning for Higher-Order Functions with Local State (NY, KH, MB), pp. 361–377.
TACASTACAS-2007-BouajjaniJS #framework #infinity #network #process #reasoning
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes (AB, YJ, MS), pp. 690–705.
TACASTACAS-2007-ChakiS #reasoning
Optimized L*-Based Assume-Guarantee Reasoning (SC, OS), pp. 276–291.
SASSAS-2007-Brotherston #induction #logic #reasoning
Formalised Inductive Reasoning in the Logic of Bunched Implications (JB), pp. 87–103.
IFMIFM-2007-MeinickeS #development #process #realtime #reasoning #reliability
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems (LM, GS), pp. 439–458.
SEFMSEFM-2007-CastroM #fault tolerance #logic #reasoning
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers (PFC, TSEM), pp. 151–160.
SEFMSEFM-2007-CrockerC #automation #c #reasoning #source code #using #verification
Verification of C Programs Using Automated Reasoning (DC, JC), pp. 7–14.
SEFMSEFM-2007-JacobsMP #exception #reasoning
Sound reasoning about unchecked exceptions (BJ, PM, FP), pp. 113–122.
ICFPICFP-2007-FilinskiS #data type #induction #reasoning
Inductive reasoning about effectful data types (AF, KS), pp. 97–110.
LISPILC-2007-Moller #lisp #owl
Building a commercial OWL reasoner with Lisp (RM), p. 5.
AdaSIGAda-2007-Lau #imperative #reasoning #source code #using
Using SPARK for a beginner’s course on reasoning about imperative programs (KKL), pp. 75–78.
ICEISICEIS-AIDSS-2007-CaropreseTZ #implementation #logic programming #reasoning
Implementing Prioritized Reasoning in Logic Programming (LC, IT, EZ), pp. 94–100.
ICEISICEIS-AIDSS-2007-Cebulla #coordination #reasoning #semantics #specification #towards
Reactive Commonsense Reasoning — Towards Semantic Coordination with High-Level Specifications (MC), pp. 113–118.
ICEISICEIS-AIDSS-2007-VaginY #modelling #reasoning
Modelling Human Reasoning in Intelligent Decision Support Systems (VNV, APY), pp. 277–282.
CIKMCIKM-2007-SchockaertC #reasoning
Reasoning about vague topological information (SS, MDC), pp. 593–602.
SEKESEKE-2007-HuangL07a #composition #reasoning #using
Service Composition Using Planning and Case-Based Reasoning (KHH, AL), pp. 610–615.
SEKESEKE-2007-RushtonT #reasoning #source code
A Language Facilitating Informal Reasoning about Programs (JNR, DT), p. 396–?.
SIGIRSIGIR-2007-Schockaert #fuzzy #information retrieval #reasoning
Fuzzy temporal and spatial reasoning for intelligent information retrieval (SS), p. 921.
ECMFAECMDA-FA-2007-MaraeeB #diagrams #finite #performance #reasoning #satisfiability #set #uml
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets (AM, MB), pp. 17–31.
MODELSMoDELS-2007-JacksonS #reasoning
Constructive Techniques for Meta- and Model-Level Reasoning (EKJ, JS), pp. 405–419.
MODELSMoDELS-2007-JacksonS #reasoning
Constructive Techniques for Meta- and Model-Level Reasoning (EKJ, JS), pp. 405–419.
ECOOPECOOP-2007-BalzerGE #reasoning #relational
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships (SB, TRG, PE), pp. 323–346.
ECOOPECOOP-2007-CliftonLN #aspect-oriented #effectiveness #named #reasoning
MAO: Ownership and Effects for More Effective Reasoning About Aspects (CC, GTL, JN), pp. 451–475.
PPDPPPDP-2007-Berdine #reasoning
Local reasoning about storable locks (JB), p. 153.
SACSAC-2007-CaropreseTZ #evaluation #framework #reasoning
A framework for prioritized reasoning based on the choice evaluation (LC, IT, EZ), pp. 65–70.
ICSEICSE-2007-MartinRRS #testing
“Good” Organisational Reasons for “Bad” Software Testing: An Ethnographic Study of Testing in a Small Software Company (DM, JR, MR, IS), pp. 602–611.
SPLCSPLC-2007-JanotaK #feature model #higher-order #logic #modelling #reasoning
Reasoning about Feature Models in Higher-Order Logic (MJ, JRK), pp. 13–22.
CADECADE-2007-HofnerS #algebra #automation #reasoning
Automated Reasoning in Kleene Algebra (PH, GS), pp. 279–294.
CADECADE-2007-MotikSH #logic #reasoning #using
Optimized Reasoning in Description Logics Using Hypertableaux (BM, RS, IH), pp. 67–83.
CSLCSL-2007-BodirskyC #reasoning #revisited
Qualitative Temporal and Spatial Reasoning Revisited (MB, HC), pp. 194–207.
CSLCSL-2007-Goller #complexity #on the #policy #reasoning
On the Complexity of Reasoning About Dynamic Policies (SG), pp. 358–373.
TAPTAP-2007-SmaragdakisC #debugging #detection #reasoning
Combining Static and Dynamic Reasoning for Bug Detection (YS, CC), pp. 1–16.
VMCAIVMCAI-2007-CheremR #analysis #invariant #maintenance #reasoning
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning (SC, RR), pp. 234–250.
CBSECBSE-2006-Lumpe #abstraction #component #framework #modelling #named #reasoning
GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions (ML), pp. 17–32.
QoSAQoSA-2006-KruchtenLV #architecture #reasoning
Building Up and Reasoning About Architectural Knowledge (PK, PL, HvV), pp. 43–58.
ASEASE-2006-FalcarinT #aspect-oriented #automation #interactive #reasoning
Automated Reasoning on Aspects Interactions (PF, MT), pp. 313–316.
DATEDATE-2006-YangC #fault
Timing-reasoning-based delay fault diagnosis (KY, KTC), pp. 418–423.
PODSPODS-2006-BojanczykDMSS #logic #reasoning #xml
Two-variable logic on data trees and XML reasoning (MB, CD, AM, TS, LS), pp. 10–19.
ESOPESOP-2006-JiaW #automation #named #pointer #reasoning #source code
ILC: A Foundation for Automated Reasoning About Pointer Programs (LJ, DW), pp. 131–145.
FLOPSFLOPS-2006-BartheFPR #coq #proving #reasoning #recursion
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant (GB, JF, DP, VR), pp. 114–129.
FMFM-2006-Mostowski #java #logic #reasoning
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic (WM), pp. 444–459.
ICFPICFP-2006-HickeyNYK #hybrid #representation #using
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (JH, AN, XY, AK), pp. 172–183.
ICEISICEIS-AIDSS-2006-Zenzerovic #reasoning
Utilization of Case-Based Reasoning in Auditing — Determining the Audit Fee (RZ), pp. 182–188.
ICEISICEIS-ISAS-2006-CruzLW #contract #specification #visual notation
Visual Contracts — A Way to Reason about States and Cardinalities in IT System Specifications (JDDlC, LSL, AW), pp. 298–303.
ICEISICEIS-ISAS-2006-SubramaniamKG #behaviour #evolution #predict #process
Business Processes: Behavior Prediction and Capturing Reasons for Evolution (SS, VK, DG), pp. 3–10.
ICEISICEIS-J-2006-KoutsomitropoulosMKP06a #framework #logic #reasoning #semantics #web
Establishing the Semantic Web Reasoning Infrastructure on Description Logic Inference Engines (DAK, DPM, ANK, TSP), pp. 351–362.
ICEISICEIS-SAIC-2006-KoutsomitropoulosMKP #information management #logic #using
OWL-Based Knowledge Discovery Using Description Logics Reasoners (DAK, DPM, ANK, TSP), pp. 43–50.
KRKR-2006-HalpernR #reasoning
Reasoning about Knowledge of Unawareness (JYH, LCR), pp. 6–13.
KRKR-2006-Saint-CyrP #fuzzy #modelling #nondeterminism #persistent #reasoning
Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default Reasoning (FDdSC, HP), pp. 440–451.
KRKR-2006-SannerM #calculus #first-order #hybrid #logic #reasoning
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic (SS, SAM), pp. 100–111.
KRKR-2006-SirinGP #logic #optimisation #reasoning
From Wine to Water: Optimizing Description Logic Reasoning for Nominals (ES, BCG, BP), pp. 90–99.
KRKR-2006-SonT #approximate #on the #reasoning
On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information (TCS, PHT), pp. 481–491.
GPCEGPCE-2006-Prehofer #composition #multi #reasoning #semantics
Semantic reasoning about feature composition via multiple aspect-weavings (CP), pp. 237–242.
POPLPOPL-2006-DanielssonHJG #performance #reasoning
Fast and loose reasoning is morally correct (NAD, JH, PJ, JG), pp. 206–217.
POPLPOPL-2006-KoutavasW #bisimulation #higher-order #imperative #reasoning #source code
Small bisimulations for reasoning about higher-order imperative programs (VK, MW), pp. 141–152.
SACSAC-2006-SherchanLK #fuzzy #reasoning #web #web service
A fuzzy model for reasoning about reputation in web services (WS, SWL, SK), pp. 1886–1892.
FSEFSE-2006-JhalaM #reasoning
Bit level types for high level reasoning (RJ, RM), pp. 128–140.
SPLCSPL-BOOK-2006-ArciniegasDRCBO #architecture #evolution #product line #reasoning #security
Architecture Reasoning for Supporting Product Line Evolution: An Example on Security (JLA, JCD, JLR, RC, JBM, MO), pp. 327–372.
CSLCSL-2006-ChadhaMS #probability #reasoning #source code
Reasoning About States of Probabilistic Sequential Programs (RC, PM, AS), pp. 240–255.
ICLPICLP-2006-Lukacsy #logic #prolog #reasoning
Description Logic Reasoning in Prolog (GL), pp. 463–464.
ICLPICLP-2006-Tu #performance #reasoning
Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning (PHT), pp. 469–470.
IJCARIJCAR-2006-BaaderLS #named #ontology #polynomial
CEL — A Polynomial-Time Reasoner for Life Science Ontologies (FB, CL, BS), pp. 287–291.
IJCARIJCAR-2006-DoughertyFK #policy #reasoning #specification
Specifying and Reasoning About Dynamic Access-Control Policies (DJD, KF, SK), pp. 632–646.
IJCARIJCAR-2006-Miller #reasoning #representation #semantics
Representing and Reasoning with Operational Semantics (DM), pp. 4–20.
IJCARIJCAR-2006-TsarkovH #logic
FaCT++ Description Logic Reasoner: System Description (DT, IH), pp. 292–297.
IJCARIJCAR-2006-ZimmerA #reasoning #semantics #web
The MathServe System for Semantic Web Reasoning Services (JZ, SA), pp. 140–144.
ISSTAISSTA-2006-CobleighAC #composition #reasoning
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning (JMC, GSA, LAC), pp. 97–108.
LICSLICS-2006-Leivant #logic #proving #reasoning #source code
Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation of Dynamic Logic (DL), pp. 157–168.
ICSTSAT-2006-SamulowitzB #reasoning
Binary Clause Reasoning in QBF (HS, FB), pp. 353–367.
ASEASE-2005-DominguezD #composition #distributed #reasoning
Compositional reasoning for port-based distributed systems (ALJD, NAD), pp. 376–379.
ASEASE-2005-Grov #algorithm #approach #correctness #deduction #reasoning #source code #verification
Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning (GG), pp. 444–447.
ASEASE-2005-ShankarASX #realtime #reasoning #semantics
Reasoning about real-time statecharts in the presence of semantic variations (SS, SA, VS, XX), pp. 243–252.
CAiSECAiSE-2005-BenavidesTC #automation #feature model #modelling #reasoning
Automated Reasoning on Feature Models (DB, PTMA, ARC), pp. 491–503.
KDDKDD-2005-ZakiR #mining #reasoning #set #using
Reasoning about sets using redescription mining (MJZ, NR), pp. 364–373.
MLDMMLDM-2005-LeHS #ambiguity #approach #classification #reasoning #word
An Evidential Reasoning Approach to Weighted Combination of Classifiers for Word Sense Disambiguation (CAL, VNH, AS), pp. 516–525.
SEKESEKE-2005-BenavidesTC #constraints #feature model #modelling #programming #using
Using Constraint Programming to Reason on Feature Models (DB, PT, ARC), pp. 677–682.
SEKESEKE-2005-BrandaoSL #design #knowledge-based #multi #reasoning #using #verification
Multi-Agent System Design Verification Using Knowledge-based Reasoning (AB, VTdS, CJPdL), pp. 602–607.
SEKESEKE-2005-WangDS #alloy #reasoning #using
Reasoning Support for SWRL-FOL Using Alloy (HHW, JSD, JS), pp. 626–631.
SEKESEKE-2005-YangLH #reasoning
An Ontology-Supported Case-Based Reasoning Technique for FAQ Proxy Service (SYY, PCL, CSH), pp. 639–644.
SEKESEKE-2005-Zhu #behaviour #multi #reasoning
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems (HZ), pp. 280–285.
ECOOPECOOP-2005-Aldrich #composition #reasoning
Open Modules: Modular Reasoning About Advice (JA), pp. 144–168.
GPCEGPCE-2005-WuL #programming #reasoning #source code #using
Shadow Programming: Reasoning About Programs Using Lexical Join Point Information (PW, KJL), pp. 141–156.
ESEC-FSEESEC-FSE-2005-LandtsheerL #reasoning #requirements
Reasoning about confidentiality at requirements engineering time (RDL, AvL), pp. 41–49.
ICSEICSE-2005-DemskyR #data type #reasoning #using
Data structure repair using goal-directed reasoning (BD, MCR), pp. 176–185.
ICSEICSE-2005-KiczalesM #aspect-oriented #composition #programming #reasoning
Aspect-oriented programming and modular reasoning (GK, MM), pp. 49–58.
COCVCOCV-J-2005-Langmaack #question #reasoning #what
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer? (HL), pp. 5–32.
ICSTSAT-J-2004-GiunchigliaNT05 #reasoning
QBF Reasoning on Real-World Instances (EG, MN, AT), pp. 105–121.
ICSTSAT-J-2004-HeuleDZM05 #implementation #named #performance #reasoning #satisfiability
March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver (MH, MD, JvZ, HvM), pp. 345–359.
ICSTSAT-J-2004-HeuleM05
Aligning CNF- and Equivalence-Reasoning (MH, HvM), pp. 145–156.
CADECADE-2005-Brown #reasoning #similarity #type system
Reasoning in Extensional Type Theory with Equality (CEB), pp. 23–37.
CADECADE-2005-Sofronie-Stokkermans #reasoning
Hierarchic Reasoning in Local Theory Extensions (VSS), pp. 219–234.
CAVCAV-2005-ChakiCST #automation #consistency #reasoning #simulation
Automated Assume-Guarantee Reasoning for Simulation Conformance (SC, EMC, NS, PT), pp. 534–547.
CAVCAV-2005-ChakiISW #framework #reasoning
The ComFoRT Reasoning Framework (SC, JI, NS, KCW), pp. 164–169.
CAVCAV-2005-KahlonIG #communication #reasoning #thread
Reasoning About Threads Communicating via Locks (VK, FI, AG), pp. 505–518.
CSLCSL-2005-Baaz #reasoning
Note on Formal Analogical Reasoning in the Juridical Context (MB), pp. 18–26.
ICLPICLP-2005-LukacsyN #datalog #reasoning
Open World Reasoning in Datalog (GL, ZN), pp. 427–428.
ICLPICLP-2005-Rossi #reasoning
Preference Reasoning (FR), pp. 5–8.
RTARTA-2005-HendrixCM #reasoning #specification
A Sufficient Completeness Reasoning Tool for Partial Specifications (JH, MC, JM), pp. 165–174.
TLCATLCA-2005-BentonL #reasoning #relational #semantics
Relational Reasoning in a Nominal Semantics for Storage (NB, BL), pp. 86–101.
DATEDATE-v1-2004-WedlerSK #reasoning #satisfiability
Arithmetic Reasoning in DPLL-Based SAT Solving (MW, DS, WK), pp. 30–35.
ESOPESOP-2004-OHearn #concurrent #reasoning
Resources, Concurrency, and Local Reasoning (Abstract) (PWO), pp. 1–2.
FASEFASE-2004-HubbersP #java #reasoning #transaction
Reasoning about Card Tears and Transactions in Java Card (EH, EP), pp. 114–128.
FoSSaCSFoSSaCS-2004-PucellaW #policy #reasoning
Reasoning about Dynamic Policies (RP, VW), pp. 453–467.
ICALPICALP-2004-Skelley #quantifier #reasoning #source code
Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas (AS), pp. 1163–1175.
SEFMSEFM-2004-Struth #automation #reasoning #set
Automated Element-Wise Reasoning with Sets (GS), pp. 320–329.
IFLIFL-2004-DowseBE #concurrent #functional #reasoning
Reasoning About Deterministic Concurrent Functional I/O (MD, AB, MCJDvE), pp. 177–194.
ICEISICEIS-v2-2004-BailonDGT #approach #reasoning
A Connexionist Approach for Case Based Reasoning (ABB, MD, ELGG, JMdlT), pp. 369–374.
ICEISICEIS-v2-2004-BaykalAP #automation #reasoning #recommendation
Automated Product Recommendation by Employing Case-Based Reasoning Agents (MÖB, RA, FP), pp. 515–518.
ICEISICEIS-v2-2004-BillyMPC #adaptation #approach #reasoning
Model P: An Approach of the Adaptability of Case-Based Reasoning Systems (MB, FXM, CP, LC), pp. 357–362.
ICEISICEIS-v2-2004-MarirM #named #process #reasoning
CBR-BPR: A Case-Based Reasoning Tool for Business Process Redesign (FM, SLM), pp. 363–368.
ICEISICEIS-v2-2004-OgielaTO #algorithm #information management #reasoning #visual notation
Cognitive Reasoning in Intelligent Medical Information Systems — Visual Data Perception Algorithms in Medical Decision support Systems (MRO, RT, LO), pp. 222–225.
ICEISICEIS-v3-2004-ChristianssonC #component #modelling #process #specification
Reasons for Integrating Software Component Specifications in Business Process Models (MTC, BC), pp. 647–650.
ICMLICML-2004-RudarySP #adaptation #constraints #learning #reasoning
Adaptive cognitive orthotics: combining reinforcement learning and constraint-based temporal reasoning (MRR, SPS, MEP).
KRKR-2004-BenferhatBN #analysis #reasoning
An Experimental Analysis of Possibilistic Default Reasoning (SB, JFB, RDSN), pp. 130–140.
KRKR-2004-DelgrandeST #reasoning
Domain-Specific Preferences for Causal Reasoning and Planning (JPD, TS, HT), pp. 673–682.
KRKR-2004-KaneiwaM #knowledge base #ontology #reasoning
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity (KK, RM), pp. 278–288.
KRKR-2004-LiuLL #logic #reasoning
A Logic of Limited Belief for Reasoning with Disjunctive Information (YL, GL, HJL), pp. 587–597.
KRKR-2004-McCarthy #reasoning
Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription (JM0), pp. 738–739.
KRKR-2004-SuLZ #reasoning
Reasoning about Knowledge by Variable Forgetting (KS, GL, YZ), pp. 576–586.
KRKR-2004-TranB #interactive #prolog #reasoning
Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells (NT, CB), pp. 554–564.
KRKR-2004-TranHH #reasoning
Observation Expectation Reasoning in Agent Systems (BVT, JH, MH), pp. 246–254.
LOPSTRPDCL-2004-HoweKL #logic programming #reasoning #source code
Analysing Logic Programs by Reasoning Backwards (JMH, AK, LL), pp. 152–188.
PPDPPPDP-2004-GrecoGSS #datalog #logic programming #multi #programming language #reasoning
Event choice datalog: a logic programming language for reasoning in multiple dimensions (GG, AG, DS, FS), pp. 238–249.
PADLPADL-2004-ElkhatibPS #named #prolog #reasoning #set #source code
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog (OEK, EP, TCS), pp. 148–162.
POPLPOPL-2004-BirkedalTR #garbage collection #reasoning
Local reasoning about a copying garbage collector (LB, NTS, JCR), pp. 220–231.
FSEFSE-2004-LetierL #design #reasoning #requirements
Reasoning about partial goal satisfaction for requirements and design engineering (EL, AvL), pp. 53–62.
CSLCSL-2004-GanzingerK #equation #proving #reasoning #theorem proving
Integrating Equational Reasoning into Instantiation-Based Theorem Proving (HG, KK), pp. 71–84.
LICSLICS-2004-NaumannB #imperative #invariant #reasoning #towards
Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (DAN, MB), pp. 313–323.
SATSAT-2004-GiunchigliaNT #reasoning
QBF Reasoning on Real-World Instances (EG, MN, AT), pp. 247–254.
SATSAT-2004-HeuleM
Aligning CNF- and Equivalence-reasoning (MH, HvM), pp. 174–180.
FoSSaCSFoSSaCS-2003-MomiglianoA #higher-order #multi #syntax
Multi-level Meta-reasoning with Higher-Order Abstract Syntax (AM, SA), pp. 375–391.
FoSSaCSFoSSaCS-2003-PowerT #abstraction #reasoning
Abstraction in Reasoning about Higraph-Based Systems (JP, KT), pp. 392–408.
FoSSaCSFoSSaCS-2003-SprengerD #calculus #induction #on the #proving #reasoning #μ-calculus
On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the μ-Calculus (CS, MD), pp. 425–440.
FMFME-2003-DongSW #alloy #reasoning #semantics #web
Checking and Reasoning about Semantic Web through Alloy (JSD, JS, HHW), pp. 796–813.
FMFME-2003-XieBK #composition #reasoning
Translation-Based Compositional Reasoning for Software Systems (FX, JCB, RPK), pp. 582–599.
ICEISICEIS-v2-2003-LamontagneL #email #reasoning
Applying Case-Based Reasoning to Email Response (LL, GL), pp. 115–123.
ICEISICEIS-v2-2003-OgielaTO #information management #reasoning
Content-Based Reasoning in Intelligent Medical Information Systems (MRO, RT, LO), pp. 503–506.
ICEISICEIS-v3-2003-CaroGGCA #approach #communication #modelling #reasoning #workflow
A Temporal Reasoning Approach of Communication Based Workflow Modelling (JLC, AG, SG, AC, AA), pp. 245–250.
MLDMMLDM-2003-Craw #learning #reasoning
Introspective Learning to Build Case-Based Reasoning (CBR) Knowledge Containers (SC), pp. 1–6.
SEKESEKE-2003-Cebulla #adaptation #architecture #reasoning #using #variability
Reasoning about Variability and structural Adaptation in Sociotechnical Systems Using Dynamic Architectures (MC), pp. 406–413.
UMLUML-2003-Egyed #abstraction #composition #reasoning #relational
Compositional and Relational Reasoning during Class Abstraction (AE), pp. 121–137.
LOPSTRLOPSTR-2003-Ruiz-ReinaJHM #case study #data type #performance #reasoning
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2 (JLRR, JAAJ, MJH, FJMM), pp. 75–91.
PADLPADL-2003-PontelliBB #reasoning
Non-monotonic Reasoning on Beowulf Platforms (EP, MB, FB), pp. 37–57.
ICSEICSE-2003-Dingel #reasoning
Computer-Assisted Assume/Guarantee Reasoning with VeriSoft (JD), pp. 138–148.
ICSEICSE-2003-EasterbrookCDGLPTT #model checking #multi #named #reasoning
χChek: A Model Checker for Multi-Valued Reasoning (SME, MC, BD, AG, AYCL, VP, AT, CDTW), pp. 804–805.
CADECADE-2003-Belinfante #reasoning
Reasoning about Iteration in Gödel’s Class Theory (JGFB), pp. 228–242.
CADECADE-2003-Cohn #reasoning
Reasoning about Qualitative Representations of Space and Time (AGC), p. 334.
CADECADE-2003-GanzingerS #equivalence #normalisation #reasoning
Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation (HG, JS), pp. 335–349.
CADECADE-2003-LutzST #complexity #finite #logic #reasoning
The Complexity of Finite Model Reasoning in Description Logics (CL, US, LT), pp. 60–74.
CADECADE-2003-Nelson #quantifier #reasoning
Reasoning about Quantifiers by Matching in the E-graph (GN), p. 166.
CAVCAV-2003-EisnerFHLMC #logic #reasoning
Reasoning with Temporal Logic on Truncated Paths (CE, DF, JH, YL, AM, DVC), pp. 27–39.
LICSLICS-2003-AhmedJW #reasoning
Reasoning about Hierarchical Storage (AJA, LJ, DW), pp. 33–44.
VMCAIVMCAI-2003-MeenakshiR #message passing #reasoning
Reasoning about Layered Message Passing Systems (BM, RR), pp. 268–282.
CBSECBSE-2002-AguirreM #approach #component #logic #reasoning #specification
A Temporal Logic Approach to Component–Based System Specification and Reasoning (NA, TM), p. 11.
CBSECBSE-2003-WeideOS #composition #performance #reasoning
Expressiveness Issues in Compositional Performance Reasoning (BWW, WFO, MS), p. 15.
ASEASE-2002-GrosserSV #predict #reasoning #using
Predicting Software Stability Using Case-Based Reasoning (DG, HAS, PV), p. 295–?.
FoSSaCSFoSSaCS-2002-BorealeG #calculus #composition #on the #reasoning
On Compositional Reasoning in the Sπ-calculus (MB, DG), pp. 67–81.
FoSSaCSFoSSaCS-2002-YangO #reasoning #semantics
A Semantic Basis for Local Reasoning (HY, PWO), pp. 402–416.
ICEISICEIS-2002-AbadSRO #constraints #development #programming #reasoning
Semiqualitative Reasoning for Software Development Project by Constraint Programming (PJA, AJS, SR, JAO), pp. 319–324.
KRKR-2002-CalvaneseGV #ltl #reasoning
Reasoning about Actions and Planning in LTL Action Theories (DC, GDG, MYV), pp. 593–602.
KRKR-2002-DomshlakB #consistency #named #reasoning #testing
CP-nets: Reasoning and Consistency Testing (CD, RIB), pp. 121–132.
KRKR-2002-Kern-Isberner #approach #reasoning
A Structural Approach to Default Reasoning (GKI), pp. 147–157.
KRKR-2002-Lakemeyer #first-order #knowledge base #reasoning
Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases (GL), pp. 73–81.
KRKR-2002-Saint-CyrL #how #predict
Belief Extrapolation (or how to Reason About Observations and Unpredicted Change) (FDdSC, JL), pp. 497–508.
ECOOPECOOP-2002-AldrichCN #architecture #reasoning
Architectural Reasoning in ArchJava (JA, CC, DN), pp. 334–367.
TOOLSTOOLS-USA-2002-PaigeKOL #automation #named #reasoning #specification
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning (RFP, LK, JSO, JL), pp. 77–96.
ICSEICSE-2002-PonsB #correctness #development #process #reasoning
Reasoning about the correctness of software development process (CP, GB), p. 708.
CADECADE-2002-AudemardB #finite #generative #reasoning #symmetry
Reasoning by Symmetry and Function Ordering in Finite Model Generation (GA, BB), pp. 226–240.
CADECADE-2002-Horrocks #logic #reasoning #theory and practice
Reasoning with Expressive Description Logics: Theory and Practice (IH), pp. 1–15.
CADECADE-2002-Paulson #case study #reasoning #theorem
The Reflection Theorem: A Study in Meta-theoretic Reasoning (LCP), pp. 377–391.
CADECADE-2002-ZimmerK #distributed #reasoning
System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning (JZ, MK), pp. 139–143.
ICLPICLP-2002-Bonatti #infinity #modelling #reasoning #source code
Reasoning with Infinite Stable Models II: Disjunctive Programs (PAB), pp. 333–346.
ICLPICLP-2002-Thielscher #constraints #finite #reasoning
Reasoning about Actions with CHRs and Finite Domain Constraints (MT), pp. 70–84.
SATSAT-2002-Bacchus #reasoning #trade-off
Exploring the computational tradeoff of more reasoning and less searching (FB), p. 34.
SATSAT-2002-Gelder #reasoning #satisfiability #towards
Toward leaner binary-clause reasoning in a satisfiability solver (AVG), p. 16.
SATSAT-2002-Marques-Silva #reasoning #satisfiability
Hypothetical reasoning in propositional satisfiability (Keynote Talk) (JMS), p. 14.
CBSECBSE-2001-Sitaraman #composition #performance #reasoning
Compositional Performance Reasoning (MS), p. 19.
ASEASE-2001-MenziesK #process #re-engineering #reasoning
Better Reasoning About Software Engineering Activities (TM, JDK), pp. 391–394.
DACDAC-2001-KuehlmannGP #reasoning
Circuit-based Boolean Reasoning (AK, MKG, VP), pp. 232–237.
DATEDATE-2001-EspejoEMO #logic #optimisation #reasoning
Generalized reasoning scheme for redundancy addition and removal logic optimization (JAE, LE, ESM, EO), pp. 391–397.
TACASTACAS-2001-AmlaENT #composition #diagrams #reasoning
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams (NA, EAE, KSN, RJT), pp. 465–479.
TACASTACAS-2001-Fourman #reasoning
Propositional Reasoning (MPF), p. 23.
ICALPICALP-2001-Madhusudan #behaviour #branch #graph #reasoning #sequence
Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs (PM), pp. 809–820.
ICALPICALP-2001-Maier #framework #reasoning
A Set-Theoretic Framework for Assume-Guarantee Reasoning (PM), pp. 821–834.
ICALPICALP-2001-ViswanathanV #composition #reasoning
Foundations for Circular Compositional Reasoning (MV, RV), pp. 835–847.
FMFME-2001-VenkatasubramanianTA #adaptation #formal method #middleware #reasoning
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware (NV, CLT, GA), pp. 197–221.
ICEISICEIS-v1-2001-Orchard #fuzzy #reasoning #tool support
Fuzzy Reasoning in JESS: The Fuzzyj Toolkit and Fuzzyjess (RO), pp. 533–542.
ICEISICEIS-v1-2001-SuarezAGO #constraints #development #programming #reasoning
Qualitative Reasoning for Software Development Project by Constraint Programming (AJS, PJA, RMG, JAO), pp. 481–488.
MLDMMLDM-2001-Perner #classification #question #reasoning
Are Case-Based Reasoning and Dissimilarity-Based Classification Two Sides of the Same Coin? (PP), pp. 35–51.
MLDMMLDM-2001-SchmidtG #abstraction #reasoning
Temporal Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications (RS, LG), pp. 23–34.
SEKESEKE-2001-RamirezA #constraints #reasoning
Checking Integrity Constraints in Reasoning Systems based on Propositions and Relationships (JR, AdA), pp. 188–195.
TOOLSTOOLS-EUROPE-2001-Gomez-AlbarranGF #documentation #framework #reasoning
Profiting from Case-Based Reasoning in Framework Documentation (MGA, PAGC, CFC), pp. 111–122.
SACSAC-2001-BandiniM #design #fuzzy #reasoning #retrieval
Application of fuzzy indexing and retrieval in case based reasoning for design (SB, SM), pp. 462–466.
ICSEICSE-2001-EasterbrookC #consistency #framework #multi #reasoning
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints (SME, MC), pp. 411–420.
CSLCSL-2001-Koriche #approximate #first-order #logic #reasoning
A Logic for Approximate First-Order Reasoning (FK), pp. 262–276.
CSLCSL-2001-OHearnRY #data type #reasoning #source code
Local Reasoning about Programs that Alter Data Structures (PWO, JCR, HY), pp. 1–19.
ICLPICLP-2001-MedinaOV #abduction #approach #logic #multi #reasoning
A Multi-adjoint Logic Approach to Abductive Reasoning (JM, MOA, PV), pp. 269–283.
IJCARIJCAR-2001-AngerKL #logic programming #reasoning #semantics #set #source code
NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics (CA, KK, TL), pp. 325–330.
IJCARIJCAR-2001-FormisanoOT #equation
Instructing Equational Set-Reasoning with Otter (AF, EGO, MT), pp. 152–167.
IJCARIJCAR-2001-HaarslevMT #logic #modelling #pseudo #reasoning
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics (VH, RM, AYT), pp. 61–75.
LICSLICS-2001-CookK #higher-order #reasoning #theorem #using
A Second-Order System for Polytime Reasoning Using Graedel’s Theorem (SAC, AK), pp. 177–186.
ESOPESOP-2000-WellsV #equation #reasoning
Equational Reasoning for Linking with First-Class Primitive Modules (JBW, RV), pp. 412–428.
FoSSaCSFoSSaCS-2000-EngelhardtMM #framework #reasoning #refinement
A Program Refinement Framework Supporting Reasoning about Knowledge and Time (KE, RvdM, YM), pp. 114–129.
ICSMEICSM-2000-MockusV #database #identification #using
Identifying Reasons for Software Changes using Historic Databases (AM, LGV), pp. 120–130.
ICALPICALP-2000-GhicaM #algol #reasoning #regular expression #using
Reasoning about Idealized ALGOL Using Regular Languages (DRG, GM), pp. 103–115.
ICALPICALP-2000-MeenakshiR #finite #message passing #reasoning
Reasoning about Message Passing in Finite State Environments (BM, RR), pp. 487–498.
AdaEuropeAdaEurope-2000-SoundarajanF #exception #object-oriented #reasoning #using
Exceptions in OO Languages: Using Them and Reasoning about Them (NS, SF), pp. 238–251.
ICEISICEIS-2000-LiY #comprehension #enterprise #information management #nondeterminism #re-engineering #reasoning
Code Understanding Through Context-Oriented Uncertainty Reasoning for Enterprise Information System Reengineering (YL, HY), pp. 163–170.
ICEISICEIS-2000-Morand #abduction #approach #diagrams #process #representation
Representation Process and Abductive Reasoning-An Experimental Approach of the Diagrammatic Case (BM), pp. 322–326.
ICPRICPR-v3-2000-Perner #parametricity #reasoning #segmentation
Controlling the Segmentation Parameters by Case-Based Reasoning (PP), pp. 3975–3978.
KRKR-2000-AmirM #logic #reasoning
Partition-Based Logical Reasoning (EA, SAM), pp. 389–400.
KRKR-2000-BalbianiO #reasoning
A Model for Reasoning about Topologic Relations between cyclic intervals (PB, AO), pp. 378–385.
KRKR-2000-EiterL #complexity #knowledge base #reasoning
Complexity Results for Default Reasoning from Conditional Knowledge Bases (TE, TL), pp. 62–73.
KRKR-2000-HaarslevM #reasoning #strict #transitive
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles (VH, RM), pp. 273–284.
KRKR-2000-HorrocksT #axiom #reasoning #theory and practice
Reasoning with Axioms: Theory and Practice (IH, ST), pp. 285–296.
KRKR-2000-IsmailS #problem #reasoning
Two Problems with Reasoning and Acting in Time (HOI, SCS), pp. 355–365.
KRKR-2000-MorrisM #complexity #on the #reasoning
On the complexity of reasoning about repeating events (RAM, PHM), pp. 580–588.
KRKR-2000-VerberneHT #approximate #constraints #reasoning #using
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation (AV, FvH, AtT), pp. 323–332.
KRKR-2000-WolterZ #reasoning #representation
Spatio-temporal representation and reasoning based on RCC-8 (FW, MZ), pp. 3–14.
GPCESAIG-2000-Pfenning #reasoning #staged
Reasoning about Staged Computation (FP), pp. 5–6.
SACSAC-2000-JurisicaG #image #reasoning #using
Extending Case-Based Reasoning by Discovering and Using Image Features in IVF (IJ, JIG), pp. 52–59.
CADECADE-2000-Farmer #framework #reasoning
An Infrastructure for Intertheory Reasoning (WMF), pp. 115–131.
CADECADE-2000-HorrocksST #logic #reasoning
Reasoning with Individuals for the Description Logic SHIQ (IH, US, ST), pp. 482–496.
CADECADE-2000-Kammuller #composition #reasoning
Modular Reasoning in Isabelle (FK), pp. 99–114.
CADECADE-2000-Kautz #information management #reasoning #representation #scalability
Scalable Knowledge Representation and Reasoning Systems (HAK), p. 183.
CAVCAV-2000-AnnichiniAB #parametricity #reasoning
Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems (AA, EA, AB), pp. 419–434.
CAVCAV-2000-KupfermanV #approach #infinity #reasoning
An Automata-Theoretic Approach to Reasoning about Infinite-State Systems (OK, MYV), pp. 36–52.
CAVCAV-2000-NamjoshiT #composition #on the #reasoning
On the Competeness of Compositional Reasoning (KSN, RJT), pp. 139–153.
ICLPCL-2000-DungS #reasoning
Default Reasoning with Specificity (PMD, TCS), pp. 792–806.
ICLPCL-2000-KhizderTW #logic #reasoning
Reasoning about Duplicate Elimination with Description Logic (VLK, DT, GEW), pp. 1017–1032.
DATEDATE-1999-BreuerMBFLK #reasoning #semantics #using
Reasoning about VHDL and VHDL-AMS using Denotational Semantics (PTB, NMM, JPB, RBF, MMLP, CDK), pp. 346–352.
ICDARICDAR-1999-StuckelbergD #on the #probability #reasoning #recognition #using
On Musical Score Recognition using Probabilistic Reasoning (MVS, DSD), pp. 115–118.
PODSPODS-1999-HaraD #dependence #functional #reasoning
Reasoning about Nested Functional Dependencies (CSH, SBD), pp. 91–100.
SIGMODSIGMOD-1999-Jamil #database #deduction #reasoning
Belief Reasoning in MLS Deductive Databases (HMJ), pp. 109–120.
FoSSaCSFoSSaCS-1999-Sangiorgi #concurrent #reasoning #using
Reasoning About Concurrent Systems Using Types (DS), pp. 31–40.
IWPCIWPC-1999-BurnsteinS #automation #comprehension #fuzzy #reasoning
An Application of Fuzzy Reasoning to Support Automated Program Comprehension (IB, FS), pp. 66–73.
FMFM-v2-1999-BackMW #interactive #reasoning
Reasoning About Interactive Systems (RJB, AM, JvW), pp. 1460–1476.
IFMIFM-1999-ReedSG #deduction #development #formal method #model checking #reasoning
Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development (JNR, JES, FG), pp. 375–394.
HCIHCI-EI-1999-NtuenP #distributed #evaluation #interactive #reasoning
Distributed Expert system for Interactive Reasoning and Evaluation (CAN, EHP), pp. 1182–1188.
CAiSECAiSE-1999-YiJ #process #reasoning #representation
Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes (CHY, PJ), pp. 462–466.
ICEISICEIS-1999-CarvalhoCNKKBGB #heuristic #object-oriented #reasoning
Expert System Object-Oriented Combining Systematic and Heuristic Reasoning (LFdC, HJTdC, JCN, CAAK, CK, CTB, RZG, VSB), p. 763.
KDDKDD-1999-PellegM #algorithm #geometry #reasoning
Accelerating Exact k-means Algorithms with Geometric Reasoning (DP, AWM), pp. 277–281.
TOOLSTOOLS-ASIA-1999-BuehrerL #algebra #ontology #reasoning
Class Algebra for Ontology Reasoning (DJB, CHL), pp. 2–13.
TOOLSTOOLS-ASIA-1999-FanXZ #behaviour #inheritance #reasoning
Reasoning about Inheritance and Cloning Behaviors of Software Agents (XF, DX, GZ), pp. 77–82.
PPDPPPDP-1999-NeumerkelM #logic programming #source code
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices (UN, FM), pp. 328–342.
RERE-1999-MenziesENW #empirical #multi #reasoning #requirements
An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering (TM, SME, BN, SW), p. 100–?.
HPCAHPCA-1999-CondonHPS #memory management #modelling #using
Using Lamport Clocks to Reason about Relaxed Memory Models (AC, MDH, MP, DJS), pp. 270–278.
LICSLICS-1999-EmersonT #parametricity #reasoning
Parametric Quantitative Temporal Reasoning (EAE, RJT), pp. 336–343.
LICSLICS-1999-HalpernF #bibliography #metric #perspective #reasoning
Plausibility Measures and Default Reasoning: An Overview (JYH, NF), pp. 130–135.
LICSLICS-1999-HalpernS #infinity #reasoning
Reasoning about Common Knowledge with Infinitely Many Agents (JYH, RAS), pp. 384–393.
FLOPSFLOPS-1998-Tsukada #equation #reasoning
Type-free Equational Reasoning in the Theeory of Inductively Defined Types (YT), pp. 227–246.
ICALPICALP-1998-Vardi #automaton #reasoning
Reasoning about The Past with Two-Way Automata (MYV), pp. 628–641.
ICFPICFP-1998-Ennals #finite #nondeterminism #reasoning
Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed (RE), p. 339.
CAiSECAiSE-1998-JurisicaN #quality #reasoning
Building Quality into Case-Based Reasoning Systems (IJ, BAN), pp. 363–380.
ICPRICPR-1998-PinzA #reasoning #recognition
Qualitative spatial reasoning to infer the camera position in generic object recognition (AP, JPA), pp. 770–773.
ICPRICPR-1998-ShahA #architecture #classification #hybrid #performance #reasoning
A hybrid architecture for performance reasoning in classification systems (SS, JKA), pp. 326–330.
ICPRICPR-1998-StevensB #multi #reasoning
Multisensor occlusion reasoning (MRS, JRB), pp. 210–214.
KRKR-1998-BalbianiCC #reasoning
A Model for Reasoning about Bidemsional Temporal Relations (PB, JFC, LFdC), pp. 124–130.
KRKR-1998-GiunchigliaG #locality #modelling #reasoning #semantics
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility (FG, CG), pp. 282–291.
KRKR-1998-HaarslevLM #logic #reasoning
Foundations of Spatioterminological Reasoning with Description Logics (VH, CL, RM), pp. 112–123.
KRKR-1998-Jaeger #infinity #network #random #reasoning #relational
Reasoning About Infinite Random Structures with Relational Bayesian Networks (MJ), pp. 570–581.
KRKR-1998-Kamps #automation #formal method #reasoning #tool support #using
Formal Theory Building Using Automated Reasoning Tools (JK), pp. 478–487.
KRKR-1998-Karlsson #reasoning
Anything Can Happen: On Narratives and Hypothetical Reasoning (LK), pp. 36–47.
KRKR-1998-Levesque #first-order #knowledge base #reasoning
A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases (HJL), pp. 14–23.
KRKR-1998-Liberatore #on the #reasoning
On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc (PL), pp. 144–155.
OOPSLAOOPSLA-1998-JacobsBHB #java #reasoning
Reasoning about Java Classes (Preliminary Report) (BJ, JvdB, MH, MvB), pp. 329–340.
TOOLSTOOLS-USA-1998-SoundarajanF #behaviour #polymorphism #reasoning
Reasoning About Polymorphic Behavior (NS, SF), p. 346–?.
TOOLSTOOLS-USA-1998-Wuyts #declarative #object-oriented #reasoning
Declarative Reasoning about the Structure of Object-Oriented Systems (RW), pp. 112–124.
FSEFSE-1998-GarlanJN #reasoning
Reasoning about Implicit Invocation (DG, SJ, DN), pp. 209–221.
CADECADE-1998-Ohlbach #framework #reasoning #semantics
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework (HJO), pp. 205–219.
CADECADE-1998-Pfenning #deduction #linear #logic #reasoning
Reasoning About Deductions in Linear Logic (Abstract of Invited Talk) (FP), pp. 1–2.
LICSLICS-1998-Voronkov #automation #reasoning #semantics #theorem
Herbrand’s Theorem, Automated Reasoning and Semantics Tableaux (AV), pp. 252–263.
ASEASE-1997-Hall #automation #library #reasoning #using #validation
Reactive System Validation using Automated Reasoning over a Fragment Library (RJH), pp. 299–300.
TACASTACAS-1997-Boulton #reasoning
A Tool to Support Formal Reasoning about Computer Languages (RJB), pp. 81–95.
FMFME-1997-DierksD #case study #reasoning #specification #visual notation
Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing (HD, CD), pp. 20–39.
HCIHCI-SEC-1997-AsiuM #design #reasoning #theory and practice
The Role of Case-Based Reasoning in Instructional Design: Theory and Practice (BA, MDM), pp. 153–156.
LOPSTRLOPSTR-1997-MomiglianoO #logic programming #reasoning #source code #towards
Towards a Logic for Reasoning About Logic Programs Transformation (AM, MO), pp. 226–244.
RERE-1997-Yu #modelling #reasoning #requirements #towards
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering (ESKY), pp. 226–235.
RERE-1997-ZowghiO #evolution #framework #logic #modelling #reasoning #requirements
A Logical Framework for Modeling and Reasoning About the Evolution of Requirements (DZ, RO), p. 247–?.
ESECESEC-FSE-1997-JahnkeSZ #database #fuzzy #reasoning #relational #reverse engineering
Generic Fuzzy Reasoning Nets as a Basis for Reverse Engineering Relational Database Applications (JHJ, WS, AZ), pp. 193–210.
ICSEICSE-1997-SullivanSM #architecture #formal method #standard #using
Using Formal Methods to Reason about Architectural Standards (KJS, JS, MM), pp. 503–513.
CADECADE-1997-BjornerSU #first-order #integration #reasoning
A Practical Integration of First-Order Reasoning and Decision Procedures (NB, MES, TEU), pp. 101–115.
CADECADE-1997-Wen-Tsun #automation #reasoning
The Char-Set Method and Its Applications to Automated Reasoning (WWT), pp. 1–3.
ICLPICLP-1997-LammaMM #constraints #logic programming #reasoning
Reasoning on Constraints in Constraint Logic Programming (EL, MM, PM), p. 413.
ICLPILPS-1997-BaralS #approximate #reasoning
Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information (CB, TCS), pp. 387–401.
LICSLICS-1997-Kozen #algebra #complexity #on the #reasoning
On the Complexity of Reasoning in Kleene Algebra (DK), pp. 195–202.
LICSLICS-1997-McDowellM #higher-order #logic #reasoning #syntax
A Logic for Reasoning with Higher-Order Abstract Syntax (RM, DM), pp. 434–445.
LICSLICS-1997-ZhangR #complexity #reasoning
Complexity of Power Default Reasoning (GQZ, WCR), pp. 328–339.
TLCATLCA-1997-Stark #equation
Names, Equations, Relations: Practical Ways to Reason about new (IS), pp. 336–353.
VLDBVLDB-1996-BertinoBFS #data access #database #reasoning
Supporting Periodic Authorizations and Temporal Reasoning in Database Access Control (EB, CB, EF, PS), pp. 472–483.
CSCWCSCW-1996-HeathL #documentation
Documents and Professional Practice: “Bad” Organisational Reasons for “Good” Clinical Records (CH, PL), pp. 354–363.
CAiSECAiSE-1996-VescoukisPS #evolution #framework #reasoning
A Logic-Based Framework for Reasoning Support in Software Evolution (VCV, NP, ES), pp. 44–59.
KDDAKDDM-1996-SimoudisLK #data mining #deduction #induction #mining #reasoning
Integrating Inductive and Deductive Reasoning for Data Mining (ES, BL, RK), pp. 353–373.
ICPRICPR-1996-PetrouS #fuzzy #network #on the #reasoning
On the relationship between neural networks and fuzzy reasoning (MP, KRS), pp. 239–243.
ICPRICPR-1996-WestlingD #generative #interactive #performance #reasoning #recognition
Object recognition by fast hypothesis generation and reasoning about object interactions (MFW, LSD), pp. 148–153.
KDDKDD-1996-KaufmanM #information management #multi #reasoning
A Method for Reasoning with Structured and Continuous Attributes in the INLEN-2 Multistrategy Knowledge Discovery System (KAK, RSM), pp. 232–237.
KRKR-1996-AmatiP #logic #question #reasoning
Is There a Logic of Provability for Nonmonotonic Reasoning? (GA, FP), pp. 493–503.
KRKR-1996-Bochman #reasoning
Biconsequence Relations for Nonmonotonic Reasoning (AB), pp. 482–492.
KRKR-1996-Calvanese #finite #logic #reasoning
Finite Model Reasoning in Description Logics (DC), pp. 292–303.
KRKR-1996-CholewinskiMT #reasoning
Default Reasoning System DeReS (PC, VWM, MT), pp. 518–528.
KRKR-1996-DungS #approach #reasoning
An Argumentation-theoretic Approach to Reasoning with Specificity (PMD, TCS), pp. 506–517.
KRKR-1996-GiacomoL #logic #reasoning
TBox and ABox Reasoning in Expressive Description Logics (GDG, ML), pp. 316–327.
KRKR-1996-JonssonG #constraints #reasoning
Procedural Reasoning in Constraint Satisfaction (AKJ, MLG), pp. 160–171.
KRKR-1996-LeeG #parallel #reasoning #relational #transitive
Parallel Transitive Reasoning in Mixed Relational Hierarchies (YL, JG), pp. 576–587.
KRKR-1996-Leong #multi #reasoning
Multiple Perspective Reasoning (TYL), pp. 562–573.
KRKR-1996-MillerS #calculus #reasoning
Reasoning about Discontinuities in the Event Calculus (RM, MS), pp. 63–74.
KRKR-1996-VogelT #constraints #inheritance #reasoning
Psychological Constraints on Plausible Default Inheritance Reasoning (CV, JT), pp. 608–619.
KRKR-1996-Williams #approach #towards
Towards a Practical Approach to Belief Revision: Reason-Based Change (MAW), pp. 412–420.
SIGIRSIGIR-1996-OroumchianO #information retrieval #reasoning
An Application of Plausible Reasoning to Information Retrieval (FO, RNO), pp. 244–252.
LOPSTRLOPSTR-1996-DungKT #proving #reasoning #synthesis
Synthesis of Proof Procedures for Default Reasoning (PMD, RAK, FT), pp. 313–324.
ICSEICSE-1996-RomanMP #interactive #mobile #reasoning
Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing (GCR, PJM, JYP), pp. 155–164.
CADECADE-1996-SchaubBN #named #prolog #proving #reasoning #theorem proving
XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description (TS, SB, PN), pp. 293–297.
LICSLICS-1996-Pitts #logic #reasoning
Reasoning about Local Variables with Operationally-Based Logical Relations (AMP), pp. 152–163.
RTARTA-1996-Kapur #automation #challenge #reasoning
Rewrite-Based Automated Reasoning: Challenges Ahead (DK), pp. 1–2.
ICDARICDAR-v1-1995-HoriD #analysis #reasoning #robust
Robust table-form structure analysis based on box-driven reasoning (OH, DSD), pp. 218–221.
VLDBVLDB-1995-AmmannJR #formal method #semantics #transaction #using
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions (PA, SJ, IR), pp. 218–227.
CAiSECAiSE-1995-DuffyMMM #analysis #automation #framework #reasoning #requirements #using
A Framework for Requirements Analysis Using Automated Reasoning (DAD, CM, JAM, PM), pp. 68–81.
CIKMCIKM-1995-AbdelmotyE #database #reasoning
A General Method for Spatial Reasoning in Spatial Databases (AIA, BAEG), pp. 312–317.
CIKMCIKM-1995-StranieriZ #formal method #reasoning
Levels of Reasoning as the Basis for a Formalisation of Argumentation (AS, JZ), pp. 333–339.
OOPSLAOOPSLA-1995-StataG #composition #reasoning #subclass
Modular Reasoning in the Presence of Subclassing (RS, JVG), pp. 200–214.
POPLPOPL-1995-EmersonN #reasoning
Reasoning about Rings (EAE, KSN), pp. 85–94.
SACSAC-1995-AndersonM #diagrams #heuristic #reasoning
Developing a heuristic via diagrammatic reasoning (MA, RM), pp. 227–231.
CAVCAV-1995-DingelF #abstraction #infinity #model checking #proving #reasoning #theorem proving #using
Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving (JD, TF), pp. 54–69.
ICLPICLP-1995-CholewinskiMMT #reasoning
Experimenting with Nonmonotonic Reasoning (PC, VWM, AM, MT), pp. 267–281.
ICLPICLP-1995-SakamaI #abduction #deduction #reasoning
The Effect of Partial Deduction in Abductive Reasoning (CS, KI), pp. 383–397.
LICSLICS-1995-MarekNR #complexity #logic #reasoning
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning (VWM, AN, JBR), pp. 178–185.
DATEEDAC-1994-AhmadM #automation #layout #named #reasoning
AREAL: Automated Reasoning Expert for Analogue Layout (HHA, RJM), p. 659.
PODSPODS-1994-GrahneNU #database #reasoning #string
Reasoning about Strings in Databases (GG, MN, EU), pp. 303–312.
VLDBVLDB-1994-SistlaYH #reasoning #retrieval
Reasoning About Spatial Relationships in Picture Retrieval Systems (APS, CTY, RH), pp. 570–581.
ICALPICALP-1994-FixS #reasoning #source code
Reasoning about Programs by Exploiting the Environment (LF, FBS), pp. 328–339.
FMFME-1994-AnlauffJS #reasoning
An experimental support system for formal mathematical reasoning (MA, SJ, MS), pp. 421–440.
CHICHI-1994-RiemanLYP94a #architecture #consistency #interface #reasoning #why
Why is a raven like a writing desk?: lessons in interface consistency and analogical reasoning from two cognitive architectures (JR, CHL, RMY, PGP), pp. 438–444.
CIKMCIKM-1994-Johannesson #integration #reasoning
Linguistic Instruments and Qualitative Reasoning for Schema Integration (PJ), pp. 252–262.
ICMLICML-1994-RachlinKSA #comprehension #reasoning #towards
Towards a Better Understanding of Memory-based Reasoning Systems (JR, SK, SS, DWA), pp. 242–250.
KDDKDD-1994-SimoudisLK #database #deduction #induction #mining #reasoning
Integrating Inductive and Deductive Reasoning for Database Mining (ES, BL, RK), pp. 37–48.
KRKR-1994-BarndenHIS #implementation #nondeterminism #reasoning
An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States (JAB, SH, EI, GCS), pp. 27–38.
KRKR-1994-Ben-EliyahuP #algorithm #modelling #performance #reasoning
Reasoning with Minimal Models: Efficient Algorithms and Applications (RBE, LP), pp. 39–50.
KRKR-1994-Bennett #logic #reasoning
Spatial Reasoning with Propositional Logics (BB), pp. 51–62.
KRKR-1994-DelgrandeS #approach #reasoning
A General Approach to Specificity in Default Reasoning (JPD, TS), pp. 146–157.
KRKR-1994-DuboisP94a #information management #nondeterminism #reasoning #representation #standard
Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning (DD, HP), pp. 634–645.
KRKR-1994-EtzioniGW #reasoning
Tractable Closed World Reasoning with Updates (OE, KG, DSW), pp. 178–189.
KRKR-1994-GereviniS #performance #reasoning
An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning (AG, LKS), pp. 214–225.
KRKR-1994-Hunter #reasoning
Defeasible Reasoning with Structured Information (AH), pp. 281–292.
KRKR-1994-Jaeger #logic #probability #reasoning
Probabilistic Reasoning in Terminological Logics (MJ), pp. 305–316.
KRKR-1994-Koehler #logic #reasoning
An Application of Terminological Logics to Case-based Reasoning (JK), pp. 351–362.
KRKR-1994-KuipersS #logic #reasoning
Reasoning in Logic about Continuous Systems (BK, BS), pp. 391–402.
KRKR-1994-LakemeyerM #decidability #first-order #power of
Enhancing the Power of a Decidable First-Order Reasoner (GL, SM), pp. 403–414.
KRKR-1994-Niemela #reasoning
A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning (IN), pp. 473–484.
KRKR-1994-Schubert #information management #natural language #reasoning #representation
Exploiting Natural Language for Knowledge Representation and Reasoning (Abstract) (LKS), pp. 650–651.
PPDPALP-1994-Kesner #reasoning
Reasoning about Layered, Wildcard and Product Patterns (DK), pp. 253–268.
LOPSTRLOPSTR-1994-FlenerP #induction #on the #reasoning #synthesis
On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects (PF, LP), pp. 69–87.
LOPSTRLOPSTR-1994-GiunchigliaC #reasoning
Introspective Metatheoretic Reasoning (FG, AC), pp. 425–439.
LOPSTRLOPSTR-1994-Treur #architecture #reasoning #semantics
Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning (JT), pp. 353–376.
PPDPPLILP-1994-Fruhwirth #constraints #logic programming #reasoning
Annotated Constraint Logic Programming Applied to Temporal Reasoning (TWF), pp. 230–243.
CADECADE-1994-Slaney #automation #finite #reasoning
The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure (JKS), pp. 1–13.
CAVCAV-1994-Schubert #hardware #hybrid #reasoning
A Hybrid Model for Reasoning about Composed Hardware Systems (ETS), pp. 260–272.
LICSLICS-1994-Ben-DavidB #logic #reasoning
a modal logic for subjective default reasoning (SBD, RBE), pp. 477–486.
SIGMODSIGMOD-1993-BorgidaB
Loading Data into Description Reasoners (AB, RJB), pp. 217–226.
STOCSTOC-1993-AlurHV #parametricity #realtime #reasoning
Parametric real-time reasoning (RA, TAH, MYV), pp. 592–601.
SASWSA-1993-KatoSI #abduction #performance #program analysis #reasoning
An Efficient Abductive Reasoning System Based on Program Analysis (SK, HS, HI), pp. 230–241.
FMFME-1993-Jones #design #reasoning
Reasoning about Interference in an Object-Based Design Method (CBJ), pp. 1–18.
HCIHCI-SHI-1993-Boase-JelinekM #reasoning
Role of Analogical Reasoning as a Tool for Training (DMBJ, DM), pp. 760–765.
HCIHCI-SHI-1993-SharitC #reasoning #rule-based
The Use of Expert Systems for Training Humans in Rule-Based Reasoning (JS, SC), pp. 819–824.
CIKMCIKM-1993-HaasAO #biology #database #information management #reasoning
Analogical Reasoning for Knowledge Discovery in a Molecular Biology Database (JH, JSA, GCO), pp. 554–564.
SEKESEKE-1993-DojatS #reasoning
Temporal Reasoning in a Medical Expertise (MD, CS), pp. 134–141.
POPLPOPL-1993-ReickeS #algebra #reasoning
Algebraic Reasoning and Completeness in Typed Languages (JGR, RS), pp. 185–195.
CSLCSL-1993-GoerdtK #backtracking #on the #parallel
On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search (AG, UK), pp. 106–127.
ICLPICLP-1993-ChikayamaFY #implementation #performance
A Portable and Reasonably Efficient Implementation of KL1 (TC, TF, HY), p. 833.
ICLPICLP-1993-KraanBB #logic programming #reasoning #synthesis
Middle-Out Reasoning for Logic Program Synthesis (IK, DAB, AB), pp. 441–455.
ICLPICLP-1993-PereiraA #reasoning #semantics
Optative Reasoning with Scenario Semantics (LMP, JJA), pp. 601–615.
ICLPICLP-1993-PintoR #calculus #logic programming #reasoning
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus (JP, RR), pp. 203–221.
ICLPILPS-1993-LifschitzMT #approach #automation #logic programming #reasoning
Automated Reasoning About Actions: A Logic Programming Approach (VL, NM, HT), p. 641.
ICLPILPS-1993-Meyer #logic #reasoning #towards #visual notation
Logic and the Structure of Space — Towards a Visual Logic for Spatial Reasoning (BM), p. 674.
ICLPILPS-1993-RodriguesL #information retrieval #reasoning
Temporal Reasoning for Temporal Information Retrieval From Text (IPR, JGL), p. 675.
RTARTA-1993-Matthews #equation #ml #named #reasoning #standard
MERILL: An Equational Reasoning System in Standard ML (BM), pp. 441–445.
SASWSA-1992-Araragi #program transformation #reasoning
Program Transformation in a Nonmonotonic Reasoning System (TA), pp. 135–143.
LISPLFP-1992-SabryF #continuation #reasoning #source code
Reasoning About Programs in Continuation-Passing Style (AS, MF), pp. 288–298.
CHICHI-1992-OsbornA #interactive #interface #reasoning #visualisation
An Interface for Interactive Spatial Reasoning and Visualization (JRO, AMA), pp. 75–82.
CAiSECAiSE-1992-CostalO #concept #deduction #information management #modelling #reasoning
A Method for Reasoning About Deductive Conceptual Models of Information Systems (DC, AO), pp. 612–631.
KRKR-1992-Borgida #development #logic #towards
Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed (AB), pp. 259–269.
KRKR-1992-CordierS #reasoning
A Temporal Revision Model for Reasoning about World Change (MOC, PS), pp. 732–739.
KRKR-1992-GoldszmidtP #approach #reasoning
Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions (MG, JP), pp. 661–672.
KRKR-1992-KollerH #approximate #logic #reasoning
A Logic for Approximate Reasoning (DK, JYH), pp. 153–164.
KRKR-1992-Konolige #reasoning #using
Using Default and Causal Reasoning in Diagnosis (KK), pp. 509–520.
KRKR-1992-LifschitzW #reasoning #set
Answer Sets in General Nonmonotonic Reasoning (Preliminary Report) (VL, TYCW), pp. 603–614.
KRKR-1992-McCartyM #reasoning
Reasoning About Indefinite Actions (LTM, RvdM), pp. 59–70.
KRKR-1992-MyersK #reasoning
Reasoning with Analogical Representations (KLM, KK), pp. 189–200.
KRKR-1992-Nayak #order #reasoning #using
Order of Magnitude Reasoning using Logarithms (PPN), pp. 201–210.
KRKR-1992-NiemelaR #complexity #on the #reasoning
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning (IN, JR), pp. 627–638.
KRKR-1992-PinkasL #consistency #nondeterminism #reasoning #taxonomy
Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict (GP, RPL), pp. 709–719.
KRKR-1992-Reiter #reasoning #research #what
Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef (RR), p. 789.
KRKR-1992-SchragBC #reasoning
Managing Disjunction for Practical Temporal Reasoning (RS, MB, JC), pp. 36–46.
KRKR-1992-SkinnerL #architecture #paradigm #reasoning
An Architecture for Integrating Reasoning Paradigms (JMS, GFL), pp. 753–761.
KRKR-1992-WeidaL #constraints #network #reasoning #recognition
Terminological Reasoning with Constraint Networks and an Application to Plan Recognition (RAW, DJL), pp. 282–293.
SIGIRSIGIR-1992-MasandLW #memory management #reasoning #using
Classifying News Stories using Memory Based Reasoning (BMM, GL, DLW), pp. 59–65.
ECOOPECOOP-1992-LanoH #object-oriented #reasoning #refinement #specification
Reasoning and Refinement in Object-Oriented Specification Languages (KL, HPH), pp. 78–97.
CADECADE-1992-HeskethBS #reasoning #recursion #source code #synthesis #using
Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs (JH, AB, AS), pp. 310–324.
CADECADE-1992-Wos #automation #logic #reasoning
The Impossibility of the Automation of Logical Reasoning (LW), pp. 1–3.
CAVCAV-1992-WrightL #algorithm #concurrent #proving #reasoning #theorem proving #using
Using a Theorem Prover for Reasoning about Concurrent Algorithms (JvW, TL), pp. 56–68.
CSLCSL-1992-Gavilanes-FrancoLR #higher-order #reasoning
Reasoning with Higher Order Partial Functions (AGF, FLC, MRA), pp. 167–181.
ICLPJICSLP-1992-MamedeM #logic programming #reasoning #taxonomy
A Contraint Logic Programming Scheme for Taxonomic Reasoning (MM, LM), pp. 255–269.
LICSLICS-1992-MasonT #reasoning
References, Local Variables and Operational Reasoning (IAM, CLT), pp. 186–197.
HTHT-1991-Parunak #hypermedia #reasoning #set #taxonomy
Don’t Link Me In: Set Based Hypermedia for Taxonomic Reasoning (HVDP), pp. 233–242.
SIGMODSIGMOD-1991-GuntzerKT #database #deduction #nondeterminism #reasoning
New Directions For Uncertainty Reasoning In Deductive Databases (UG, WK, HT), pp. 178–187.
PLDIPLDI-1991-KishonHC #execution #framework #implementation #monitoring #reasoning #semantics #specification
Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors (AK, PH, CC), pp. 338–352.
SASWSA-1991-EchahedJPS #case study #comparative #equation #program transformation
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation (RE, PJ, MLP, SS), pp. 53–61.
FMVDME-1991-1-BicarreguiR #reasoning #using
Reasoning about VDM Developments using the VDM Support Tool in MURAL (JB, BR), pp. 371–388.
FMVDME-1991-1-Elvang-Goransson #reasoning #specification
Reasoning about VDM Specifications (MEG), pp. 343–355.
FMVDME-1991-1-Stolen #concurrent
An Attempt to Reason about Shared-State Concurrency in the Style of VDM (KS), pp. 324–342.
FPCAFPCA-1991-LeungM #lazy evaluation #reasoning
Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages (AL, PM), pp. 328–351.
CHICHI-1991-Furnas #comprehension #interface #modelling #reasoning #visual notation
New graphical reasoning models for understanding graphical interfaces (GWF), pp. 71–78.
KRKR-1991-Allen #reasoning
Planning as Temporal Reasoning (JFA), pp. 3–14.
KRKR-1991-Amsterdam #reasoning
Temporal Reasoning and Narrative Conventions (JA), pp. 15–21.
KRKR-1991-BarringerFGH #execution #logic
Meta-Reasoning in Executable Temporal Logic (HB, MF, DMG, AH), pp. 40–49.
KRKR-1991-DevanbuL #reasoning
Plan-Based Terminological Reasoning (PTD, DJL), pp. 128–138.
KRKR-1991-DierbachC #reasoning
A Formal Basis for Analogical Reasoning (CD, DLC), pp. 139–150.
KRKR-1991-DuboisP #reasoning
Conditional Objects and Non-Monontonic Reasoning (DD, HP), pp. 175–185.
KRKR-1991-Ginsberg #reasoning
Computational Considerations in Reasoning about Action (MLG), pp. 250–261.
KRKR-1991-Ginsberg91a #reasoning
The Computational Value of Nonmonotonic Reasoning (MLG), pp. 262–268.
KRKR-1991-Kaufman #formal method #reasoning
A Formal Theory of Spatial Reasoning (SGK), pp. 347–356.
KRKR-1991-Nebel #reasoning
Belief Revision and Default Reasoning: Syntax-Based Approaches (BN), pp. 417–428.
KRKR-1991-Rich #information management #question #reasoning #representation
Implemented Knowledge Representation and Reasoning Systems: An Endangered Species? (CR), pp. 591–592.
KRKR-1991-Vreeswijk #reasoning
The Feasibility of Defeat in Defeasible Reasoning (GV), pp. 526–534.
KRKR-1991-Witteveen #maintenance
Skeptical Reason Maintenance is Tractable (CW), pp. 570–581.
ICMLML-1991-Berenji #approximate #learning #refinement
Refinement of Approximate Reasoning-based Controllers by Reinforcement Learning (HRB), pp. 475–479.
ICLPICLP-1991-PereiraAA #reasoning #semantics
Nonmonotonic Reasoning with Well Founded Semantics (LMP, JNA, JJA), pp. 475–489.
ICLPISLP-1991-Benthem #logic #programming #reasoning
Reasoning and Programming: Analogies between Logic and Computation (JvB), pp. 717–718.
ICLPISLP-1991-PereiraAA #reasoning
Counterfactual Reasoning Based on Revising Assumptions (LMP, JNA, JJA), pp. 566–577.
ICLPISLP-1991-Przymusinski #logic programming #reasoning
Non-Monotonic Reasoning and Logic Programming (TCP), pp. 735–736.
SIGMODSIGMOD-1990-ChrysanthisR #behaviour #framework #named #reasoning #specification #transaction
ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior (PKC, KR), pp. 194–203.
ICALPICALP-1990-Wiedermann #metric #normalisation #problem #ram
Normalizing and Accelerating RAM Computations and the Problem of Reasonable Space Measures (JW), pp. 125–138.
LISPLFP-1990-SitaramF #abstraction #continuation #modelling #reasoning
Reasoning with Continuations II: Full Abstraction for Models of Control (DS, MF), pp. 161–175.
OOPSLAOOPSLA-ECOOP-1990-LeavensW #object-oriented #reasoning #source code #type system
Reasoning about Object-Oriented Programs that Use Subtypes (GTL, WEW), pp. 212–223.
PPDPPLILP-1990-MasonT #reasoning #source code
Reasoning About Programs with Effects (IAM, CLT), pp. 189–203.
CADECADE-1990-Bundy #reasoning
A Science of Reasoning: Extended Abstract (AB), pp. 633–640.
CADECADE-1990-McMichael #automation #named #set
SLIM: An Automated Reasoner For Equivalences, Applied To Set Theory (AFM), pp. 308–321.
CADECADE-1990-MullerBNNS #concept #reasoning #representation #tutorial
Tutorial on Reasoning and Representation with Concept Languages (JM, FB, BN, WN, GS), p. 681.
CADECADE-1990-WosWMOLSB #automation #logic #reasoning
Automated Reasoning Contributed to Mathematics and Logic (LW, SW, WM, RAO, ELL, RLS, RB), pp. 485–499.
CAVCAV-1990-EmersonMSS #reasoning
Quantitative Temporal Reasoning (EAE, AKM, APS, JS), pp. 136–145.
ICLPCLP-1990-Harel90 #how #question #source code
How Hard Is It to Reason about Propositional Programs? (DH), pp. 772–773.
LICSLICS-1990-HarelRV #bound #concurrent #on the #power of #reasoning #source code
On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) (DH, RR, MYV), pp. 478–488.
ICLPNACLP-1990-JourdanV #constraints #logic programming #reasoning
Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry (JJ, REVP), pp. 154–172.
ICLPNACLP-1990-NaqviR #consistency #database #reasoning
Reasoning in Inconsistent Databases (SAN, FR), pp. 255–272.
SIGMODSIGMOD-1989-KiferL #higher-order #inheritance #named #reasoning
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme (MK, GL), pp. 134–146.
PLDIPLDI-1989-JouvelotG #continuation #reasoning
Reasoning about Continuations with Control Effects (PJ, DKG), pp. 218–226.
CHICHI-1989-Cole #comprehension #reasoning #visual notation
Understanding Bayesian reasoning via graphical displays (WGC), pp. 381–386.
KRKR-1989-BorgidaE #knowledge base #performance #reasoning
Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning (AB, DWE), pp. 33–43.
KRKR-1989-Cohn #framework #hybrid #on the #reasoning
On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning (AGC), pp. 55–66.
KRKR-1989-EtheringtonFGIL #reasoning
Critical Issues in Nonmonotonic Reasoning (DWE, KDF, MLG, DJI, VL), pp. 500–504.
KRKR-1989-Frisch #deduction #framework #hybrid #reasoning
A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning (AMF), pp. 126–136.
KRKR-1989-Geffner #reasoning
Default Reasoning, Minimality and Coherence (HG), pp. 137–148.
KRKR-1989-KotonC #exception #information management #reasoning #representation
Knowledge Representation in a Case-Based Reasoning System: Defaults and Exceptions (PK, MPC), pp. 203–211.
KRKR-1989-LinS #reasoning
Argument Systems: A Uniform Basis for Nonmonotonic Reasoning (FL, YS), pp. 245–255.
KRKR-1989-Pearl #bibliography #probability #reasoning #semantics
Probabilistic Semantics for Nonmonotonic Reasoning: A Survey (JP), pp. 505–516.
KRKR-1989-Poole #reasoning #what
What the Lottery Paradox Tells Us About Default Reasoning (DP), pp. 333–340.
KRKR-1989-Prescott #reasoning
Analogical Reasoning, Defeasible Reasoning, and the Reference Class (RP), pp. 256–265.
KRKR-1989-Przymusinski #formal method #logic programming #reasoning
Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming (TCP), pp. 341–348.
KRKR-1989-RajasekarLM #reasoning #source code
Skeptical Reasoning and Disjunctive Programs (AR, JL, JM), pp. 349–356.
KRKR-1989-Stabler #information management #reasoning #representation #similarity
Syntactic Equality in Knowledge Representation and Reasoning (EPSJ), pp. 459–466.
ICMLML-1989-Redmond #learning #reasoning
Combining Case-Based Reasoning, Explanation-Based Learning, and Learning form Instruction (MR), pp. 20–22.
POPLPOPL-1989-EmersonSS #performance #reasoning
Efficient Temporal Reasoning (EAE, TS, JS), pp. 166–178.
LICSLICS-1989-KiferL #consistency #logic #named #nondeterminism #reasoning
RI: A Logic for Reasoning with Inconsistency (MK, ELL), pp. 253–262.
LICSLICS-1989-Lifschitz #reasoning
The Mathematics of Nonmonotonic Reasoning (Abstract) (VL), p. 242.
LICSLICS-1989-Vardi #complexity #on the #reasoning
On the Complexity of Epistemic Reasoning (MYV), pp. 243–252.
ISSTATAV-1989-RazoukG #logic #realtime #reasoning #source code
Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs (RRR, MMG), pp. 10–19.
SIGMODSIGMOD-1988-ChenG #implementation #reasoning
An Implementation Model for Reasoning with Complex Objects (QC, GG), pp. 164–172.
STOCSTOC-1988-HalpernV #reasoning
Reasoning about Knowledge and Time in Asynchronous Systems (JYH, MYV), pp. 53–65.
FMVDME-1988-JonesL #reasoning #requirements
A Support System for Formal Reasoning: Requirements and Status (CBJ, PAL), pp. 139–152.
ICMLML-1988-Hirsh #learning #reasoning
Reasoning about Operationality for Explanation-Based Learning (HH), pp. 214–220.
PPDPALP-1988-LiuL #fuzzy #horn clause #reasoning
Fuzzy Reasoning Based on F-Horn Clause Rules (DL, DL), pp. 214–222.
POPLPOPL-1988-GarlandG #data type #induction #reasoning
Inductive Methods for Reasoning about Abstract Data Types (SJG, JVG), pp. 219–228.
ICSEICSE-1988-PottsB #design
Recording the Reasons for Design Decisions (CP, GB), pp. 418–427.
CADECADE-1988-Basin #automation #reasoning
An Environment For Automated Reasoning About Partial Functions (DAB), pp. 101–110.
CADECADE-1988-BesnardS #automation #logic #reasoning
Supposition-Based Logic for Automated Nonmontonic Reasoning (PB, PS), pp. 592–601.
CADECADE-1988-BlasiusS #equation #graph #reasoning #unification
Partial Unification for Graph Based Equational Reasoning (KHB, JHS), pp. 397–414.
CADECADE-1988-BrockCP #proving #reasoning
Analogical Reasoning and Proof Discovery (BB, SC, WP), pp. 454–468.
CADECADE-1988-BrownPP #automation #named #reasoning
ZPLAN: An Automatic Reasoning System for Situations (FMB, SSP, JP), pp. 758–759.
CADECADE-1988-Kafl #linear #reasoning
Reasoning about Systems of Linear Inequalities (TK), pp. 563–572.
CADECADE-1988-SubrahmanianU #approximate #consistency #named #reasoning
QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems (VSS, ZDU), pp. 746–747.
CADECADE-1988-Wang #reasoning
Elements of Z-Module Reasoning (TCW), pp. 21–40.
ICLPJICSCP-1988-ElkanM88 #automation #induction #logic programming #reasoning #source code
Automated Inductive Reasoning about Logic Programs (CE, DAM), pp. 876–892.
LICSLICS-1988-FaginHM #logic #reasoning
A Logic for Reasoning about Probabilities (RF, JYH, NM), pp. 410–421.
HCIHCI-CE-1987-Owen #reasoning
Direct Manipulation and Procedural Reasoning (DO), pp. 349–356.
HCIHCI-CE-1987-YoonH #fault
A Deep-Reasoning Aid for Deep-Reasoning Fault Diagnosis (WCY, JMH), pp. 297–304.
CSLCSL-1987-Rasiowa #approximate #logic #reasoning
Logic of Approximation Reasoning (HR), pp. 188–210.
LICSLICS-1987-SistlaG #process #reasoning
Reasoning with Many Processes (APS, SMG), pp. 138–152.
DACDAC-1986-BapatV #logic #reasoning #using
Reasoning about digital systems using temporal logic (SB, GV), pp. 215–219.
STOCSTOC-1986-CourcoubetisVW #concurrent #reasoning #source code
Reasoning about Fair Concurrent Programs (CC, MYV, PW), pp. 283–294.
STOCSTOC-1986-HalpernV #complexity #reasoning
The Complexity of Reasoning about Knowledge and Time: Extended Abstract (JYH, MYV), pp. 304–315.
CADECADE-1986-Brown #reasoning
A Commonsense Theory of Nonmonotonic Reasoning (FMB), pp. 209–228.
CADECADE-1986-DickC #automation #empirical #equation #reasoning #using
Using Narrowing to do Isolation in Symbolic Equation Solving — An Experiment in Automated Reasoning (AJJD, JC), pp. 272–280.
CADECADE-1986-Kafl #linear #reasoning #verification
Program Verifier “Tatzelwurm”: Reasoning about Systems of Linear Inequalities (TK), pp. 300–305.
ICLPICLP-1986-GoebelFP86 #approach #constraints #reasoning #using
Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning (RG, KF, DP), pp. 211–222.
ICLPICLP-1986-RawlingsTNFS86 #prolog #using
Using Prolog to Represent and Reason about Protein Structure (CJR, WRT, JN, JF, MJES), pp. 536–543.
LICSLICS-1986-FelleisenFKD #continuation #reasoning
Reasoning with Continuations (MF, DPF, EEK, BFD), pp. 131–141.
LICSLICS-1986-KapurM #induction #reasoning #specification
Inductive Reasoning with Incomplete Specifications (Preliminary Report) (DK, DRM), pp. 367–377.
VLDBVLDB-1985-SheardS #automation #complexity #database #reasoning
Coping with Complexity in Automated Reasoning about Database Systems (TS, DWS), pp. 426–435.
POPLPOPL-1985-Leivant #imperative #logic #reasoning #source code
Logical and Mathematical Reasoning about Imperative Programs (DL), pp. 132–140.
DACDAC-1984-WojcikKS #automation #design #reasoning #verification
A formal design verification system based on an automated reasoning system (ASW, JKJ, NCES), pp. 641–647.
STOCSTOC-1984-Gerth #composition #how #logic
Transition Logic: How to Reason About Temporal Properties in a Compositional Way (RG), pp. 39–50.
ICSEICSE-1984-Boydston #programming #question
Programming Cost Estimate: Is It Reasonable? (REB), pp. 153–161.
CADECADE-1984-LuskO #automation #reasoning #research
A Portable Environment for Research in Automated Reasoning (ELL, RAO), pp. 43–52.
CADECADE-1984-Schmidt #programming #reasoning
A Programming Notation for Tactical Reasoning (DAS), pp. 445–459.
STOCSTOC-1983-HalpernR #logic
A Logic to Reason about Likelihood (JYH, MOR), pp. 310–319.
ICALPICALP-1983-LehmannS #reasoning
Reasoning with Time and Chance (Extended Abstract) (DJL, SS), pp. 445–457.
POPLPOPL-1983-Lamport #reasoning
Reasoning About Nonatomic Operations (LL), pp. 28–37.
ICSEICSE-1982-Bauer #reasoning #specification
From Specifications to Machine Code: Program Construction through Formal Reasoning (FLB), pp. 84–93.
CADECADE-1980-AielloW #algebra #reasoning #using
Using Meta-Theoretic Reasoning to do Algebra (LCA, RWW), pp. 1–13.
CADECADE-1980-Friedman #reasoning
Reasoning by Plausible Inference (LF), pp. 126–142.
POPLPOPL-1978-Oppen #data type #reasoning #recursion
Reasoning about Recursively Defined Data Structures (DCO), pp. 151–157.
ICALPICALP-1976-Kroger #logic #reasoning #source code
Logical Rules of Natural Reasoning about Programs (FK), pp. 87–98.
ICALPICALP-1976-Schwarz #proving #reasoning #source code #termination
Event Based Reasoning — A System for Proving Correct Termination of Programs (JS), pp. 131–146.
POPLPOPL-1973-WaldingerL #reasoning #source code
Reasoning About Programs (RJW, KNL), pp. 169–182.

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.