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