Stem logic$ (all stems)

4118 papers:

DAC-2015-ChenH #equivalence #logic #probability

Equivalence among stochastic logic circuits and its application (THC, JPH), p. 6.

DAC-2015-SonghoriHSK #logic #nearest neighbour #privacy #synthesis #using

Compacting privacy-preserving k-nearest neighbor search using logic synthesis (EMS, SUH, ARS, FK), p. 6.

DAC-2015-SumbulVZFP #design #in memory #synthesis

A synthesis methodology for application-specific logic-in-memory designs (HES, KV, QZ, FF, LP), p. 6.

DAC-2015-TenaceCMP #logic #synthesis

One-pass logic synthesis for graphene-based Pass-XNOR logic circuits (VT, AC, EM, MP), p. 6.

DAC-2015-WangH0LL #logic #memory management #named

ProPRAM: exploiting the transparent logic resources in non-volatile memory for near data computing (YW, YH, LZ, HL, XL), p. 6.

DATE-2015-HanyuSOMNM #architecture #in memory #paradigm #power management #reliability #towards

Spintronics-based nonvolatile logic-in-memory architecture towards an ultra-low-power and highly reliable VLSI computing paradigm (TH, DS, NO, SM, MN, AM), pp. 1006–1011.

DATE-2015-JiRML #hardware #implementation #logic #network #probability #using

A hardware implementation of a radial basis function neural network using stochastic logic (YJ, FR, CM, DJL), pp. 880–883.

DATE-2015-SaifhashemiHBB #equivalence #logic #tool support #using

Logical equivalence checking of asynchronous circuits using commercial tools (AS, HHH, PB, PAB), pp. 1563–1566.

DATE-2015-TemanKGMB #embedded #energy #logic #trade-off

Energy versus data integrity trade-offs in embedded high-density logic compatible dynamic memories (AT, GK, RG, PAM, APB), pp. 489–494.

DATE-2015-VenkatesanVFRR #energy #logic #named

Spintastic: spin-based stochastic logic for energy-efficient computing (RV, SV, XF, KR, AR), pp. 1575–1578.

DATE-2015-ZhangYWLC #design #logic #power management

Giant spin hall effect (GSHE) logic design for low power application (YZ, BY, WW, HL, YC), pp. 1000–1005.

HT-2015-BlountMW #logic #social #web

An Investigation into the Use of Logical and Rhetorical Tactics within Eristic Argumentation on the Social Web (TB, DEM, MJW), pp. 195–199.

SIGMOD-2015-ArefCGKOPVW #design #implementation

Design and Implementation of the LogicBlox System (MA, BtC, TJG, BK, DO, EP, TLV, GW), pp. 1371–1382.

VLDB-2015-GreenOW #approach #live programming #programming

Live Programming in the LogicBlox System: A MetaLogiQL Approach (TJG, DO, GW), pp. 1782–1793.

VLDB-2015-LoroGKPB #logic

Indexing and Selecting Hierarchical Business Logic (AL, AG, DK, DP, PB), pp. 1656–1667.

VLDB-2015-ManabeT #documentation #html #logic

Extracting Logical Hierarchical Structure of HTML Documents Based on Headings (TM, KT), pp. 1606–1617.

ESOP-2015-RaadVG #concurrent #logic #named

CoLoSL: Concurrent Local Subjective Logic (AR, JV, PG), pp. 710–735.

ESOP-2015-SieczkowskiSBP #consistency #logic

A Separation Logic for Fictional Sequential Consistency (FS, KS, LB, JPP), pp. 736–761.

FoSSaCS-2015-AntonopoulosHRW #logic #realtime

Three Variables Suffice for Real-Time Logic (TA, PH, SR, JW), pp. 361–374.

FoSSaCS-2015-BagnolDS #dependence #logic #on the

On the Dependencies of Logical Rules (MB, AD, AS), pp. 436–450.

FoSSaCS-2015-BizjakB #logic #probability

Step-Indexed Logical Relations for Probability (AB, LB), pp. 279–294.

FoSSaCS-2015-BozzelliMP #logic

Unifying Hyper and Epistemic Temporal Logics (LB, BM, SP), pp. 167–182.

FoSSaCS-2015-GrelloisM #linear #logic

An Infinitary Model of Linear Logic (CG, PAM), pp. 41–55.

FoSSaCS-2015-KlinR #algebra #logic #semantics

Coalgebraic Trace Semantics via Forgetful Logics (BK, JR), pp. 151–166.

FoSSaCS-2015-Mamouras #hoare #logic #nondeterminism #synthesis

Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (KM), pp. 25–40.

FoSSaCS-2015-SchubertUZ #first-order #logic #on the

On the Mints Hierarchy in First-Order Intuitionistic Logic (AS, PU, KZ), pp. 451–465.

FoSSaCS-2015-Vakar #category theory #framework #linear #logic #semantics

A Categorical Semantics for Linear Logical Frameworks (MV), pp. 102–116.

PLDI-2015-TassarottiDV #logic #memory management #verification

Verifying read-copy-update in a logic for weak memory (JT, DD, VV), pp. 110–120.

CIAA-2015-Bollig #automaton #concurrent #logic #modelling

Automata and Logics for Concurrent Systems: Five Models in Five Pages (BB), pp. 3–12.

DLT-2015-Perevoshchikov #logic

Weight Assignment Logic (VP), pp. 413–425.

ICALP-v2-2015-MichalewskiM #higher-order #logic #monad #quantifier

Baire Category Quantifier in Monadic Second Order Logic (HM, MM), pp. 362–374.

LATA-2015-BabariD #automaton #logic #theorem

A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (PB, MD), pp. 703–715.

LATA-2015-BoiretHNT #constraints #logic

Logics for Unordered Trees with Data Constraints on Siblings (AB, VH, JN, RT), pp. 175–187.

LATA-2015-BresolinMMSS #complexity #logic #on the

On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures (DB, DDM, AM, PS, GS), pp. 511–523.

FM-2015-DangDP #logic #parametricity #specification #synthesis

Parameter Synthesis Through Temporal Logic Specifications (TD, TD, CP), pp. 213–230.

FM-2015-SchmittU #axiom #first-order #logic

Axiomatization of Typed First-Order Logic (PHS, MU), pp. 470–486.

CSCW-2015-MazmanianEH #logic

Circumscribed Time and Porous Time: Logics as a Way of Studying Temporality (MM, IE, EH), pp. 1453–1464.

CAiSE-2015-Batoulis0BDW #logic #modelling #process

Extracting Decision Logic from Process Models (KB, AM, EB, GD, MW), pp. 349–366.

ICEIS-v1-2015-Castanon-PugaSG #algorithm #data mining #fuzzy #logic #mining #mobile #using

Hybrid-Intelligent Mobile Indoor Location Using Wi-Fi Signals — Location Method Using Data Mining Algorithms and Type-2 Fuzzy Logic Systems (MCP, ASC, CGP, GLS, MFP, EAT), pp. 609–615.

ICEIS-v2-2015-PereiraD #formal method #logic #semantics #uml #using

Systematic Mapping — Formalization of UML Semantics using Temporal Logic (VP, MED), pp. 486–493.

PPDP-2015-BartakDZ #logic programming #modelling #on the #problem

On modeling planning problems in tabled logic programming (RB, AD, NFZ), pp. 31–42.

PPDP-2015-Brock-Nannestad #logic

Computation in focused intuitionistic logic (TBN, NG, DG), pp. 43–54.

PPDP-2015-HaarPRV #algebra #concurrent #logic

An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic (SH, SP, CR, FDV), pp. 161–172.

PPDP-2015-Miller #logic programming #proving

Proof checking and logic programming (DM), p. 18.

PPDP-2015-RondogiannisT #logic programming #using

Expressing preferences in logic programming using an infinite-valued logic (PR, AT), pp. 208–219.

PADL-2015-BassedaK #logic #transaction #using

State Space Planning Using Transaction Logic (RB, MK), pp. 17–33.

PADL-2015-CruzR #compilation #linear #logic programming #on the #source code

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities (FC, RR), pp. 34–49.

PADL-2015-Tarau #combinator #generative #logic programming #normalisation #on the #type inference

On Logic Programming Representations of λ Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization (PT), pp. 115–131.

ICSE-v1-2015-RegisDDA #logic #specification

Specifying Event-Based Systems with a Counting Fluent Temporal Logic (GR, RD, ND, NA), pp. 733–743.

SOSP-2015-ChenZCCKZ #file system #hoare #logic #using

Using Crash Hoare logic for certifying the FSCQ file system (HC, DZ, TC, AC, MFK, NZ), pp. 18–37.

CADE-2015-BalbianiB #composition #logic #parallel

Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (PB, JB), pp. 539–554.

CADE-2015-EchenimPT #equation #generative #logic #quantifier

Quantifier-Free Equational Logic and Prime Implicate Generation (ME, NP, ST), pp. 311–325.

CADE-2015-HouGT #automation #logic #proving #theorem proving

Automated Theorem Proving for Assertions in Separation Logic with All Connectives (ZH, RG, AT), pp. 501–516.

CADE-2015-Platzer #calculus #difference #logic

A Uniform Substitution Calculus for Differential Dynamic Logic (AP), pp. 467–481.

CSL-2015-AminiE #linear #logic #on the

On Classical PCF, Linear Logic and the MIX Rule (SA, TE), pp. 582–596.

CSL-2015-BaazF #logic

Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic (MB, CGF), pp. 94–109.

CSL-2015-BreuvartP #linear #logic #modelling #relational #semantics

Modelling Coeffects in the Relational Semantics of Linear Logic (FB, MP), pp. 567–581.

CSL-2015-BrotherstonV #logic

Sub-classical Boolean Bunched Logics and the Meaning of Par (JB, JV), pp. 325–342.

CSL-2015-CarapelleL #constraints #logic

Temporal Logics with Local Constraints (Invited Talk) (CC, ML), pp. 2–13.

CSL-2015-Charatonik0 #linear #logic #order

Two-variable Logic with Counting and a Linear Order (WC, PW), pp. 631–647.

CSL-2015-CranenLW #fixpoint #logic

Evidence for Fixpoint Logic (SC, BL, TACW), pp. 78–93.

CSL-2015-GradelP #exclamation #logic #rank

Rank Logic is Dead, Long Live Rank Logic! (EG, WP), pp. 390–404.

CSL-2015-GrelloisM #higher-order #linear #logic #model checking #relational #semantics

Relational Semantics of Linear Logic and Higher-order Model Checking (CG, PAM), pp. 260–276.

CSL-2015-MazowieckiR #automaton #logic #towards

Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata (FM, CR), pp. 144–159.

CSL-2015-MogaveroP #first-order #logic

Binding Forms in First-Order Logic (FM, GP), pp. 648–665.

CSL-2015-MolinariMP #logic #model checking

A Model Checking Procedure for Interval Temporal Logics based on Track Representatives (AM, AM, AP), pp. 193–210.

CSL-2015-Paperman #first-order #logic

Finite-Degree Predicates and Two-Variable First-Order Logic (CP), pp. 616–630.

CSL-2015-SanoV #axiom #dependence #logic

Axiomatizing Propositional Dependence Logics (KS, JV), pp. 292–307.

CSL-2015-SchwentickVZ #source code #static analysis

Static Analysis for Logic-based Dynamic Programs (TS, NV, TZ), pp. 308–324.

ICLP-2015-AlrajehG #approach #comprehension

A Logic-Based Approach to Understanding Lone-Actor Terrorism (DA, PG).

ICLP-2015-AngelopoulosG #approach #biology #database #logic

A Logical Approach to Working with Biological Databases (NA, GG).

ICLP-2015-CruzRG #data-driven #logic programming #parallel #source code #thread

Thread-Aware Logic Programming for Data-Driven Parallel Programs (FC, RR, SCG).

ICLP-2015-Dovier #bisimulation #logic programming

Logic Programming and Bisimulation (AD).

ICLP-2015-Hallen #data mining #higher-order #logic #mining #specification

Higher Order Support in Logic Specification Languages for Data Mining Applications (MvdH).

ICLP-2015-JohannKK #logic programming

Structural Resolution for Logic Programming (PJ, EK, VK).

ICLP-2015-LeeMW #logic #markov #semantics

Markov Logic Style Weighted Rules under the Stable Model Semantics (JL, YM, YW).

ICLP-2015-VolkerI #automaton #logic programming

Logic Programming for Cellular Automata (MV, KI).

ICLP-2015-YangSZ #bottom-up #evaluation #logic programming #manycore #parallel #source code

Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines (MY, AS, CZ).

ICLP-2015-Zaniolo #algorithm #logic programming #source code

Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs (CZ).

ICLP-J-2015-AguadoCPPV #equilibrium #logic #semantics

A denotational semantics for equilibrium logic (FA, PC, DP, GP, CV), pp. 620–634.

ICLP-J-2015-BlackmoreRE #approach #compilation #effectiveness #embedded #logic programming #predict

A logic programming approach to predict effective compiler settings for embedded software (CB, OR, KE), pp. 481–494.

ICLP-J-2015-BogaertsB #approximate #compilation #fixpoint #logic programming #source code #using

Knowledge compilation of logic programs using approximation fixpoint theory (BB, GVdB), pp. 464–480.

ICLP-J-2015-CabalarDV #encoding #equilibrium #logic

An infinitary encoding of temporal equilibrium logic (PC, MD, CV), pp. 666–680.

ICLP-J-2015-CristiaRF #constraints #logic programming #set

Adding partial functions to Constraint Logic Programming with sets (MC, GR, CSF), pp. 651–665.

ICLP-J-2015-DassevilleHJD #composition #framework #logic #semantics

Semantics of templates in a compositional framework for building logics (ID, MvdH, GJ, MD), pp. 681–695.

ICLP-J-2015-FichteTW #logic programming #source code

Dual-normal logic programs — the forgotten class (JKF, MT, SW), pp. 495–510.

ICLP-J-2015-MesnardPV #logic programming #testing

Concolic testing in logic programming (FM, ÉP, GV), pp. 711–725.

ICLP-J-2015-ZhouBD #logic programming

Planning as tabled logic programming (NFZ, RB, AD), pp. 543–558.

ICST-2015-RaposD #execution #fuzzy #logic #symbolic computation #testing #uml #using

Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases (EJR, JD), pp. 1–10.

LICS-2015-BenediktCB #decidability #fixpoint #logic

Interpolation with Decidable Fixpoint Logics (MB, BtC, MVB), pp. 378–389.

LICS-2015-BenediktCCB #bound #complexity #logic

The Complexity of Boundedness for Guarded Logics (MB, BtC, TC, MVB), pp. 293–304.

LICS-2015-BozzelliP #complexity #equilibrium #logic #on the

On the Complexity of Temporal Equilibrium Logic (LB, DP), pp. 645–656.

LICS-2015-CanavoiGLP #fixpoint #logic

Defining Winning Strategies in Fixed-Point Logic (FC, EG, SL, WP), pp. 366–377.

LICS-2015-Carreiro #bisimulation #invariant #logic

PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic (FC), pp. 341–352.

LICS-2015-EnqvistSV #algebra #bisimulation #higher-order #logic #monad

Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras (SE, FS, YV), pp. 353–365.

LICS-2015-FigueiraL #graph #logic #performance #query

Path Logics for Querying Graphs: Combining Expressiveness and Efficiency (DF, LL), pp. 329–340.

LICS-2015-HeijltjesH #bound #complexity #logic #petri net #proving

Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets (WH, DJDH), pp. 80–91.

LICS-2015-KrebsV #bound #logic #refinement

Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth (AK, OV), pp. 689–700.

LICS-2015-OHearn #category theory #facebook #logic

From Categorical Logic to Facebook Engineering (PWO), pp. 17–20.

RTA-2015-DasS #linear #logic #term rewriting

No complete linear term rewriting system for propositional logic (AD, LS), pp. 127–142.

RTA-2015-Rosu #logic

Matching Logic — Extended Abstract (Invited Talk) (GR), pp. 5–21.

RTA-2015-Talcott #execution #formal method #logic #modelling

Executable Formal Models in Rewriting Logic (Invited Talk) (CLT), p. 22.

TLCA-2015-BiernackiP #logic #type system

Logical Relations for Coherence of Effect Subtyping (DB, PP), pp. 107–122.

ASE-2014-DeweyRH #constraints #fuzzing #logic programming #using

Language fuzzing using constraint logic programming (KD, JR, BH), pp. 725–730.

ASE-2014-Floridi #design #logic

Keynote talk: the logic of information design (LF), pp. 1–2.

DAC-2014-AmaruGM #algorithm #graph #logic #novel #optimisation #performance

Majority-Inverter Graph: A Novel Data-Structure and Algorithms for Efficient Logic Optimization (LGA, PEG, GDM), p. 6.

DAC-2014-LinWC #data mining #design #logic #mining #named #power management #synthesis

C-Mine: Data Mining of Logic Common Cases for Low Power Synthesis of Better-Than-Worst-Case Designs (CHL, LW, DC), p. 6.

DAC-2014-RudraDNH #case study #design #logic

Designing Stealthy Trojans with Sequential Logic: A Stream Cipher Case Study (MRR, NAD, VN, DHKH), p. 4.

DATE-2014-AdlerAABG #debugging #logic

Facilitating timing debug by logic path correspondence (OA, EA, IA, IB, IG), pp. 1–6.

DATE-2014-BeneventiBVDB #analysis #identification #logic

Thermal analysis and model identification techniques for a logic + WIDEIO stacked DRAM test chip (FB, AB, PV, DD, LB), pp. 1–4.

DATE-2014-BhuniaRHRYMF #logic #towards

Toward ultralow-power computing at exteme with silicon carbide (SiC) nanoelectromechanical logic (SB, VR, TH, SR, RY, MM, PXLF), pp. 1–6.

DATE-2014-DinhYH #design #logic

A logic integrated optimal pin-count design for digital microfluidic biochips (TAD, SY, TYH), pp. 1–6.

DATE-2014-KahngK #logic #memory management #scheduling

Co-optimization of memory BIST grouping, test scheduling, and logic placement (ABK, IK), pp. 1–6.

DATE-2014-LinWCH #logic

Rewiring for threshold logic circuit minimization (CCL, CYW, YCC, CYH), pp. 1–6.

DATE-2014-LiuW #configuration management #design #embedded #logic #obfuscation

Embedded reconfigurable logic for ASIC design obfuscation against supply chain attacks (BL, BW), pp. 1–6.

DATE-2014-PerriconeHNN #3d #case study #design #logic

Design of 3D nanomagnetic logic circuits: A full-adder case study (RP, XSH, JN, MTN), pp. 1–6.

DATE-2014-PrenatPLGJDSPN #logic #power management

Magnetic memories: From DRAM replacement to ultra low power logic chips (GP, GdP, CL, OG, KJ, BD, RCS, ILP, JPN), p. 1.

DATE-2014-PuEMG #logic #power management #scalability #synthesis

Logic synthesis of low-power ICs with ultra-wide voltage and frequency scaling (YP, JDE, MM, JPdG), pp. 1–2.

DATE-2014-TaouilMHM #3d

Interconnect test for 3D stacked memory-on-logic (MT, MM, SH, EJM), pp. 1–6.

DATE-2014-TenaceCMP #logic

Pass-XNOR logic: A new logic style for P-N junction based graphene circuits (VT, AC, EM, MP), pp. 1–4.

DATE-2014-YangMPOP #logic #using

Complementary resistive switch based stateful logic operations using material implication (YY, JM, DKP, MO, SP), pp. 1–4.

DATE-2014-ZangenehJ #design #feedback #logic #using

Sub-threshold logic circuit design using feedback equalization (MZ, AJ), pp. 1–6.

VLDB-2015-ZengPP14 #induction #logic programming #named #scalability

QuickFOIL: Scalable Inductive Logic Programming (QZ, JMP, DP), pp. 197–208.

FoSSaCS-2014-AntonopoulosGHKO #induction #logic #problem

Foundations for Decision Problems in Separation Logic with General Inductive Predicates (TA, NG, CH, MIK, JO), pp. 411–425.

FoSSaCS-2014-Cirstea #algebra #approach #linear #logic

A Coalgebraic Approach to Linear-Time Logics (CC), pp. 426–440.

TACAS-2014-BozzanoCGT #component #design #detection #fault #identification #logic #using

Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic (MB, AC, MG, ST), pp. 326–340.

TACAS-2014-ReinbacherRS #health #realtime #runtime

Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems (TR, KYR, JS), pp. 357–372.

WRLA-2014-AguirreMPP #logic #maude

Conditional Narrowing Modulo in Rewriting Logic and Maude (LA, NMO, MP, IP), pp. 80–96.

PEPM-2014-HanusS #analysis #composition #functional #logic programming #source code

A modular and generic analysis server system for functional logic programs (MH, FS), pp. 181–188.

PLDI-2014-PekQM #c #data type #logic #proving #using

Natural proofs for data structure manipulation in C using separation logic (EP, XQ, PM), p. 46.

FLOPS-2014-DunduaFKM #constraints #logic programming #re-engineering #semantics

Constraint Logic Programming for Hedges: A Semantic Reconstruction (BD, MF, TK, MM), pp. 285–301.

DLT-2014-Weil #algebra #logic

From Algebra to Logic: There and Back Again The Story of a Hierarchy — (Invited Paper) (PW), pp. 275–278.

ICALP-v2-2014-BundalaO #complexity #on the

On the Complexity of Temporal-Logic Path Checking (DB, JO), pp. 86–97.

ICALP-v2-2014-DrosteP #automaton #distance #logic #theorem

A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic (MD, VP), pp. 171–182.

ICALP-v2-2014-JungLGS #first-order #logic #probability

Monodic Fragments of Probabilistic First-Order Logic (JCJ, CL, SG, LS), pp. 256–267.

LATA-2014-DrosteD #automaton #infinity #logic #word

Weighted Automata and Logics for Infinite Nested Words (MD, SD), pp. 323–334.

LATA-2014-FinkbeinerT #linear #logic #modelling

Counting Models of Linear-Time Temporal Logic (BF, HT), pp. 360–371.

LATA-2014-KlaudelKD #algebra #logic #semantics

Interval Temporal Logic Semantics of Box Algebra (HK, MK, ZD), pp. 441–452.

FM-2014-GunadiT #android #case study #logic #metric #monitoring #operating system #performance #runtime

Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System (HG, AT), pp. 296–311.

FM-2014-MitschQP #hybrid #logic #reasoning #refactoring #refinement

Refactoring, Refinement, and Reasoning — A Logical Characterization for Hybrid Systems (SM, JDQ, AP), pp. 481–496.

FM-2014-SanatiMM #decidability #guidelines #logic #metric #using

Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic (MYS, WM, TSEM), pp. 611–626.

SEFM-2014-BianculliGK #logic #metric #pipes and filters #using

Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce (DB, CG, SK), pp. 144–158.

SEFM-2014-SznukS #education #hoare #logic #tool support

Tool Support for Teaching Hoare Logic (TS, AS), pp. 332–346.

SEFM-2014-TatsutaC #induction #logic #verification

Completeness of Separation Logic with Inductive Definitions for Program Verification (MT, WNC), pp. 20–34.

CHI-2014-VoidaDHM #logic

Shared values/conflicting logics: working around e-government systems (AV, LD, GRH, MM), pp. 3583–3592.

CSCW-2014-PineM #logic #problem

Institutional logics of the EMR and the problem of “perfect” but inaccurate accounts (KHP, MM), pp. 283–294.

HCI-AS-2014-DiasDH #fuzzy #interactive #modelling #quality #using

Exploring B-Learning Scenarios Using Fuzzy Logic-Based Modeling of Users’ LMS Quality of Interaction in Ergonomics and Psychomotor Rehabilitation Academic Courses (SBD, JAD, LJH), pp. 233–243.

LCT-NLE-2014-PaisT #deduction #first-order #logic #novel #proving

Novel Didactic Proof Assistant for First-Order Logic Natural Deduction (JP, AT), pp. 441–451.

HILT-2014-Ball #compilation #correctness #logic #research #verification

Correctness via compilation to logic: a decade of verification at microsoft research (TB), pp. 69–70.

CAiSE-2014-StulpnagelOS #logic #markov #network #risk management

IT Risk Management with Markov Logic Networks (JvS, JO, JS), pp. 301–315.

ICEIS-v1-2014-DominguezAERLE #data mining #fuzzy #logic #mining #roadmap #using

Advances in the Decision Making for Treatments of Chronic Patients Using Fuzzy Logic and Data Mining Techniques (MD, JA, JGE, IMR, JMLS, MJE), pp. 325–330.

ICML-c1-2014-MeiZZ #first-order #logic #modelling #robust

Robust RegBayes: Selectively Incorporating First-Order Logic Domain Knowledge into Bayesian Models (SM, JZ, JZ), pp. 253–261.

KEOD-2014-AndreasenN #embedded #knowledge base #logic #ontology

A Case for Embedded Natural Logic for Ontological Knowledge Bases (TA, JFN), pp. 423–427.

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.

KEOD-2014-TongphuS #logic #standard

A Non-standard Instance Checking for the Description Logic ELH (ST, BS), pp. 67–74.

KR-2014-AsuncionZZ #first-order #logic programming #semantics #source code

Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness (VA, YZ, HZ).

KR-2014-BaazEV #logic

Vienna Summer of Logic (MB, TE, HV).

KR-2014-Belardinelli #logic #satisfiability

Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux (FB).

KR-2014-BienvenuCOS #logic #query

Nested Regular Path Queries in Description Logics (MB, DC, MO, MS).

KR-2014-BorgwardtDP #decidability #logic

Decidable Gödel Description Logics without the Finitely-Valued Model Property (SB, FD, RP).

KR-2014-BotoevaKRWZ #knowledge base #logic #query

Query Inseparability for Description Logic Knowledge Bases (EB, RK, VR, FW, MZ).

KR-2014-CharalambidisR #higher-order #logic programming

Constructive Negation in Extensional Higher-Order Logic Programming (AC, PR).

KR-2014-DoutreHP #framework #logic

A Dynamic Logic Framework for Abstract Argumentation (SD, AH, LP).

KR-2014-GarciaLS #finite #logic #reasoning

Finite Model Reasoning in Horn Description Logics (YAIG, CL, TS).

KR-2014-GottlobHKL #logic #semantics

Stable Model Semantics for Guarded Existential Rules and Description Logics (GG, AH, CK, TL).

KR-2014-Gutierrez-BasultoJ0 #branch #lightweight #logic

Lightweight Description Logics and Branching Time: A Troublesome Marriage (VGB, JCJ, TS).

KR-2014-Herzig #logic

Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (AH).

KR-2014-HuangM #logic

A Temporal Logic of Strategic Knowledge (XH, RvdM).

KR-2014-KonevLOW #learning #lightweight #logic #ontology

Exact Learning of Lightweight Description Logic Ontologies (BK, CL, AO, FW).

KR-2014-KrotzschR #logic

Nominal Schemas in Description Logics: Complexities Clarified (MK, SR).

KR-2014-Lin #first-order #formal method #linear #logic #source code

A Formalization of Programs in First-Order Logic with a Discrete Linear Order (FL).

KR-2014-LudwigK #difference #logic

Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).

KR-2014-Potyka #consistency #linear #logic #nondeterminism #probability #source code

Linear Programs for Measuring Inconsistency in Probabilistic Logics (NP).

KR-2014-RibeiroW #logic

Minimal Change in AGM Revision for Non-Classical Logics (MMR, RW).

KR-2014-ShenZ #canonical #logic programming #source code

Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas (YS, XZ).

KR-2014-Thimm #aspect-oriented #information management #java #library #logic #named #representation

Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (MT).

KR-2014-Zhou #first-order #logic #revisited

First-Order Default Logic Revisited (YZ).

ECOOP-2014-PintoDG #abstraction #logic #named

TaDA: A Logic for Time and Data Abstraction (PdRP, TDY, PG), pp. 207–231.

Onward-2014-Skene #logic #programming language

Description Logic as Programming Language (JS), pp. 143–162.

LOPSTR-2014-AriasLM #compilation #constraints #declarative #logic programming

Declarative Compilation for Constraint Logic Programming (EJGA, JL, JMC), pp. 299–316.

LOPSTR-2014-ChowdhuryLCKY #approximate #case study #logic programming #polynomial #semantics #source code

Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies (MSC, FL, WC, AK, JHY), pp. 279–296.

LOPSTR-2014-Drabent #logic programming #on the #source code

On Completeness of Logic Programs (WD), pp. 261–278.

PPDP-2014-CruzRG #design #implementation #linear #logic programming #parallel #source code #thread #virtual machine

Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs (FC, RR, SCG), pp. 43–54.

PPDP-2014-Haemmerle #constraints #logic programming #on the

On Combining Backward and Forward Chaining in Constraint Logic Programming (RH), pp. 213–224.

PPDP-2014-LucasM #declarative #logic #proving #source code #termination

Proving Operational Termination of Declarative Programs in General Logics (SL, JM), pp. 111–122.

PPDP-2014-MehnerSSV #functional #parametricity #proving #theorem

Parametricity and Proving Free Theorems for Functional-Logic Languages (SM, DS, LS, JV), pp. 19–30.

PPDP-2014-SchrijversWDD #functional #heuristic #implementation #logic programming #specification

Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation (TS, NW, BD, BD), pp. 259–270.

PADL-2014-AreiasR #correctness #logic programming #on the #performance #source code

On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs (MA, RR), pp. 168–183.

PADL-2014-SaptawijayaP #logic programming #modelling #towards

Towards Modeling Morality Computationally with Logic Programming (AS, LMP), pp. 104–119.

POPL-2014-Benton0N #logic

Abstract effects and proof-relevant logical relations (NB, MH, VN), pp. 619–632.

POPL-2014-HouCGT #logic #proving

Proof search for propositional abstract separation logics via labelled sequents (ZH, RC, RG, AT), pp. 465–476.

POPL-2014-LeeP #logic #proving

A proof system for separation logic with magic wand (WL, SP), pp. 477–490.

SAC-2014-ShahriarH #assessment #fuzzy #injection #risk management #using

Risk assessment of code injection vulnerabilities using fuzzy logic-based system (HS, HH), pp. 1164–1170.

PPoPP-2014-DrachslerVY #concurrent #logic

Practical concurrent binary search trees via logical ordering (DD, MTV, EY), pp. 343–356.

PPoPP-2014-IsaacsGBBSH #execution #identification #logic #parallel

Extracting logical structure and identifying stragglers in parallel execution traces (KEI, TG, AB, PTB, MS, BH), pp. 397–398.

CAV-2014-CermakLMM #logic #model checking #named #specification #verification

MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications (PC, AL, FM, AM), pp. 525–532.

CAV-2014-PaolettiYHWK #logic

Analyzing and Synthesizing Genomic Logic Functions (NP, BY, YH, CMW, HK), pp. 343–357.

CAV-2014-PiskacWZ #automation #logic

Automating Separation Logic with Trees and Data (RP, TW, DZ), pp. 711–728.

ICLP-J-2014-BartakZ #logic programming #problem #using

Using Tabled Logic Programming to Solve the Petrobras Planning Problem (RB, NFZ), pp. 697–710.

ICLP-J-2014-BellodiLRCZ #logic programming #probability

Lifted Variable Elimination for Probabilistic Logic Programming (EB, EL, FR, VSC, RZ), pp. 681–695.

ICLP-J-2014-CabalarFF #graph #logic programming #source code

Causal Graph Justifications of Logic Programs (PC, JF, MF), pp. 603–618.

ICLP-J-2014-CharalambidisER #higher-order #logic programming #semantics

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (AC, ZÉ, PR), pp. 725–737.

ICLP-J-2014-CominiTV #linear #logic #using

Abstract Diagnosis for tccp using a Linear Temporal Logic (MC, LT, AV), pp. 787–801.

ICLP-J-2014-CruzRGP #concurrent #graph #linear #logic programming #programming language

A Linear Logic Programming Language for Concurrent Programming over Graph Structures (FC, RR, SCG, FP), pp. 493–507.

ICLP-J-2014-GelfondZ #logic programming #source code

Vicious Circle Principle and Logic Programs with Aggregates (MG, YZ), pp. 587–601.

ICLP-J-2014-LagerW #logic programming #named #web

Pengines: Web Logic Programming Made Easy (TL, JW), pp. 539–552.

ICLP-J-2014-SerranoLH #abstract interpretation #analysis #logic programming #resource management #source code #using

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (AS, PLG, MVH), pp. 739–754.

IJCAR-2014-Blanchette0T #induction #logic

Unified Classical Logic Completeness — A Coinductive Pearl (JCB, AP, DT), pp. 46–60.

IJCAR-2014-BozzelliS #linear #logic

Visibly Linear Temporal Logic (LB, CS), pp. 418–433.

IJCAR-2014-CerritoDG #atl #logic #satisfiability #testing

Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (SC, AD, VG), pp. 277–291.

IJCAR-2014-CeylanP #logic

The Bayesian Description Logic ℬℰℒ (IIC, RP), pp. 480–494.

IJCAR-2014-Cortier #how #logic

Electronic Voting: How Logic Can Help (VC), pp. 16–25.

IJCAR-2014-EchenimPT #equation #logic

A Rewriting Strategy to Generate Prime Implicates in Equational Logic (ME, NP, ST), pp. 137–151.

IJCAR-2014-EhlersL #approximate #finite #incremental #logic #satisfiability

A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic (RE, ML), pp. 360–366.

IJCAR-2014-Gore #fixpoint #logic #ltl

And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL (RG), pp. 26–45.

IJCAR-2014-GoreTW #logic #proving #theorem proving #using

A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description (RG, JT, JW), pp. 262–268.

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.

IJCAR-2014-HetzlLRTW #logic #quantifier #similarity

Introducing Quantified Cuts in Logic with Equality (SH, AL, GR, JT, DW), pp. 240–254.

IJCAR-2014-JeanninP #difference #hybrid #logic #named

dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.

IJCAR-2014-Lindblad #calculus #higher-order #logic

A Focused Sequent Calculus for Higher-Order Logic (FL), pp. 61–75.

IJCAR-2014-NalonMD #confluence #logic

Clausal Resolution for Modal Logics of Confluence (CN, JM, CD), pp. 322–336.

IJCAR-2014-OlivettiP #calculus #implementation #logic #named

NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics (NO, GLP), pp. 511–518.

IJCAR-2014-Otten #first-order #logic #named #proving

MleanCoP: A Connection Prover for First-Order Modal Logic (JO), pp. 269–276.

IJCAR-2014-PapacchiniS #generative #logic

Terminating Minimal Model Generation Procedures for Propositional Modal Logics (FP, RAS), pp. 381–395.

IJCAR-2014-SteigmillerGL #algorithm #logic

Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures (AS, BG, TL), pp. 449–463.

IJCAR-2014-StumpST #framework #logic #named

StarExec: A Cross-Community Infrastructure for Logic Solving (AS, GS, CT), pp. 367–373.

LICS-CSL-2014-AsarinBDDM #behaviour #logic

Asymptotic behaviour in temporal logic (EA, MB, AD, CD, CM), p. 9.

LICS-CSL-2014-BaierKKW #complexity #decidability #linear #logic #monitoring

Weight monitoring with linear temporal logic: complexity and decidability (CB, JK, SK, SW), p. 10.

LICS-CSL-2014-BarceloM #combinator #graph #logic #word

Graph logics with rational relations: the role of word combinatorics (PB, PM), p. 10.

LICS-CSL-2014-BenediktCB #effectiveness #logic

Effective interpolation and preservation in guarded logics (MB, BtC, MVB), p. 10.

LICS-CSL-2014-BlumensathCKPB #automaton #infinity #logic

Two-way cost automata and cost logics over infinite trees (AB, TC, DK, PP, MVB), p. 9.

LICS-CSL-2014-Bollig #automaton #communication #logic

Logic for communicating automata with parameterized topology (BB), p. 10.

LICS-CSL-2014-BolligGMZ #automaton #logic

Logical characterization of weighted pebble walking automata (BB, PG, BM, MZ), p. 10.

LICS-CSL-2014-BovaGS #logic #model checking #order #set

Model checking existential logic on partially ordered sets (SB, RG, SS), p. 10.

LICS-CSL-2014-BrotherstonFPG #induction #logic #satisfiability

A decision procedure for satisfiability in separation logic with inductive predicates (JB, CF, JANP, NG), p. 10.

LICS-CSL-2014-CharatonikKM #decidability #logic #transitive

Decidability of weak logics with deterministic transitive closure (WC, EK, FM), p. 10.

LICS-CSL-2014-DemriD #logic

Expressive completeness of separation logic with two variables and no separating conjunction (SD, MD), p. 10.

LICS-CSL-2014-FigueiraL #logic

Pattern logics and auxiliary relations (DF, LL), p. 10.

LICS-CSL-2014-Fisher #biology #comprehension #logic

Understanding biology through logic (JF), p. 1.

LICS-CSL-2014-GottlobM #bound #logic #problem

Achieving new upper bounds for the hypergraph duality problem through logic (GG, EM), p. 10.

LICS-CSL-2014-GuenotS #logic #normalisation #symmetry

Symmetric normalisation for intuitionistic logic (NG, LS), p. 10.

LICS-CSL-2014-PlaceZ #first-order #logic #regular expression

Separating regular languages with first-order logic (TP, MZ), p. 10.

LICS-CSL-2014-Pratt-Hartmann #equivalence #logic

Logics with counting and equivalence (IPH), p. 10.

RTA-TLCA-2014-Schmitz #logic

Implicational Relevance Logic is 2-ExpTime-Complete (SS), pp. 395–409.

RTA-TLCA-2014-StefanescuCMMSR #logic #reachability

All-Path Reachability Logic (AS, SC, RM, BMM, TFS, GR), pp. 425–440.

VMCAI-2014-DragoiHVWZ #algorithm #framework #verification

A Logic-Based Framework for Verifying Consensus Algorithms (CD, TAH, HV, JW, DZ), pp. 161–181.

VMCAI-2014-FaymonvilleFP #logic #monitoring #parametricity

Monitoring Parametric Temporal Logic (PF, BF, DP), pp. 357–375.

VMCAI-2014-Song0G #bisimulation #logic #markov #process

Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes (LS, LZ, JCG), pp. 98–117.

ASE-2013-Demasi #fault tolerance #logic #source code #specification

Synthesizing fault-tolerant programs from deontic logic specifications (RD), pp. 750–753.

DAC-2013-AmaruGM #composition #logic #named #synthesis

BDS-MAJ: a BDD-based logic synthesis tool exploiting majority logic decomposition (LGA, PEG, GDM), p. 6.

DAC-2013-LiuCHVNBP #design #energy #logic #physics

Minimum-energy state guided physical design for nanomagnet logic (SL, GC, XSH, EV, MTN, GHB, WP), p. 7.

DAC-2013-YuanX #fault #logic #low cost #named #scalability

InTimeFix: a low-cost and scalable technique for in-situ timing error masking in logic circuits (FY, QX), p. 6.

DATE-2013-AmaruGM #canonical #logic #novel #synthesis

Biconditional BDD: a novel canonical BDD for logic synthesis targeting XOR-rich circuits (LGA, PEG, GDM), pp. 1014–1017.

DATE-2013-MiryalaMCMP #configuration management #logic

A verilog-a model for reconfigurable logic gates based on graphene pn-junctions (SM, MM, AC, EM, MP), pp. 877–880.

DATE-2013-PalitHNN #design #logic

Systematic design of nanomagnet logic circuits (IP, XSH, JN, MTN), pp. 1795–1800.

DATE-2013-ParkQPC #embedded #logic #self

40.4fJ/bit/mm low-swing on-chip signaling with self-resetting logic repeaters embedded within a mesh NoC in 45nm SOI CMOS (SP, MQ, LSP, APC), pp. 1637–1642.

DATE-2013-ShafaeiSP #logic #synthesis

Reversible logic synthesis of k-input, m-output lookup tables (AS, MS, MP), pp. 1235–1240.

DATE-2013-SuR #logic

Defect-tolerant logic hardening for crossbar-based nanosystems (YS, WR), pp. 1801–1806.

DATE-2013-YakovlevVR #industrial #logic #roadmap #tool support

Advances in asynchronous logic: from principles to GALS & NoC, recent industry applications, and commercial CAD tools (AY, PV, MR), pp. 1715–1724.

ITiCSE-2013-KyrilovN #assessment #automation #first-order #information management #logic #representation

Automatic formative assessment of exercises on knowledge representation in first-order logic (AK, DCN), p. 343.

ESOP-2013-AlpuenteBFS #analysis #logic #specification

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne (MA, DB, FF, JS), pp. 121–124.

ESOP-2013-WickersonDP #logic #proving

Ribbon Proofs for Separation Logic (JW, MD, MJP), pp. 189–208.

FoSSaCS-2013-Czajka #higher-order #logic #recursion

Partiality and Recursion in Higher-Order Logic (LC0), pp. 177–192.

FoSSaCS-2013-DahlqvistP #algebra #logic

Some Sahlqvist Completeness Results for Coalgebraic Logics (FD, DP), pp. 193–208.

FoSSaCS-2013-KrebbersW #control flow #logic

Separation Logic for Non-local Control Flow and Block Scope Variables (RK, FW), pp. 257–272.

FoSSaCS-2013-Staton #algebra #logic

An Algebraic Presentation of Predicate Logic — (Extended Abstract) (SS), pp. 401–417.

FoSSaCS-2013-Strassburger #logic

Cut Elimination in Nested Sequents for Intuitionistic Modal Logics (LS), pp. 209–224.

ICSM-2013-QianPXJZ #logic #mining #programming

Mining Logical Clones in Software: Revealing High-Level Business and Programming Rules (WQ, XP, ZX, SJ, WZ), pp. 40–49.

PEPM-2013-AlpuenteFV #automation #logic #specification #using

Automatic inference of specifications using matching logic (MA, MAF, AV), pp. 127–136.

PEPM-2013-Lopez-FraguasM #evaluation #functional #type system

Typing as functional-logic evaluation (FJLF, EMM), pp. 23–32.

DLT-J-2012-HromkovicKKS13 #automaton #logic #nondeterminism #representation

Determinism vs. Nondeterminism for Two-Way Automata: Representing the Meaning of States by Logical Formulæ (JH, RK, RK, RS), pp. 955–978.

ICALP-v2-2013-BartheO #composition #difference #logic #privacy #probability #relational #source code #theorem

Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs (GB, FO), pp. 49–60.

ICALP-v2-2013-BenaimBCKLMW #complexity #finite #logic

Complexity of Two-Variable Logic on Finite Trees (SB, MB, WC, EK, RL, FM, JW), pp. 74–88.

ICALP-v2-2013-CarreiroGS #algebra #logic

Coalgebraic Announcement Logics (FC, DG, LS), pp. 101–112.

ICALP-v2-2013-Janin #algebra #automaton #logic

Algebras, Automata and Logic for Languages of Labeled Birooted Trees (DJ), pp. 312–323.

LATA-2013-MontanariS #logic #regular expression

Interval Logics and ωB-Regular Languages (AM, PS), pp. 431–443.

LATA-2013-Quaas #automaton #logic #metric #model checking

Model Checking Metric Temporal Logic over Automata with One Counter (KQ), pp. 468–479.

SEFM-2013-Klimek #logic #modelling #requirements #specification #verification

From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models (RK), pp. 61–75.

ICFP-2013-Chlipala #generative #hoare #logic #metaprogramming #verification

The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier (AC), pp. 391–402.

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.

HCI-AMTE-2013-HirataY #design pattern #logic #user interface #using

A Logical Design Method for User Interface Using GUI Design Patterns (IH, TY), pp. 361–370.

HCI-III-2013-SouiAG #adaptation #approach #design #fuzzy #logic

Fuzzy Logic Approach for Adaptive Systems Design (MS, MA, KG), pp. 141–150.

ICEIS-v1-2013-EllouzeLB #database #design #logic #object-oriented #realtime

Object-oriented Real-time Database Design based on Description Logics (ZE, NL, RB), pp. 264–271.

CIKM-2013-BailPS #logic #ontology #owl

The logical diversity of explanations in OWL ontologies (SB, BP, US), pp. 559–568.

KEOD-2013-Cruz-FilipeNG #logic programming #multi #ontology #source code

Patterns for Interfacing between Logic Programs and Multiple Ontologies (LCF, IN, GG), pp. 58–69.

MLDM-2013-LeeBZ #fuzzy #logic #multi #summary #topic #using

Multi-document Text Summarization Using Topic Model and Fuzzy Logic (SL, SB, YZ), pp. 159–168.

SIGIR-2013-AbdulahhadCB #nondeterminism #probability #question

Is uncertain logical-matching equivalent to conditional probability? (KA, JPC, CB), pp. 825–828.

ECOOP-2013-HeuleKMS #abstraction #generative #logic #verification

Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions (SH, ITK, PM, AJS), pp. 451–476.

OOPSLA-2013-VafeiadisN #concurrent #logic

Relaxed separation logic: a program logic for C11 concurrency (VV, CN), pp. 867–884.

LOPSTR-2013-AntoyJ #compilation #functional #logic

Compiling a Functional Logic Language: The Fair Scheme (SA, AJ), pp. 202–219.

LOPSTR-2013-Saeedloei #encoding #logic #π-calculus

A Logical Encoding of Timed π-Calculus (NS), pp. 164–182.

LOPSTR-2013-Seki #logic programming #model checking #source code

Extending Co-logic Programs for Branching-Time Model Checking (HS), pp. 127–144.

PPDP-2013-CalauttiGT #decidability #detection #logic programming #source code

Detecting decidable classes of finitely ground logic programs with function symbols (MC, SG, IT), pp. 239–250.

PPDP-2013-ChristiansenHRS #encapsulation #functional #logic programming #semantics #source code

A semantics for weakly encapsulated search in functional logic programs (JC, MH, FR, DS), pp. 49–60.

PPDP-2013-SimmonsZ #automaton #logic #semantics

A logical correspondence between natural semantics and abstract machines (RJS, IZ), pp. 109–119.

PADL-2013-AngelopoulosCAWCW #functional #logic programming #statistics

Integrative Functional Statistics in Logic Programming (NA, VSC, JA, JW, RC, LW), pp. 190–205.

PADL-2013-CastroMM #java #logic programming #named

LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis (SC, KM, PM), pp. 26–42.

PADL-2013-LiangK #automation #logic programming #named #scalability #source code

Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs (SL, MK), pp. 173–189.

PADL-2013-Moura #implementation #induction #logic programming #performance

A Portable and Efficient Implementation of Coinductive Logic Programming (PM), pp. 77–92.

POPL-2013-JensenBK #logic #low level

High-level separation logic for low-level code (JBJ, NB, AK), pp. 301–314.

POPL-2013-TuronTABD #concurrent #fine-grained #logic

Logical relations for fine-grained concurrency (AJT, JT, AA, LB, DD), pp. 343–356.

POPL-2013-VytiniotisJCR #haskell #logic #named #semantics

HALO: haskell to logic through denotational semantics (DV, SLPJ, KC, DR), pp. 431–442.

ESEC-FSE-2013-DubinskyFG #logic #question

Where is the business logic? (YD, YAF, MG), pp. 667–670.

ESEC-FSE-2013-Vardi #logic

A logical revolution (keynote) (MYV), p. 1.

CADE-2013-BeckertB #logic #semantics

Dynamic Logic with Trace Semantics (BB, DB), pp. 315–329.

CADE-2013-BeckertGS #algorithm #logic

Analysing Vote Counting Algorithms via Logic — And Its Application to the CADE Election Scheme (BB, RG, CS), pp. 135–144.

CADE-2013-BenderPS #logic

System Description: E-KRHyper 1.4 — Extensions for Unique Names and Description Logic (MB, BP, CS), pp. 126–134.

CADE-2013-ChihaniMR #first-order #logic #proving

Foundational Proof Certificates in First-Order Logic (ZC, DM, FR), pp. 162–177.

CADE-2013-Filliatre #logic

One Logic to Use Them All (JCF), pp. 1–20.

CADE-2013-GoreT #logic

An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description (RG, JT), pp. 275–281.

CADE-2013-IosifRS #logic #recursion

The Tree Width of Separation Logic with Recursive Definitions (RI, AR, JS), pp. 21–38.

CADE-2013-Mayer #hybrid #logic #proving #transitive

A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (MCM), pp. 76–90.

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-PiskacWZ #automation #logic #smt #using

Automating Separation Logic Using SMT (RP, TW, DZ), pp. 773–789.

CAV-2013-TsaiTH #automaton #game studies #logic

GOAL for Games, ω-Automata, and Logics (MHT, YKT, YSH), pp. 883–889.

CSL-2013-BerkholzKV #bound #logic #quantifier

Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy (CB, AK, OV), pp. 61–80.

CSL-2013-CloustonDGT #calculus #linear #logic

Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic (RC, JED, RG, AT), pp. 197–214.

CSL-2013-GallianiH #fixpoint #logic

Inclusion Logic and Fixed Point Logic (PG, LH), pp. 281–295.

CSL-2013-GallianiHK #independence #logic

Hierarchies in independence logic (PG, MH, JK), pp. 263–280.

CSL-2013-Girard #logic

Three lightings of logic (Invited Talk) (JYG), pp. 11–23.

CSL-2013-HampsonK #first-order #linear #logic

One-variable first-order linear temporal logics with counting (CH, AK), pp. 348–362.

CSL-2013-HarwathS #first-order #invariant #locality #logic #on the #quantifier

On the locality of arb-invariant first-order logic with modulo counting quantifiers (FH, NS), pp. 363–379.

CSL-2013-Hunter #logic #metric #question

When is Metric Temporal Logic Expressively Complete? (PH), pp. 380–394.

CSL-2013-Kuusisto #automaton #distributed #logic #message passing

Modal Logic and Distributed Message Passing Automata (AK), pp. 452–468.

CSL-2013-ManuelZ #2d #logic

Two-Variable Logic on 2-Dimensional Structures (AM, TZ), pp. 484–499.

CSL-2013-MichaliszynO #logic #transitive

Elementary Modal Logics over Transitive Structures (JM, JO), pp. 563–577.

ICLP-J-2013-ErdemPSSU #approach #multi

Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach (EE, VP, ZGS, PS, TU), pp. 831–846.

ICLP-J-2013-GangeNSSS #constraints #logic programming

Failure tabled constraint logic programming by interpolation (GG, JAN, PS, HS, PJS), pp. 593–607.

ICLP-J-2013-GrecoMT #bottom-up #evaluation #logic programming #termination

Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments (SG, CM, IT), pp. 737–752.

ICLP-J-2013-KaminskiSSV #logic #network

Minimal intervention strategies in logical signaling networks with ASP (RK, TS, AS, SV), pp. 675–690.

ICLP-J-2013-LiangK #analysis #logic programming #scalability #source code

A practical analysis of non-termination in large logic programs (SL, MK), pp. 705–719.

ICLP-J-2013-Maher #logic

Relative expressiveness of defeasible logics II (MJM), pp. 579–592.

ICLP-J-2013-YouZZ #logic programming #quantifier #source code

Disjunctive logic programs with existential quantification in rule heads (JHY, HZ, YZ), pp. 563–578.

ICTSS-2013-EnoiuSP #diagrams #logic #testing #using

Using Logic Coverage to Improve Testing Function Block Diagrams (EPE, DS, PP), pp. 1–16.

LICS-2013-AndersonDH #fixpoint #linear #logic #programming

Maximum Matching and Linear Programming in Fixed-Point Logic with Counting (MA, AD, BH), pp. 173–182.

LICS-2013-BalbianiHT #logic

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (PB, AH, NT), pp. 143–152.

LICS-2013-BenerecettiMM #logic

Substructure Temporal Logic (MB, FM, AM), pp. 368–377.

LICS-2013-CharatonikW #logic

Two-Variable Logic with Counting and Trees (WC, PW), pp. 73–82.

LICS-2013-Colcombet #logic #monad #set #word

Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory (TC), p. 123.

LICS-2013-Comon-Lundh #logic #modelling #named #problem #security

LICS: Logic in Computer Security — Some Attacker’s Models and Related Decision Problems (HCL), p. 1.

LICS-2013-EickmeyerKK #first-order #graph #invariant #logic #model checking

Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes (KE, KiK, SK), pp. 134–142.

LICS-2013-FioreH #algebra #equation #logic #multi #polymorphism #semantics #syntax

Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (MPF, MH), pp. 520–529.

LICS-2013-GoncharovS #hoare #logic

A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (SG, LS), pp. 273–282.

LICS-2013-Hales #logic #synthesis

Arbitrary Action Model Logic and Action Model Synthesis (JH), pp. 253–262.

LICS-2013-Halpern #first-order #logic #proving #security #using

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic (JYH), pp. 2–3.

LICS-2013-HunterOW #logic #metric

Expressive Completeness for Metric Temporal Logic (PH, JO, JW), pp. 349–357.

LICS-2013-Jacobs #logic

Measurable Spaces and Their Effect Logic (BJ0), pp. 83–92.

LICS-2013-JungR #logic #semantics

Kripke Semantics for Modal Bilattice Logic (AJ, UR), pp. 438–447.

LICS-2013-KreutzerR #higher-order #logic #monad

Quantitative Monadic Second-Order Logic (SK, CR), pp. 113–122.

LICS-2013-Lahav #logic

From Frame Properties to Hypersequent Rules in Modal Logics (OL), pp. 408–417.

LICS-2013-LiangM #logic

Unifying Classical and Intuitionistic Logics for Computational Control (CL, DM), pp. 283–292.

LICS-2013-MontanariS #complexity #equivalence #logic

Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness (AM, PS), pp. 193–202.

LICS-2013-Panangaden #logic

Duality in Logic and Computation (PP), pp. 4–11.

LICS-2013-Pattinson #logic

The Logic of Exact Covers: Completeness and Uniform Interpolation (DP), pp. 418–427.

LICS-2013-RosuSCM #logic #reachability

One-Path Reachability Logic (GR, AS, SC, BMM), pp. 358–367.

RTA-2013-Accattoli #linear #logic #normalisation

Linear Logic and Strong Normalization (BA), pp. 39–54.

RTA-2013-BaeEM #infinity #logic #model checking #using

Abstract Logical Model Checking of Infinite-State Systems Using Narrowing (KB, SE, JM), pp. 81–96.

RTA-2013-Das #linear #logic

Rewriting with Linear Inferences in Propositional Logic (AD), pp. 158–173.

SAT-2013-Beyersdorff #complexity #logic #proving #theorem proving

The Complexity of Theorem Proving in Autoepistemic Logic (OB), pp. 365–376.

SAT-2013-MihalT #approach #constraints #logic #programmable

A Constraint Satisfaction Approach for Programmable Logic Detailed Placement (AM, ST), pp. 208–223.

TLCA-2013-BentonHN #generative #logic

Proof-Relevant Logical Relations for Name Generation (NB, MH, VN), pp. 48–60.

TLCA-2013-BerardiT #backtracking #game studies #logic #semantics #subclass

Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics (SB, MT), pp. 61–76.

ASE-2012-BiallasBK #framework #logic #programmable #verification

Arcade.PLC: a verification platform for programmable logic controllers (SB, JB, SK), pp. 338–341.

DAC-2012-AadithyaR #abstraction #automation #automaton #generative #logic #named

DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics (KVA, JSR), pp. 311–316.

DAC-2012-CropPC #detection #logic #throughput #using

Regaining throughput using completion detection for error-resilient, near-threshold logic (JC, RP, PC), pp. 974–979.

DAC-2012-DinglerKNHCNPBLS #logic

Making non-volatile nanomagnet logic non-volatile (AD, SK, MTN, XSH, GC, JN, WP, GHB, PL, VKS), pp. 476–485.

DAC-2012-LinK #comprehension #logic #search-based #synthesis

Application of logic synthesis to the understanding and cure of genetic diseases (PCKL, SPK), pp. 734–740.

DAC-2012-LinMK #logic #satisfiability #using

Boolean satisfiability using noise based logic (PCKL, AM, SPK), pp. 1260–1261.

DAC-2012-MorrisBZP #logic #named #using

mLogic: ultra-low voltage non-volatile logic circuits using STT-MTJ devices (DM, DB, JG(Z, LTP), pp. 486–491.

DAC-2012-RajendranPSK #analysis #logic #obfuscation #security

Security analysis of logic obfuscation (JR, YP, OS, RK), pp. 83–89.

DAC-2012-RoaCJ #logic

Material implication in CMOS: a new kind of logic (ER, WHC, BJ), pp. 1258–1259.

DAC-2012-TovinakereSD #clustering #estimation #logic

A semiempirical model for wakeup time estimation in power-gated logic clusters (VDT, OS, SD), pp. 48–55.

DAC-2012-VenkataramaniSKRR #approximate #logic #named #synthesis

SALSA: systematic logic synthesis of approximate circuits (SV, AS, VJK, KR, AR), pp. 796–801.

DATE-2012-LiH #analysis #logic #named #performance #reliability

RAG: An efficient reliability analysis of logic circuits on graphics processing units (ML, MSH), pp. 316–319.

DATE-2012-PatilJCLYPLCC #logic

Weighted area technique for electromechanically enabled logic computation with cantilever-based NEMS switches (SP, MWJ, CLC, DL, ZY, WEP, DJL, SAC, TC), pp. 727–732.

DATE-2012-RajendranPSK #analysis #encryption #fault #logic #perspective

Logic encryption: A fault analysis perspective (JR, YP, OS, RK), pp. 953–958.

DATE-2012-SekaninaS #image #logic #multi #towards

Towards new applications of multi-function logic: Image multi-filtering (LS, VS), pp. 824–827.

DATE-2012-TangHCH #generative #logic #multi #reduction

Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction (KFT, PKH, CNC, CYH), pp. 1567–1572.

DATE-2012-Voyiatzis #concurrent #logic #monitoring #multi

Input vector monitoring on line concurrent BIST based on multilevel decoding logic (IV), pp. 1251–1256.

DocEng-2012-PalfrayHNTP #logic #segmentation

Logical segmentation for article extraction in digitized old newspapers (TP, DH, SN, PT, TP), pp. 129–132.

VLDB-2012-ZengJZ #logic #query

Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data (QZ, XJ, HZ), pp. 728–739.

WRLA-J-2010-Marti-OlietPV12 #bibliography #logic #topic

Rewriting logic bibliography by topic: 1990-2011 (NMO, MP, AV), pp. 782–815.

WRLA-J-2010-Meseguer12 #logic

Twenty years of rewriting logic (JM), pp. 721–781.

WRLA-J-2010-RiescoVMC12 #debugging #declarative #logic #specification

Declarative debugging of rewriting logic specifications (AR, AV, NMO, RC), pp. 851–897.

ESOP-2012-JensenB #logic

Fictional Separation Logic (JBJ, LB), pp. 377–396.

ESOP-2012-PerezCPT #concurrent #linear #logic

Linear Logical Relations for Session-Based Concurrency (JAP, LC, FP, BT), pp. 539–558.

FoSSaCS-2012-PreugschatW #automaton #effectiveness #logic #using

Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata (SP, TW), pp. 135–149.

TACAS-2012-CairesV #concurrent #logic #model checking #named #specification

SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications (LC, HTV), pp. 485–491.

MSR-2012-SteffR #co-evolution #commit #estimation #fault #logic

Co-evolution of logical couplings and commits for defect estimation (MS, BR), pp. 213–216.

PEPM-2012-Lopez-FraguasMR #functional #logic programming

Well-typed narrowing with extra variables in functional-logic programming (FJLF, EMM, JRH), pp. 83–92.

PLDI-2012-OanceaR #logic #parallel

Logical inference techniques for loop parallelization (CEO, LR), pp. 509–520.

FLOPS-2012-AntoyP #compilation #functional #logic

Compiling a Functional Logic Language: The Basic Scheme (SA, AP), pp. 17–31.

FLOPS-2012-Bouma #declarative #logic #persistent #realtime

Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) (GB), pp. 62–72.

FLOPS-2012-Hirai #logic #λ-calculus

A λ Calculus for Gödel-Dummett Logic Capturing Waitfreedom (YH), pp. 151–165.

FLOPS-2012-SaeedloeiG #constraints #induction #logic programming

Coinductive Constraint Logic Programming (NS, GG), pp. 243–259.

CIAA-2012-DrosteP #automaton #logic #word

Weighted Nested Word Automata and Logics over Strong Bimonoids (MD, BP), pp. 138–148.

DLT-2012-HromkovicKKS #automaton #logic #nondeterminism #representation

Determinism vs. Nondeterminism for Two-Way Automata — Representing the Meaning of States by Logical Formulæ (JH, RK, RK, RS), pp. 24–39.

ICALP-v2-2012-KufleitnerL #logic #word

Lattices of Logical Fragments over Words — (Extended Abstract) (MK, AL), pp. 275–286.

ICALP-v2-2012-KuperbergB #infinity #logic #on the #power of #word

On the Expressive Power of Cost Logics over Infinite Words (DK, MVB), pp. 287–298.

ICALP-v2-2012-LitakPSS #algebra #logic

Coalgebraic Predicate Logic (TL, DP, KS, LS), pp. 299–311.

ICALP-v2-2012-SalvatiMGB

Loader and Urzyczyn Are Logically Related (SS, GM, MG, HB), pp. 364–376.

LATA-2012-KaraST #automaton #logic #word

Feasible Automata for Two-Variable Logic with Successor on Data Words (AK, TS, TT), pp. 351–362.

LATA-2012-MeierSTV #complexity #logic #on the

On the Parameterized Complexity of Default Logic and Autoepistemic Logic (AM, JS, MT, HV), pp. 389–400.

FM-2012-RosuS #hoare #logic #reachability

From Hoare Logic to Matching Logic Reachability (GR, AS), pp. 387–402.

ICFP-2012-MyreenO #higher-order #logic #ml #synthesis

Proof-producing synthesis of ML from higher-order logic (MOM, SO), pp. 115–126.

CAiSE-2012-KopkeE #logic #semantics

Logical Invalidations of Semantic Annotations (JK, JE), pp. 144–159.

CAiSE-2012-ZawawyKMM #analysis #logic #markov #network #using

Requirements-Driven Root Cause Analysis Using Markov Logic Networks (HZ, KK, JM, SM), pp. 350–365.

EDOC-2012-ZarghamiSES #as a service #logic #process

Decision as a Service: Separating Decision-making from Application Process Logic (AZ, BS, MZE, MvS), pp. 103–112.

CIKM-2012-LiuQCH #logic

Discovering logical knowledge for deep question answering (ZL, XQ, LC, XH), pp. 1920–1924.

KEOD-2012-BessmertnyEN #logic

About Creating Intelligence Systems in Ternary Logic (IAB, SVE, AVN), pp. 161–165.

KEOD-2012-HmidaCBN #3d #logic #using

From 9-IM Topological Operators to Qualitative Spatial Relations using 3D Selective Nef Complexes and Logic Rules for Bodies (HBH, CC, FB, CN), pp. 208–213.

KR-2012-ArenasBCRS #knowledge base #logic

Exchanging Description Logic Knowledge Bases (MA, EB, DC, VR, ES).

KR-2012-BienvenuLW #logic #query

Query Containment in Description Logics Reconsidered (MB, CL, FW).

KR-2012-BoothFKP #logic

Credibility-Limited Revision Operators in Propositional Logic (RB, EF, SK, RPP).

KR-2012-BorgwardtP #fuzzy #logic

Undecidability of Fuzzy Description Logics (SB, RP).

KR-2012-CreignouPPW #logic

Belief Revision within Fragments of Propositional Logic (NC, OP, RP, SW).

KR-2012-DuboisPS #logic #modelling

Stable Models in Generalized Possibilistic Logic (DD, HP, SS).

KR-2012-Feier #logic programming #reasoning #source code #worst-case

Worst-Case Optimal Reasoning with Forest Logic Programs (CF).

KR-2012-GrauHKKMMW #logic #query

Acyclicity Conditions and their Application to Query Answering in Description Logics (BCG, IH, MK, CK, DM, BM, ZW).

KR-2012-KazakovKS #logic #product line #reasoning

Practical Reasoning with Nominals in the EL Family of Description Logics (YK, MK, FS).

KR-2012-LakemeyerL #logic

Only-Knowing Meets Nonmonotonic Modal Logic (GL, HJL).

KR-2012-Lifschitz #logic programming #source code

Logic Programs with Intensional Functions (VL).

KR-2012-LutzSW #approach #approximate #logic

An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL (CL, IS, FW).

KR-2012-LutzW #complexity #logic #query

Non-Uniform Data Complexity of Query Answering in Description Logics (CL, FW).

KR-2012-PradeR #logic #predict #similarity

Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction (HP, GR).

KR-2012-VlaeminckVBD #complexity #logic #order #semantics

Ordered Epistemic Logic: Semantics, Complexity and Applications (HV, JV, MB, MD).

KR-2012-WangZZZ #equivalence #logic programming #source code

Forgetting in Logic Programs under Strong Equivalence (YW, YZ, YZ, MZ).

SEKE-2012-Cao #logic #refinement

Modal ZIA, Modal Refinement Relation and Logical Characterization (ZC), pp. 525–530.

SEKE-2012-GregoireR #component

Disabling Subsumptions in a Logic-Based Component (ÉG, SR), pp. 243–248.

SEKE-2012-MarchettiG #framework #logic #model transformation #using

Model Transformation for Frameworks Using Logical Planning (GAM, ESG), pp. 563–569.

SEKE-2012-ShenHTGZ #feature model #logic #modelling #verification

Feature modeling and Verification based on Description Logics (GS, ZH, CT, QG, WZ), pp. 422–425.

SEKE-2012-XavierOC #fuzzy #learning #logic

Evolutionary Learning and Fuzzy Logic Applied to a Load Balancer (FCX, MGdO, CLdC), pp. 256–260.

SEKE-2012-ZhaiLZLCJ #algebra #cyber-physical #logic #verification

Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic (XZ, BL, MZ, JL, QC, SJ), pp. 231–234.

SEKE-2012-ZhuLLCZJ #continuation #difference #logic #using #verification

HybridUML Based Verification of CPS Using Differential Dynamic Logic (MZ, BL, JL, QC, XZ, SJ), pp. 235–238.

MoDELS-2012-KuhlmannG #logic #ocl #relational #uml

From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.

MoDELS-2012-KuhlmannG #logic #ocl #relational #uml

From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.

OOPSLA-2012-RosuS #logic #reachability #using

Checking reachability using matching logic (GR, AS), pp. 555–574.

TOOLS-EUROPE-2012-DeAntoniM #logic #modelling #named

TimeSquare: Treat Your Models with Logical Time (JD, FM), pp. 34–41.

LOPSTR-2012-DandoisV #logic programming #semantics #source code

Semantic Code Clones in Logic Programs (CD, WV), pp. 35–50.

LOPSTR-2012-GieslSSEF #evaluation #graph #logic programming #source code #symbolic computation #term rewriting

Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs (JG, TS, PSK, FE, CF), p. 1.

LOPSTR-2012-RojasG #constraints #framework #generative #logic programming #testing

A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.

LOPSTR-2012-Seki #logic programming #program transformation #proving #source code

Proving Properties of Co-logic Programs with Negation by Program Transformations (HS), pp. 213–227.

PPDP-2012-FilipiukNN #fixpoint #logic

Layered fixed point logic (PF, FN, HRN), pp. 45–54.

PPDP-2012-GieslSSEF #evaluation #graph #logic programming #source code #symbolic computation #term rewriting

Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs (JG, TS, PSK, FE, CF), pp. 1–12.

PPDP-2012-LamC #datalog #linear #logic #modelling

Modeling datalog fact assertion and retraction in linear logic (ESLL, IC), pp. 67–78.

PADL-2012-AntoyH #contract #functional #logic programming #specification

Contracts and Specifications for Functional Logic Programming (SA, MH), pp. 33–47.

PADL-2012-GillN #logic #using

Handshaking in Kansas Lava Using Patch Logic (AG, BN), pp. 212–226.

POPL-2012-ChughRJ #logic #type system

Nested refinements: a logic for duck typing (RC, PMR, RJ), pp. 231–244.

POPL-2012-GardnerMS #javascript #logic #towards

Towards a program logic for JavaScript (PG, SM, GDS), pp. 31–44.

POPL-2012-HurDNV #bisimulation #logic

The marriage of bisimulations and Kripke logical relations (CKH, DD, GN, VV), pp. 59–72.

POPL-2012-ReddyR #logic

Syntactic control of interference for separation logic (USR, JCR), pp. 323–336.

SAC-2012-MinervinidF #concept #learning #logic #probability

Learning probabilistic Description logic concepts: under different Assumptions on missing knowledge (PM, Cd, NF), pp. 378–383.

SAC-2012-YanZM #data type #fuzzy #logic

f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group (LY, FZ, ZMM), pp. 320–325.

HPDC-2012-MooreK #encapsulation #framework #logic #performance

A resiliency model for high performance infrastructure based on logical encapsulation (JJM, CK), pp. 283–294.

CAV-2012-BerdineCIW #abstraction #analysis

Diagnosing Abstraction Failure for Separation Logic-Based Analyses (JB, AC, SI, CMW), pp. 155–173.

CSL-2012-BirkedalST #concurrent #logic

A Concurrent Logical Relation (LB, FS, JT), pp. 107–121.

CSL-2012-DeYoungCPT #communication #linear #logic #reduction

Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication (HD, LC, FP, BT), pp. 228–242.

CSL-2012-DudderMRU #bound #combinator #logic

Bounded Combinatory Logic (BD, MM, JR, PU), pp. 243–258.

CSL-2012-HetzlS #first-order #logic

Herbrand-Confluence for Cut Elimination in Classical First Order Logic (SH, LS), pp. 320–334.

CSL-2012-KaiserL #logic

A Counting Logic for Structure Transition Systems (LK, SL), pp. 366–380.

CSL-2012-KieronskiM #logic #transitive

Two-Variable Universal Logic with Transitive Closure (EK, JM), pp. 396–410.

CSL-2012-LeitschRP #logic #towards

Towards CERes in intuitionistic logic (AL, GR, BWP), pp. 485–499.

ICLP-2012-0002KZPM #approach #data access #logic programming #rdf

A Logic Programming approach for Access Control over RDF (NL, SK, AZ, AP, AM), pp. 381–392.

ICLP-2012-AriasL #logic programming

Logic Programming in Tabular Allegories (EJGA, JL), pp. 334–347.

ICLP-2012-BacciCFV #automation #functional #logic #specification #synthesis

The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (GB, MC, MAF, AV), pp. 144–153.

ICLP-2012-CattafiHGNM #constraints #health #logic programming #performance #quality

Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit (MC, RH, MG, MN, FM), pp. 415–424.

ICLP-2012-Drabent #logic

Logic + control: An example (WD), pp. 301–311.

ICLP-2012-GrecoST #logic programming #on the #source code #termination

On the Termination of Logic Programs with Function Symbols (SG, FS, IT), pp. 323–333.

ICLP-2012-Lifschitz #logic programming #source code

Two-Valued Logic Programs (VL), pp. 259–266.

ICLP-2012-NievesL #logic programming #source code

Possibilistic Nested Logic Programs (JCN, HL), pp. 267–276.

ICLP-2012-VirsedaMT #concurrent #constraints #functional #logic programming #semantics

A Concurrent Operational Semantics for Constraint Functional Logic Programming (RdVV, FPM, MMGT), pp. 154–163.

ICLP-2012-ZomboriCS #constraints #logic programming #static typing #type inference #using

Static Type Inference for the Q language using Constraint Logic Programming (ZZ, JC, PS), pp. 119–129.

ICLP-J-2012-Cervesato #compilation #logic programming #source code

An Improved Proof-Theoretic Compilation of Logic Programs (IC), pp. 639–657.

ICLP-J-2012-GorlinRS #logic programming #model checking #probability

Model checking with probabilistic tabled logic programming (AG, CRR, SAS), pp. 681–700.

ICLP-J-2012-IslamRR #logic programming #probability #random #source code

Inference in probabilistic logic programs with continuous random variables (MAI, CRR, IVR), pp. 505–523.

ICLP-J-2012-Maher #logic

Relative expressiveness of defeasible logics (MJM), pp. 793–810.

ICLP-J-2012-Martin #logic programming #semantics #source code

Contextual hypotheses and semantics of logic programs (EM), pp. 843–887.

ICLP-J-2012-Vidal #independence #logic programming #partial evaluation #source code

Annotation of logic programs for independent AND-parallelism by partial evaluation (GV), pp. 583–600.

ICST-2012-GansR #protocol #smarttech #testing

The SmartLogic Tool: Analysing and Testing Smart Card Protocols (GdKG, JdR), pp. 864–871.

ICST-2012-MalzJG #fuzzy #logic #testing #using

Prioritization of Test Cases Using Software Agents and Fuzzy Logic (CM, NJ, PG), pp. 483–486.

ICTSS-2012-YangHF #embedded #logic #parametricity #query

Querying Parametric Temporal Logic Properties on Embedded Systems (HY, BH, GEF), pp. 136–151.

IJCAR-2012-BaaderMM #logic #named #unification

UEL: Unification Solver for the Description Logic ℰℒ — System Description (FB, JM, BM), pp. 45–51.

IJCAR-2012-BorgwardtDP #fuzzy #how #logic #question

How Fuzzy Is My Fuzzy Description Logic? (SB, FD, RP), pp. 82–96.

IJCAR-2012-GoreT #automation #logic #reasoning

BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics (RG, JT), pp. 301–315.

IJCAR-2012-HeamHK #linear #logic

From Linear Temporal Logic Properties to Rewrite Propositions (PCH, VH, OK), pp. 316–331.

IJCAR-2012-KonevLW #difference #logic

Logical Difference Computation with CEX2.5 (BK, ML, FW), pp. 371–377.

IJCAR-2012-RathsO #first-order #library #logic #problem

The QMLTP Problem Library for First-Order Modal Logics (TR, JO), pp. 454–461.

IJCAR-2012-SteigmillerLG #logic

Extended Caching, Backjumping and Merging for Expressive Description Logics (AS, TL, BG), pp. 514–529.

IJCAR-2012-Tiu #logic

Stratification in Logics of Definitions (AT), pp. 544–558.

LICS-2012-AvronKZ #calculus #composition #logic

Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics (AA, BK, AZ), pp. 85–94.

LICS-2012-BaeldeN #deduction #fixpoint #logic

Combining Deduction Modulo and Logics of Fixed-Point Definitions (DB, GN), pp. 105–114.

LICS-2012-BarceloFL #graph #logic #problem

Graph Logics with Rational Relations and the Generalized Intersection Problem (PB, DF, LL), pp. 115–124.

LICS-2012-ElberfeldGT #first-order #higher-order #logic #monad

Where First-Order and Monadic Second-Order Logic Coincide (ME, MG, TT), pp. 265–274.

LICS-2012-GargGN #calculus #logic #multi

Countermodels from Sequent Calculi in Multi-Modal Logics (DG, VG, SN), pp. 315–324.

LICS-2012-Herbelin #logic #proving

A Constructive Proof of Dependent Choice, Compatible with Classical Logic (HH), pp. 365–374.

LICS-2012-KieronskiMPT #equivalence #first-order #logic

Two-Variable First-Order Logic with Equivalence Closure (EK, JM, IPH, LT), pp. 431–440.

LICS-2012-MichaliszynO #decidability #logic

Decidable Elementary Modal Logics (JM, JO), pp. 491–500.

LICS-2012-Nigam #complexity #linear #logic #on the

On the Complexity of Linear Authorization Logics (VN), pp. 511–520.

LICS-2012-Platzer #logic

Logics of Dynamical Systems (AP), pp. 13–24.

LICS-2012-SchalkS #linear #logic #modelling #multi

Constructing Fully Complete Models for Multiplicative Linear Logic (AS, HPS), pp. 571–580.

LICS-2012-TraytelPB #category theory #composition #data type #higher-order #logic #proving #theorem proving

Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving (DT, AP, JCB), pp. 596–605.

RTA-2012-Kirchner #calculus #logic

Rho-Calculi for Computation and Logic (Invited Talk) (CK), pp. 2–4.

RTA-2012-SeveriV #combinator #logic #set

Meaningless Sets in Infinitary Combinatory Logic (PS, FJdV), pp. 288–304.

SMT-2012-KovasznaiFB #complexity #logic #on the

On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width (GK, AF, AB), pp. 44–56.

TAP-2012-SenniF #constraints #data type #generative #logic programming #testing #using

Generation of Test Data Structures Using Constraint Logic Programming (VS, FF), pp. 115–131.

TAP-2012-SulzmannZ #analysis #finite #linear #logic

Constructive Finite Trace Analysis with Linear Temporal Logic (MS, AZ), pp. 132–148.

VMCAI-2012-RosenbergBN #logic

Decision Procedures for Region Logic (SR, AB, DAN), pp. 379–395.

QoSA-ISARCS-2011-CostaM #logic

Elective temporal logic (GC, IM), pp. 143–152.

DAC-2011-CevreroRSBIL #library #logic #power management #standard

Power-gated MOS current mode logic (PG-MCML): a power aware DPA-resistant standard cell library (AC, FR, MS, SB, PI, YL), pp. 1014–1019.

DAC-2011-FuketaIYTNSS #logic

A closed-form expression for estimating minimum operating voltage (VDDmin) of CMOS logic gates (HF, SI, TY, MT, MN, HS, TS), pp. 984–989.

DAC-2011-PuggelliWKS #logic #question #robust #synthesis #tool support

Are logic synthesis tools robust? (AP, TW, AK, ALSV), pp. 633–638.

DAC-2011-TangWHH #incremental #logic #multi #synthesis

Interpolation-based incremental ECO synthesis for multi-error logic rectification (KFT, CAW, PKH, CY(H), pp. 146–151.

DAC-2011-VelamalaLTC #design #logic

Design sensitivity of single event transients in scaled logic circuits (JV, RL, MT, YC), pp. 694–699.

DAC-2011-ZukoskiYM #logic

Universal logic modules based on double-gate carbon nanotube transistors (AZ, XY, KM), pp. 884–889.

DATE-2011-MedwedM #detection #fault #logic

Arithmetic logic units with high error detection rates to counteract fault attacks (MM, SM), pp. 1644–1649.

DATE-2011-Micheli #design #logic #physics #question #synthesis

Logic synthesis and physical design: Quo vadis? (GDM), p. 50.

DATE-2011-MirandaZDR #logic #modelling #variability

Variability aware modeling for yield enhancement of SRAM and logic (MM, PZ, PD, PR), pp. 1153–1158.

DATE-2011-YuH #fault #logic

Trigonometric method to handle realistic error probabilities in logic circuits (CCY, JPH), pp. 64–69.

DATE-2011-ZukoskiCM #logic #synthesis

Reliability-driven don’t care assignment for logic synthesis (AZ, MRC, KM), pp. 1560–1565.

PODS-2011-BojanczykF #documentation #evaluation #logic #performance #xml

Efficient evaluation for a temporal logic on changing XML documents (MB, DF), pp. 259–270.

VLDB-2011-LometTZ #implementation #logic #performance

Implementing Performance Competitive Logical Recovery (DBL, KT, MJZ), pp. 430–439.

VLDB-2011-NiuRDS #logic #markov #named #network #scalability #statistics #using

Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS (FN, CR, AD, JWS), pp. 373–384.

CSEET-2011-GalvaoARAFG #education #learning #logic programming #process

A proposal for an educational system service to support teaching/learning process for logic programming (ERDG, RRdA, CMOR, SCA, FF, VCG), p. 556.

ITiCSE-2011-Cervesato #logic

Discovering logic through comics (IC), pp. 103–107.

ESOP-2011-HoborG #concurrent #logic

Barriers in Concurrent Separation Logic (AH, CG), pp. 276–296.

ESOP-2011-ParkinsonS #logic

The Relationship between Separation Logic and Implicit Dynamic Frames (MJP, AJS), pp. 439–458.

TACAS-2011-AnnpureddyLFS #hybrid #logic #named

S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (YA, CL, GEF, SS), pp. 254–257.

ICSM-2011-Roover #detection #logic #metaprogramming #object-oriented #source code

A logic meta-programming foundation for example-driven pattern detection in object-oriented programs (CDR), pp. 556–561.

PEPM-2011-Caballero #functional #logic programming #program transformation #source code

A program transformation for returning states in functional-logic programs (RC), pp. 111–120.

PEPM-2011-Martin-Martin #functional #logic programming

Type classes in functional logic programming (EMM), pp. 121–130.

PLDI-2011-Chlipala #logic #low level #source code #verification

Mostly-automated verification of low-level programs in computational separation logic (AC), pp. 234–245.

PLDI-2011-PerezR #calculus #logic #proving #theorem proving

Separation logic + superposition calculus = heap theorem prover (JANP, AR), pp. 556–566.

DLT-J-2010-RigoW11 #finite #logic #set

Logical Characterization of Recognizable Sets of polynomials over a Finite Field (MR, LW), pp. 1549–1563.

ICALP-v2-2011-AndersonMSS #first-order #invariant #locality #logic #query

Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (MA, DvM, NS, LS), pp. 368–379.

ICALP-v2-2011-CardelliLM #composition #logic #markov

Modular Markovian Logic (LC, KGL, RM), pp. 380–391.

LATA-2011-Huschenbett #distributed #logic #modelling #multi

Models for Quantitative Distributed Systems and Multi-Valued Logics (MH), pp. 310–322.

IFM-J-2009-Weiss11 #abstraction #calculus #logic

Predicate abstraction in a program logic calculus (BW), pp. 861–876.

FM-2011-Li #compilation #logic

Validated Compilation through Logic (GL), pp. 169–183.

SEFM-2011-CastroKAA #branch #fault tolerance #logic #named #verification

dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification (PFC, CK, AA, NA), pp. 106–121.

SEFM-2011-CrespoK #framework #logic #relational

A Machine-Checked Framework for Relational Separation Logic (JMC, CK), pp. 122–137.

SEFM-2011-VriesK #hoare #logic

Reverse Hoare Logic (EdV, VK), pp. 155–171.

ICFP-2011-GesbertGL #logic #morphism #parametricity #polymorphism #semantics #type system

Parametric polymorphism and semantic subtyping: the logical connection (NG, PG, NL), pp. 107–116.

ICFP-2011-ThamsborgB #logic #program transformation

A kripke logical relation for effect-based program transformations (JT, LB), pp. 445–456.

IFL-2011-KoopmanAP #logic #modelling #state machine #testing

Model Based Testing with Logical Properties versus State Machines (PWMK, PA, RP), pp. 116–133.

IFL-2011-Thomsen #functional #logic #optimisation #using

Describing and Optimising Reversible Logic Using a Functional Language (MKT), pp. 148–163.

HIMI-v1-2011-PavelJ #approach #authentication #design #logic #protocol

Routing Functionality in the Logic Approach for Authentication Protocol Design (OP, HJ), pp. 366–373.

CAiSE-2011-AsnarPM #case study #design pattern #logic #modelling

Modeling Design Patterns with Description Logics: A Case Study (YA, EP, JM), pp. 169–183.

EDOC-2011-Halle #contract #logic #message passing

Causality in Message-Based Contract Violations: A Temporal Logic “Whodunit” (SH), pp. 171–180.

EDOC-2011-Halpin #concept #logic

Fact-Orientation and Conceptual Logic (TAH), pp. 14–19.

ICEIS-v2-2011-MeiJS #fuzzy #logic

Passenger Travel Choice Prediciton based on Fuzzy Logic (LM, LJ, KS), pp. 163–166.

ICEIS-v4-2011-DavisC11a #data transformation #logic #metadata #modelling

Variant Logic Meta-data Management for Model Driven Applications — Allows Unlimited End User Configuration and Customisation of All Meta-data EIS Application Features (JD, EC), pp. 395–400.

CIKM-2011-GoncalvesPS #categorisation #difference #logic #ontology #owl

Categorising logical differences between OWL ontologies (RSG, BP, US), pp. 1541–1546.

KDD-2011-MueenKY #classification #named

Logical-shapelets: an expressive primitive for time series classification (AM, EJK, NEY), pp. 1154–1162.

KDD-2011-SatpalBSRS #information management #logic #markov #network #using #web

Web information extraction using markov logic networks (SS, SB, SS, RR, PS), pp. 1406–1414.

KEOD-2011-Bab #integration #logic #on the

On the Integration of Knowledge in a Propositional Logical Layer (SB), pp. 299–303.

KEOD-2011-MullerRH #logic #modelling #towards

Towards a Description Logic for Scientific Modeling (JPM, HLR, DH), pp. 183–188.

KEOD-2011-StratosSG #logic #reasoning

Episodic Logic: Natural Logic + Reasoning (KS, LKS, JG), pp. 304–310.

KEOD-2011-TripodiD #logic

Linguistically based Qa by Dynamic Lod Access from Logical Forms (RT, RD), pp. 5–14.

ICMT-J-2010-TroyaV11 #atl #logic #semantics

A Rewriting Logic Semantics for ATL (JT, AV), pp. 108–136.

MoDELS-2011-BalabanK #development

Logic-Based Model-Level Software Development with F-OML (MB, MK), pp. 517–532.

MoDELS-2011-BalabanK #development

Logic-Based Model-Level Software Development with F-OML (MB, MK), pp. 517–532.

LOPSTR-2011-Almendros-JimenezCGS #declarative #functional #xquery

A Declarative Embedding of XQuery in a Functional-Logic Language (JMAJ, RC, YGR, FSP), pp. 42–56.

LOPSTR-2011-DandoisV #detection #how #logic programming #source code

Clones in Logic Programs and How to Detect Them (CD, WV), pp. 90–105.

LOPSTR-2011-Gallagher #analysis #logic programming #source code #using

Analysis of Logic Programs Using Regular Tree Languages — (Extended Abstract) (JPG), pp. 1–3.

LOPSTR-2011-MoralesHH #composition #logic

Modular Extensions for Modular (Logic) Languages (JFM, MVH, RH), pp. 139–154.

LOPSTR-2011-Seki #logic programming #proving #source code

Proving Properties of Co-Logic Programs by Unfold/Fold Transformations (HS), pp. 205–220.

PPDP-2011-InabaHHKN #higher-order #logic #monad #using #verification

Graph-transformation verification using monadic second-order logic (KI, SH, ZH, HK, KN), pp. 17–28.

PPDP-2011-NigamJLS #distributed #incremental #logic programming #maintenance #source code

Maintaining distributed logic programs incrementally (VN, LJ, BTL, AS), pp. 125–136.

PADL-2011-CaballeroGS #functional #xpath

Integrating XPath with the Functional-Logic Language Toy (RC, YGR, FSP), pp. 145–159.

PADL-2011-MeraTLH #debugging #logic programming #performance #profiling #runtime #source code

Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs (EM, TT, PLG, MVH), pp. 38–53.

POPL-2011-HurD #assembly #logic #ml

A kripke logical relation between ML and assembly (CKH, DD), pp. 133–146.

POPL-2011-MadhusudanPQ #decidability #logic

Decidable logics combining heap structures and data (PM, GP, XQ), pp. 611–622.

POPL-2011-TuronW #concurrent #logic

A separation logic for refining concurrent objects (AJT, MW), pp. 247–258.

RE-2011-RaufAC #documentation #logic #requirements

Logical structure extraction from software requirements documents (RR, MA, KC), pp. 101–110.

SAC-2011-Blech #encryption #logic #proving #security

Proving the security of ElGamal encryption via indistinguishability logic (JOB), pp. 1625–1632.

ESEC-FSE-2011-Ben-DavidCGU #logic #named #specification

CSSL: a logic for specifying conditional scenarios (SBD, MC, AG, SU), pp. 37–47.

ESEC-FSE-2011-LumpeMG #logic #named #specification

PSPWizard: machine-assisted definition of temporal logical properties with specification patterns (ML, IM, LG), pp. 468–471.

ICSE-2011-RosuS #approach #logic #verification

Matching logic: a new program verification approach (GR, AS), pp. 868–871.

SOSP-2011-SirerBRSWWS #architecture #logic

Logical attestation: an authorization architecture for trustworthy computing (EGS, WdB, PR, AS, KW, DW, FBS), pp. 249–264.

CADE-2011-AlpuenteBER #logic #slicing

Backward Trace Slicing for Rewriting Logic Theories (MA, DB, JE, DR), pp. 34–48.

CADE-2011-BaaderBBM #concept #logic #unification

Unification in the Description Logic EL without the Top Concept (FB, TBN, SB, BM), pp. 70–84.

CADE-2011-BrotherstonDP #automation #logic #proving

Automated Cyclic Entailment Proofs in Separation Logic (JB, DD, RLP), pp. 131–146.

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-ClaessenLS #first-order #logic

Sort It Out with Monotonicity — Translating between Many-Sorted and Unsorted First-Order Logic (KC, AL, NS), pp. 207–221.

CADE-2011-Platzer #difference #hybrid #logic #probability #source code

Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (AP), pp. 446–460.

CADE-2011-Ranta #logic #what

Translating between Language and Logic: What Is Easy and What Is Difficult (AR), pp. 5–25.

CAV-2011-DudkaPV #data type #logic #named #using

Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic (KD, PP, TV), pp. 372–378.

CAV-2011-Platzer #composition #hybrid #logic #tutorial #verification

Logic and Compositional Verification of Hybrid Systems — (Invited Tutorial) (AP), pp. 28–43.

CSL-2011-CantoneLA #decidability #logic #order #quantifier #set

A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics (DC, CL, MNA), pp. 129–143.

CSL-2011-CardelliLM #axiom #logic #markov #metric

Continuous Markovian Logic — From Complete Axiomatization to the Metric Space of Formulas (LC, KGL, RM), pp. 144–158.

CSL-2011-Czajka #approach #combinator #logic #semantics

A Semantic Approach to Illative Combinatory Logic (LC0), pp. 174–188.

CSL-2011-DurandS #complexity #higher-order #logic #problem #query

Enumeration Complexity of Logical Query Problems with Second-order Variables (AD, YS), pp. 189–202.

CSL-2011-Eickmeyer #first-order #logic #random

Non-Definability Results for Randomised First-Order Logic (KE), pp. 218–232.

CSL-2011-GroheGHL #logic #recursion

L-Recursion and a new Logic for Logarithmic Space (MG, BG, AH, BL), pp. 277–291.

CSL-2011-Kieronski #decidability #linear #logic #order

Decidability Issues for Two-Variable Logics with Several Linear Orders (EK), pp. 337–351.

CSL-2011-KomendantskayaP #algebra #logic programming

Coalgebraic Derivations in Logic Programming (EK, JP), pp. 352–366.

CSL-2011-ReusS #functional #logic #source code

Relative Completeness for Logics of Functional Programs (BR, TS), pp. 470–480.

ICLP-2011-Bulwahn #generative #logic programming #testing

Smart test data generators via logic programming (LB), pp. 139–150.

ICLP-2011-ChishamPSW #logic programming #named #repository #using #web #web service

CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services (BC, EP, TCS, BW), pp. 209–219.

ICLP-2011-FodorK #logic #transaction

Transaction Logic with Defaults and Argumentation Theories (PF, MK), pp. 162–174.

ICLP-2011-Herranz-NievaM #logic programming #object-oriented #source code #specification #synthesis

Synthesis of Logic Programs from Object-Oriented Formal Specifications (ÁHN, JM), pp. 95–105.

ICLP-2011-Krennwallner #composition #logic programming #source code

Promoting Modular Nonmonotonic Logic Programs (TK), pp. 274–279.

ICLP-2011-Kriener #logic programming #reasoning #source code

Correct Reasoning about Logic Programs (JK), pp. 280–283.

ICLP-2011-MolinaroSS #abduction #logic #probability

Abduction in Annotated Probabilistic Temporal Logic (CM, AS, VSS), pp. 240–250.

ICLP-2011-NicholsonSS #generative #logic #music #probability #using

Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise (CJN, DDS, JS), pp. 231–239.

ICLP-2011-Simko #logic programming #order

Accepting the natural order of rules in a logic program with preferences (AS), pp. 284–289.

ICLP-2011-Zombori #information retrieval #logic #performance #reasoning

Two Phase Description Logic Reasoning for Efficient Information Retrieval (ZZ), pp. 296–300.

ICLP-J-2011-AreiasR #evaluation #logic programming #on the #source code

On combining linear-based strategies for tabled evaluation of logic programs (MA, RR), pp. 681–696.

ICLP-J-2011-CruzR #evaluation #logic programming #performance #retrieval #source code

Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs (FC, RR), pp. 697–712.

ICLP-J-2011-DrescherT #logic programming #named #prolog

ALPprolog — A new logic programming method for dynamic domains (CD, MT), pp. 451–468.

ICLP-J-2011-GutmannTKBR #logic #probability #programming

The magic of logical inference in probabilistic programming (BG, IT, AK, MB, LDR), pp. 663–680.

ICLP-J-2011-Haemmerle #concurrent #constraints #linear #logic

Observational equivalences for linear logic concurrent constraint languages (RH), pp. 469–485.

ICLP-J-2011-Vennekens

Actual causation in CP-logic (JV), pp. 647–662.

ICLP-J-2011-VoetsS #analysis #integer #logic programming #source code

Non-termination analysis of logic programs with integer arithmetics (DV, DDS), pp. 521–536.

ISSTA-2011-TateishiPT #analysis #higher-order #logic #monad #string

Path- and index-sensitive string analysis based on monadic second-order logic (TT, MP, OT), pp. 166–176.

LICS-2011-BresolinMSS #decidability #logic #what

What’s Decidable about Halpern and Shoham’s Interval Logic? The Maximal Fragment ABBL (DB, AM, PS, GS), pp. 387–396.

LICS-2011-ChenF #logic

Listings and Logics (YC, JF), pp. 165–174.

LICS-2011-Figueira #decidability #logic #word

A Decidable Two-Way Logic on Data Words (DF), pp. 365–374.

LICS-2011-Heijltjes #linear #logic #proving

Proof Nets for Additive Linear Logic with Units (WH), pp. 207–216.

LICS-2011-HurDV #garbage collection #logic

Separation Logic in the Presence of Garbage Collection (CKH, DD, VV), pp. 247–256.

LICS-2011-KontinenKLV #complexity #dependence #logic

Complexity of Two-Variable Dependence Logic and IF-Logic (JK, AK, PL, JV), pp. 289–298.

LICS-2011-MadelaineM #first-order #logic #similarity

A Tetrachotomy for Positive First-Order Logic without Equality (FRM, BM), pp. 311–320.

LICS-2011-MarcinkowskiM #logic

The Ultimate Undecidability Result for the Halpern-Shoham Logic (JM, JM), pp. 377–386.

LICS-2011-Tiwari #biology #logic

Logic in Software, Dynamical and Biological Systems (AT), pp. 9–10.

TLCA-2011-Gimenez #difference #linear #logic #normalisation #proving

Realizability Proof for Normalization of Full Differential Linear Logic (SG), pp. 107–122.

TLCA-2011-Lasson #logic

Controlling Program Extraction in Light Logics (ML), pp. 123–137.

TLCA-2011-RehofU #combinator #finite #logic

Finite Combinatory Logic with Intersection Types (JR, PU), pp. 169–183.

ECSA-2010-BruckmannG #architecture #development #information management #logic #maintenance #modelling

An Architectural Blueprint for Model Driven Development and Maintenance of Business Logic for Information Systems (TB, VG), pp. 53–69.

CASE-2010-BraunS #approach #constraints #logic #predict

A Mixed Logical Dynamic Model Predictive Control approach for handling industrially relevant transportation constraints (MWB, JS), pp. 966–971.

CASE-2010-ChaouiS #adaptation #fuzzy #logic #nondeterminism

Adaptive fuzzy logic motion and posture control of inverted pendulums with unstructured uncertainties (HC, PS), pp. 638–643.

CASE-2010-MikosFBF #design #development #distributed #ontology #reuse #using

Development of a system for distributed sharing and reuse of design and manufacturing knowledge in the PFMEA domain using a description logics-based ontology (WLM, JCEF, PEAB, LSF), pp. 598–603.

DAC-2010-DadgourHSB #analysis #design #energy #logic #using

Design and analysis of compact ultra energy-efficient logic gates using laterally-actuated double-electrode NEMS (HFD, MMH, CS, KB), pp. 893–896.

DAC-2010-JindalAHLNW #detection #logic

Detecting tangled logic structures in VLSI netlists (TJ, CJA, JH, ZL, GJN, CBW), pp. 603–608.

DAC-2010-TanachutiwatLWS #configuration management #logic #multi

Reconfigurable multi-function logic based on graphene P-N junctions (ST, JUL, WW, CYS), pp. 883–888.

DAC-2010-WangZD #distributed #logic #parallel #simulation

Distributed time, conservative parallel logic simulation on GPUs (BDW, YZ, YD), pp. 761–766.

DATE-2010-BollapalliKK #implementation #logic

Implementing digital logic with sinusoidal supplies (KCB, SPK, LBK), pp. 315–318.

DATE-2010-ChoudhuryCMA #logic #performance

Analytical model for TDDB-based performance degradation in combinational logic (MRC, VC, KM, RCA), pp. 423–428.

DATE-2010-JamaaMM #logic #power management

Power consumption of logic circuits in ambipolar carbon nanotube technology (MHBJ, KM, GDM), pp. 303–306.

DATE-2010-LiSC #logic #manycore

Exploiting local logic structures to optimize multi-core SoC floorplanning (CHL, SS, LPC), pp. 1291–1296.

DATE-2010-LiZHH #logic #optimisation #synthesis

Reversible logic synthesis through ant colony optimization (ML, YZ, MSH, CH), pp. 307–310.

DATE-2010-LuckenbillLHMH #algorithm #analysis #fault #logic #named #reliability

RALF: Reliability Analysis for Logic Faults — An exact algorithm and its applications (SBL, JYL, YH, RM, LH), pp. 783–788.

DATE-2010-MartinelloMRR #approach #logic #multi #named #synthesis

KL-Cuts: A new approach for logic synthesis targeting multiple output blocks (OM, FSM, RPR, AIR), pp. 777–782.

DATE-2010-RitheGWDGBC #analysis #logic #statistics

Non-linear Operating Point Statistical Analysis for Local Variations in logic timing at low voltage (RR, JG, AW, SD, GG, DB, AC), pp. 965–968.

DATE-2010-ShinG #approximate #fault #logic #synthesis

Approximate logic synthesis for error tolerant applications (DS, SKG), pp. 957–960.

PODS-2010-HartmannL #dependence #logic #sql

When data dependencies over SQL tables meet the logics of paradox and S-3 (SH, SL), pp. 317–326.

SIGMOD-2010-VaidyaLBDNX #configuration management #data type #logic #named

Symbiote: a reconfigurable logic assisted data streammanagement system (RLADSMS) (PV, JJL, FB, YD, CHN, YX), pp. 1147–1150.

ITiCSE-2010-Friese #logic programming

Measuring of and reacting to learners’ progress in logic programming courses (SF), pp. 152–154.

ESOP-2010-Atkey #analysis #logic

Amortised Resource Analysis with Separation Logic (RA), pp. 85–103.

ESOP-2010-BaillotGM #functional #linear #logic

A PolyTime Functional Language from Light Linear Logic (PB, MG, VM), pp. 104–124.

ESOP-2010-DeshmukhRRV #concurrent #logic #proving

Logical Concurrency Control from Sequential Proofs (JVD, GR, VPR, KV), pp. 226–245.

ESOP-2010-FerreiraFS #concurrent #logic #memory management #modelling

Parameterized Memory Models and Concurrent Separation Logic (RF, XF, ZS), pp. 267–286.

ESOP-2010-MeolaW #fault tolerance #logic #reasoning #source code

Faulty Logic: Reasoning about Fault Tolerant Programs (MLM, DW), pp. 468–487.

ESOP-2010-NakataU #hoare #induction #logic #semantics

A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While (KN, TU), pp. 488–506.

FoSSaCS-2010-AcciaiBZ #behaviour #logic #on the #simulation

On the Relationship between Spatial Logics and Behavioral Simulations (LA, MB, GZ), pp. 146–160.

FoSSaCS-2010-NielsonN #logic #model checking #static analysis

Model Checking Is Static Analysis of Modal Logic (FN, HRN), pp. 191–205.

TACAS-2010-GoreKP #algebra #algorithm #logic

Optimal Tableau Algorithms for Coalgebraic Logics (RG, CK, DP), pp. 114–128.

TACAS-2010-LeinoR #design #encoding #logic #polymorphism #verification

A Polymorphic Intermediate Verification Language: Design and Logical Encoding (KRML, PR), pp. 312–327.

WRLA-2010-BaeM #linear #logic #maude #model checking

The Linear Temporal Logic of Rewriting Maude Model Checker (KB, JM), pp. 208–225.

WRLA-2010-Meseguer #logic

Twenty Years of Rewriting Logic (JM), pp. 15–17.

ICSM-2010-CanforaCCP #detection #empirical #logic #multi #using

Using multivariate time series and association rules to detect logical change coupling: An empirical study (GC, MC, LC, MDP), pp. 1–10.

SCAM-2010-KatsV #aspect-oriented #case study #encapsulation #framework #logic #programming #using

Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability (LCLK, EV), pp. 147–156.

PEPM-2010-Haftmann #haskell #higher-order #logic

From higher-order logic to Haskell: there and back again (FH), pp. 155–158.

SAS-2010-BellAW #concurrent #logic #parallel #pipes and filters

Concurrent Separation Logic for Pipelined Parallelization (CJB, AWA, DW), pp. 151–166.

FLOPS-2010-CaballeroGS #constraints #generative #logic programming #sql #testing

Applying Constraint Logic Programming to SQL Test Case Generation (RC, YGR, FSP), pp. 191–206.

DLT-2010-DrosteV #automaton #bound #logic #multi #theorem

Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices (MD, HV), pp. 160–172.

ICALP-v2-2010-BolligGMZ #automaton #logic #transitive

Pebble Weighted Automata and Transitive Closure Logics (BB, PG, BM, MZ), pp. 587–598.

ICALP-v2-2010-ChenF #logic #on the #proving

On p-Optimal Proof Systems and Logics for PTIME (YC, JF), pp. 321–332.

ICALP-v2-2010-MarcinkowskiMK #decidability #logic

B and D Are Enough to Make the Halpern-Shoham Logic Undecidable (JM, JM, EK), pp. 357–368.

ICALP-v2-2010-MontanariPS #decidability #logic

Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals (AM, GP, PS), pp. 345–356.

LATA-2010-GiampaoloTN #logic #metric #parametricity

Parametric Metric Interval Temporal Logic (BDG, SLT, MN), pp. 249–260.

IFM-2010-AsirelliBFG #framework #logic #variability

A Logical Framework to Deal with Variability (PA, MHtB, AF, SG), pp. 43–58.

SEFM-2010-WeitlNF #logic

Structured Counterexamples for the Temporal Description Logic ALCCTL (FW, SN, BF), pp. 232–243.

ICFP-2010-Crary #higher-order #logic #representation

Higher-order representation of substructural logics (KC), pp. 131–142.

ICFP-2010-MazurakZ #concurrent #linear #logic #named

Lolliproc: to concurrency from classical linear logic via curry-howard and control (KM, SZ), pp. 39–50.

ICFP-2010-StampoulisS #logic #named

VeriML: typed computation of logical terms inside a language with effects (AS, ZS), pp. 333–344.

ICFP-2010-Tobin-HochstadtF #logic

Logical types for untyped languages (STH, MF), pp. 117–128.

ICGT-2010-BalbianiEH #graph grammar #logic

A Dynamic Logic for Termgraph Rewriting (PB, RE, AH), pp. 59–74.

CHI-2010-LiCEDL #automation #interactive #logic #named #prototype #testing

FrameWire: a tool for automatically extracting interaction logic from paper prototyping tests (YL, XC, KE, MD, JAL), pp. 503–512.

ICML-2010-KokD #learning #logic #markov #network #using

Learning Markov Logic Networks Using Structural Motifs (SK, PMD), pp. 551–558.

ICPR-2010-Meunier #analysis #assurance #automation #documentation #logic #quality

Automated Quality Assurance for Document Logical Analysis (JLM), pp. 253–256.

KDIR-2010-Rauch #data mining #logic #mining #semantics #web

Logic of Discovery, Data Mining and Semantic Web — Position Paper (JR), pp. 342–351.

KR-2010-Arieli #logic #on the

On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information (OA).

KR-2010-ArieliAZ #logic

Maximally Paraconsistent Three-Valued Logics (OA, AA, AZ).

KR-2010-Aucher #logic

Characterizing Updates in Dynamic Epistemic Logic (GA).

KR-2010-BaaderBLW #logic #query

Query and Predicate Emptiness in Description Logics (FB, MB, CL, FW).

KR-2010-BelardinelliL #first-order #interactive #logic #multi

Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems (FB, AL).

KR-2010-BienvenuLW #logic

From Preference Logics to Preference Languages, and Back (MB, JL, NW).

KR-2010-BoellaGRT #comprehension #logic

A Logical Understanding of Legal Interpretation (GB, GG, AR, LWNvdT).

KR-2010-CeramiEB #decidability #logic

Decidability of a Description Logic over Infinite-Valued Product Logic (MC, FE, FB).

KR-2010-DitmarschEW #logic

One Hundred Prisoners and a Lightbulb — Logic and Computation (HvD, JvE, WW).

KR-2010-KleinbergM #logic

The Temporal Logic of Token Causes (SK, BM).

KR-2010-KonevLPW #logic #ontology

Decomposing Description Logic Ontologies (BK, CL, DKP, FW).

KR-2010-KontchakovPZ #logic

Interpreting Topological Logics over Euclidean Spaces (RK, IPH, MZ).

KR-2010-LutzS #logic #nondeterminism #probability

Probabilistic Description Logics for Subjective Uncertainty (CL, LS).

KR-2010-PenalozaS #axiom #complexity #logic #on the #product line

On the Complexity of Axiom Pinpointing in the EL Family of Description Logics (RP, BS).

KR-2010-Poole #logic #semantics #towards

Towards a Logic of Feature-Based Semantic Science Theories (DP).

KR-2010-PorelloE #combinator #linear #logic #modelling

Modelling Combinatorial Auctions in Linear Logic (DP, UE).

KR-2010-PradeR #logic #reasoning

Reasoning with Logical Proportions (HP, GR).

KR-2010-Shapiro #logic #semantics #syntax

Set-Oriented Logical Connectives: Syntax and Semantics (SCS).

KR-2010-WangWT #knowledge base #logic

Revising General Knowledge Bases in Description Logics (ZW, KW, RWT).

SEKE-2010-Spector #logic

Prodigious Data, Logic, Processing, and Usage (AZS), p. 1.

ICMT-2010-TroyaV #atl #logic #semantics #towards

Towards a Rewriting Logic Semantics for ATL (JT, AV), pp. 230–244.

MoDELS-v1-2010-AmbroziewiczS #interactive #logic #reuse

Application Logic Patterns — Reusable Elements of User-System Interaction (AA, MS), pp. 241–255.

ECOOP-2010-StadenCM #execution #logic #object-oriented #specification #verification

Verifying Executable Object-Oriented Specifications with Separation Logic (SvS, CC, BM), pp. 151–174.

OOPSLA-2010-KloseO #composition #logic #metaprogramming

Modular logic metaprogramming (KK, KO), pp. 484–503.

LOPSTR-2010-BacciC #first-order #functional #logic programming #source code

Abstract Diagnosis of First Order Functional Logic Programs (GB, MC), pp. 215–233.

LOPSTR-2010-StroderSG #analysis #dependence #logic programming #source code #termination

Dependency Triples for Improving Termination Analysis of Logic Programs with Cut (TS, PSK, JG), pp. 184–199.

LOPSTR-2010-Vidal #approach #hybrid #logic programming #partial evaluation #source code

A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs (GV), pp. 200–214.

LOPSTR-2010-VoetsS #analysis #logic programming #source code #using

Non-termination Analysis of Logic Programs Using Types (DV, DDS), pp. 133–148.

PPDP-2010-BaillotH #linear #logic #type inference

Type inference in intuitionistic linear logic (PB, MH), pp. 219–230.

PPDP-2010-DowekG #logic

Permissive-nominal logic (GD, MJG), pp. 165–176.

PPDP-2010-FodorK #logic #transaction

Tabling for transaction logic (PF, MK), pp. 199–208.

PPDP-2010-SnowBN #approach #logic programming #metaprogramming

A meta-programming approach to realizing dependently typed logic programming (ZS, DB, GN), pp. 187–198.

POPL-2010-DreyerNRB #data type #higher-order #logic #relational

A relational modal logic for higher-order stateful ADTs (DD, GN, AR, LB), pp. 185–198.

POPL-2010-GershenfeldDCKGDGS #automaton #configuration management #logic

Reconfigurable asynchronous logic automata: (RALA) (NG, DD, KC, AK, FG, EDD, SG, PSN), pp. 1–6.

SAC-2010-BelohlavekV10a #database #logic #query #similarity

Query systems in similarity-based databases: logical foundations, expressive power, and completeness (RB, VV), pp. 1648–1655.

SAC-2010-DrumondG #concept #logic #markov #ontology #using

Extracting ontology concept hierarchies from text using Markov logic (LD, RG), pp. 1354–1358.

SAC-2010-McDonaldTKG #component #reduction #using

Using logic-based reduction for adversarial component recovery (JTM, EDT, YCK, MRG), pp. 1993–2000.

FSE-2010-KimGLR #logic #named #query #re-engineering #refactoring

Ref-Finder: a refactoring reconstruction tool based on logic query templates (MK, MG, AL, NR), pp. 371–372.

SPLC-2010-KaratasOD #constraints #feature model #finite #logic programming #modelling

Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains (ASK, HO, AHD), pp. 286–299.

CAV-2010-BasinKM #first-order #logic #monitoring #policy

Policy Monitoring in First-Order Temporal Logic (DAB, FK, SM), pp. 1–18.

CAV-2010-GhorbalGP #approach #logic

A Logical Product Approach to Zonotope Intersection (KG, EG, SP), pp. 212–226.

CSL-2010-BaazF #logic

A Resolution Mechanism for Prenex Gödel Logic (MB, CGF), pp. 67–79.

CSL-2010-BenediktLP #automaton #logic #word

Automata vs. Logics on Data Words (MB, CL, GP), pp. 110–124.

CSL-2010-BiancoMM #logic

Graded Computation Tree Logic with Binary Coding (AB, FM, AM), pp. 125–139.

CSL-2010-Chaudhuri #logic

Classical and Intuitionistic Subexponential Logics Are Equally Expressive (KC), pp. 185–199.

CSL-2010-ChurchillL #logic

A Logic of Sequentiality (MC, JL), pp. 215–229.

CSL-2010-FinkbeinerS #coordination #logic

Coordination Logic (BF, SS), pp. 305–319.

CSL-2010-FioreH #equation #higher-order #logic

Second-Order Equational Logic (Extended Abstract) (MPF, CKH), pp. 320–335.

CSL-2010-GanzowK #algorithm #higher-order #induction #logic #monad

New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures (TG, LK), pp. 366–380.

CSL-2010-LohmannV #complexity #dependence #logic

Complexity Results for Modal Dependence Logic (PL, HV), pp. 411–425.

CSL-2010-MartinM #complexity #first-order #logic #similarity

The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case (BM, JM), pp. 426–438.

CSL-2010-NenovP #logic #on the

On the Computability of Region-Based Euclidean Logics (YN, IPH), pp. 439–453.

CSL-2010-Platzer #difference #distributed #hybrid #logic #quantifier

Quantified Differential Dynamic Logic for Distributed Hybrid Systems (AP), pp. 469–483.

CSL-2010-Pous #algebra #linear #logic #proving

Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic (DP), pp. 484–498.

CSL-2010-SchwentickZ #logic #order

Two-Variable Logic with Two Order Relations — (Extended Abstract) (TS, TZ), pp. 499–513.

ICLP-2010-Alqaddoumi10 #functional #logic programming #parallel #towards #virtual machine

Towards a Parallel Virtual Machine for Functional Logic Programming (AA), pp. 222–225.

ICLP-2010-CorapiRL10 #abduction #induction #logic programming

Inductive Logic Programming as Abductive Search (DC, AR, EL), pp. 54–63.

ICLP-2010-Dandois10 #logic programming #program analysis #source code

Program analysis for code duplication in logic programs (CD), pp. 241–247.

ICLP-2010-Fages10 #biology #logic #paradigm

A Logical Paradigm for Systems Biology (Invited Talk) (FF), pp. 2–3.

ICLP-2010-Fierens10 #logic #modelling #performance #probability

Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization (DF), pp. 74–83.

ICLP-2010-Guenot10 #calculus #linear #logic #proving

Focused Proof Search for Linear Logic in the Calculus of Structures (NG), pp. 84–93.

ICLP-2010-Martinez10 #concurrent #constraints #design #implementation #linear #logic programming #programming language

Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints (TM), pp. 277–280.

ICLP-2010-Near10 #logic programming #relational #source code #specification

From Relational Specifications to Logic Programs (JPN), pp. 144–153.

ICLP-2010-Pahlavi10 #higher-order #learning #logic

Higher-order Logic Learning and λ-Progol (NP), pp. 281–285.

ICLP-2010-PereiraP10 #logic programming #semantics #source code

Tight Semantics for Logic Programs (LMP, AMP), pp. 134–143.

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-2010-Saeedloei10 #cyber-physical #logic programming

Logic Programming Foundations of Cyber-Physical Systems (NS), pp. 289–293.

ICLP-2010-SimariS10 #abduction #logic programming #probability #source code

Abductive Inference in Probabilistic Logic Programs (GIS, VSS), pp. 192–201.

ICLP-2010-Wernhard10 #logic programming

Circumscription and Projection as Primitives of Logic Programming (CW), pp. 202–211.

ICLP-J-2010-BaralGPS #case study #logic #logic programming #modelling

Logic programming for finding models in the logics of knowledge and its applications: A case study (CB, GG, EP, TCS), pp. 675–690.

ICLP-J-2010-Delgrande #approach #logic programming #semantics #set #source code

A program-level approach to revising logic programs under the answer set semantics (JPD), pp. 565–580.

ICLP-J-2010-GavanelliRMC #assessment

Logic-based decision support for strategic environmental assessment (MG, FR, MM, PC), pp. 643–658.

ICLP-J-2010-HouCD #fixpoint #logic #rule-based

FO(FD): Extending classical logic with rule-based fixpoint definitions (PH, BdC, MD), pp. 581–596.

ICLP-J-2010-PettorossiSP #infinity #logic programming #source code

Transformations of logic programs on infinite lists (AP, VS, MP), pp. 383–399.

ICLP-J-2010-Schneider-KampGSST #analysis #automation #logic programming #source code #termination

Automated termination analysis for logic programs with cut (PSK, JG, TS, AS, RT), pp. 365–381.

ICLP-J-2010-SneyersMVKS #learning #logic #probability

CHR(PRISM)-based probabilistic logic learning (JS, WM, JV, YK, TS), pp. 433–447.

ICLP-J-2010-WangYYS #logic programming #source code

Loop formulas for description logic programs (YW, JHY, LYY, YDS), pp. 531–545.

ICTSS-2010-Gladisch #first-order #generative #logic #quantifier #source code #specification #testing

Test Data Generation for Programs with Quantified First-Order Logic Specifications (CG), pp. 158–173.

IJCAR-2010-BackesB #higher-order #logic

Analytic Tableaux for Higher-Order Logic with Choice (JB, CEB), pp. 76–90.

IJCAR-2010-Benthem #complexity #logic

Logic between Expressivity and Complexity (JvB), pp. 122–126.

IJCAR-2010-GlimmHM #logic #reasoning

Optimized Description Logic Reasoning via Core Blocking (BG, IH, BM), pp. 457–471.

IJCAR-2010-GoreKPS #algebra #logic

Global Caching for Coalgebraic Description Logics (RG, CK, DP, LS), pp. 46–60.

IJCAR-2010-GoreW #logic

Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse (RG, FW), pp. 225–239.

IJCAR-2010-KaminskiS #hybrid #logic

Terminating Tableaux for Hybrid Logic with Eventualities (MK, GS), pp. 240–254.

IJCAR-2010-Kazakov #axiom #logic

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ (YK), pp. 472–486.

IJCAR-2010-MagkaKH #data type #logic

Tractable Extensions of the Description Logic EL with Numerical Datatypes (DM, YK, IH), pp. 61–75.

IJCAR-2010-MayerC #hybrid #logic #proving

Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic (MCM, SC), pp. 255–262.

IJCAR-2010-Nivelle #logic

Classical Logic with Partial Functions (HdN), pp. 203–217.

LICS-2010-AvronAZ #logic #on the

On Strong Maximality of Paraconsistent Finite-Valued Logics (AA, OA, AZ), pp. 304–313.

LICS-2010-BroadbentCOS #logic #recursion

Recursion Schemes and Logical Reflection (CHB, AC, CHLO, OS), pp. 120–129.

LICS-2010-BrotherstonK #logic

Undecidability of Propositional Separation Logic and Its Neighbours (JB, MIK), pp. 130–139.

LICS-2010-CaliGLMP #datalog #information management #logic #product line #query #representation

Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications (AC, GG, TL, BM, AP), pp. 228–242.

LICS-2010-GuglielmiGS #logic

Breaking Paths in Atomic Flows for Classical Logic (AG, TG, LS), pp. 284–293.

LICS-2010-Herbelin #logic #markov #principle

An Intuitionistic Logic that Proves Markov’s Principle (HH), pp. 50–56.

LICS-2010-KreutzerT #bound #complexity #higher-order #logic #monad

Lower Bounds for the Complexity of Monadic Second-Order Logic (SK, ST), pp. 189–198.

LICS-2010-Zeilberger #continuation #logic

Polarity and the Logic of Delimited Continuations (NZ), pp. 219–227.

RTA-2010-HillsR #approach #composition #logic #program analysis #semantics

A Rewriting Logic Semantics Approach to Modular Program Analysis (MH, GR), pp. 151–160.

SAT-2010-BeyersdorffMMTV #complexity #logic #proving

Proof Complexity of Propositional Default Logic (OB, AM, SM, MT, HV), pp. 30–43.

TAP-2010-AhnD #axiom #first-order #logic #testing #verification

Testing First-Order Logic Axioms in Program Verification (KYA, ED), pp. 22–37.

TAP-2010-Rusu #proving #specification #theorem proving

Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications (VR), pp. 135–150.

VMCAI-2010-SanchezL #linear #logic

Regular Linear Temporal Logic with Past (CS, ML), pp. 295–311.

ASE-2009-WongC #analysis #dependence #logic #modelling #performance

Improving the Efficiency of Dependency Analysis in Logical Decision Models (SW, YC), pp. 173–184.

CASE-2009-AllenGT #logic #nondeterminism #verification

Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers (LVA, KMG, DMT), pp. 1–6.

CASE-2009-BengtssonLYFB #development #logic #specification

Operation-oriented specification for integrated control logic development (KB, BL, CY, PF, SB), pp. 183–190.

DAC-2009-BawiecN #logic #synthesis

Boolean logic function synthesis for generalised threshold gate circuits (MAB, MN), pp. 83–86.

DAC-2009-ChoudhuryM #logic #lookahead #optimisation #using

Timing-driven optimization using lookahead logic circuits (MRC, KM), pp. 390–395.

DAC-2009-PatilLZWM #logic #using

Digital VLSI logic technology using Carbon Nanotube FETs: frequently asked questions (NP, AL, JZ, HSPW, SM), pp. 304–309.

DAC-2009-WilleD #logic #scalability #synthesis

BDD-based synthesis of reversible logic for large functions (RW, RD), pp. 270–275.

DATE-2009-BobbaZPAM #design #logic #standard #synthesis

Design of compact imperfection-immune CNFET layouts for standard-cell-based logic synthesis (SB, JZ, AP, DA, GDM), pp. 616–621.

DATE-2009-ChoudhuryM #fault #logic

Masking timing errors on speed-paths in logic circuits (MRC, KM), pp. 87–92.

DATE-2009-JamaaMM #library #logic #multi #novel #synthesis

Novel library of logic gates with ambipolar CNTFETs: Opportunities for multi-level logic synthesis (MHBJ, KM, GDM), pp. 622–627.

DATE-2009-KravetsM #logic #synthesis #using

Sequential logic synthesis using symbolic bi-decomposition (VNK, AM), pp. 1458–1463.

DATE-2009-LomneMTRSC #evaluation #logic #robust

Evaluation on FPGA of triple rail logic robustness against DPA and DEMA (VL, PM, LT, MR, RS, NC), pp. 634–639.

DATE-2009-MatsunagaHIMEOH #in memory

MTJ-based nonvolatile logic-in-memory circuit, future prospects and issues (SM, JH, SI, KM, TE, HO, TH), pp. 433–435.

DATE-2009-MitraZPW #logic #using

Imperfection-immune VLSI logic circuits using Carbon Nanotube Field Effect Transistors (SM, JZ, NP, HW), pp. 436–441.

DATE-2009-WuM #logic #order #performance

Joint logic restructuring and pin reordering against NBTI-induced performance degradation (KCW, DM), pp. 75–80.

DATE-2009-YangO #adaptation #towards

Towards no-cost adaptive MPSoC static schedules through exploitation of logical-to-physical core mapping latitude (CY, AO), pp. 63–68.

DATE-2009-YangSVBS #approximate #logic

Sequential logic rectifications with approximate SPFDs (YSY, SS, AGV, RKB, DES), pp. 1698–1703.

DATE-2009-ZhengH #array #logic #programmable #satisfiability

Defect-aware logic mapping for nanowire-based programmable logic arrays via satisfiability (YZ, CH), pp. 1279–1283.

DocEng-2009-SchonbergWJF #documentation #verification

Logic-based verification of technical documentation (CS, FW, MJ, BF), pp. 251–252.

ICDAR-2009-NtirogiannisGP #adaptation #documentation #image #logic

A Modified Adaptive Logical Level Binarization Technique for Historical Document Images (KN, BG, IP), pp. 1171–1175.

ICDAR-2009-SantoshLR #induction #logic programming #recognition

Inductive Logic Programming for Symbol Recognition (KCS, BL, JPR), pp. 1330–1334.

WRLA-2008-AgrigoroaieiC09 #logic #specification

Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors (OA, GC), pp. 5–22.

WRLA-2008-Hills09 #logic #memory management #semantics

Memory Representations in Rewriting Logic Semantics Definitions (MH0), pp. 155–172.

ESOP-2009-RazaCG #automation #logic #parallel

Automatic Parallelization with Separation Logic (MR, CC, PG), pp. 348–362.

FASE-2009-BoronatHM #logic #model transformation #semantics #verification

Rewriting Logic Semantics and Verification of Model Transformations (AB, RH, JM), pp. 18–33.

FASE-2009-GrayM #logic #testing

Logical Testing (KEG, AM), pp. 186–200.

FoSSaCS-2009-AntonopoulosD #graph #logic

Separating Graph Logic from MSO (TA, AD), pp. 63–77.

FoSSaCS-2009-Gutierrez #bisimulation #concurrent #game studies #logic

Logics and Bisimulation Games for Concurrency, Causality and Conflict (JG), pp. 48–62.

FoSSaCS-2009-Leivant #logic #on the

On the Completeness of Dynamic Logic (DL), pp. 78–91.

FoSSaCS-2009-MyersPS #algebra #hybrid #logic

Coalgebraic Hybrid Logic (RSRM, DP, LS), pp. 137–151.

ICSM-2009-WongC #impact analysis #logic #modelling #predict

Predicting change impact from logical models (SW, YC), pp. 467–470.

WCRE-1999-RatiuMJ99a #composition #logic #source code

The Logical Modularity of Programs (DR, RM, JJ), pp. 123–127.

PEPM-2009-SimmonsP #approximate #linear #logic

Linear logical approximations (RJS, FP), pp. 9–20.

DLT-2009-BolligG #logic #probability

Weighted versus Probabilistic Logics (BB, PG), pp. 18–38.

DLT-2009-JeandelT #logic

Subshifts, Languages and Logic (EJ, GT), pp. 288–299.

DLT-2009-MogaveroM #logic #quantifier

Branching-Time Temporal Logics with Minimal Model Quantifiers (FM, AM), pp. 396–409.

DLT-2009-Quaas #logic

Weighted Timed MSO Logics (KQ), pp. 419–430.

ICALP-v2-2009-DaxKL #logic #on the

On Regular Temporal Logics with Past, (CD, FK, ML), pp. 175–187.

ICALP-v2-2009-MelliesTT #exponential #linear #logic

An Explicit Formula for the Free Exponential Modality of Linear Logic (PAM, NT, CT), pp. 247–260.

LATA-2009-Courcelle #algorithm #graph #higher-order #logic #monad

Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications (BC), pp. 19–22.

LATA-2009-Gierasimczuk #learning #logic

Learning by Erasing in Dynamic Epistemic Logic (NG), pp. 362–373.

FM-2009-AhrendtBG #logic

Abstract Object Creation in Dynamic Logic (WA, FSdB, IG), pp. 612–627.

FM-2009-AlpuenteBR #logic #specification #verification #web

Specification and Verification of Web Applications in Rewriting Logic (MA, DB, DR), pp. 790–805.

FM-2009-Boute #logic #unification

Making Temporal Logic Calculational: A Tool for Unification and Discovery (RTB), pp. 387–402.

IFM-2009-Weiss #abstraction #calculus #logic

Predicate Abstraction in a Program Logic Calculus (BW), pp. 136–150.

SEFM-2009-BresolinGMS #constraints #integer #logic

Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths (DB, VG, AM, GS), pp. 240–249.

SEFM-2009-TatsutaCA #logic #pointer #verification

Completeness of Pointer Program Verification by Separation Logic (MT, WNC, MFAA), pp. 179–188.

DHM-2009-ZhengHLZLQ #feedback #fuzzy #logic #nondeterminism

Fuzzy Logic in Exploring Data Effects: A Way to Unveil Uncertainty in EEG Feedback (FZ, BH, LL, TZ, YL, YQ), pp. 754–763.

HIMI-II-2009-Matsak #logic #representation

Representing Logical Inference Steps with Digital Circuits (EM), pp. 178–184.

AdaEurope-2009-LauY #logic #on the #testing

On Comparing Testing Criteria for Logical Decisions (MFL, YTY), pp. 44–58.

ICEIS-AIDSS-2009-BombiniMBFE #framework #learning #logic programming

A Logic Programming Framework for Learning by Imitation (GB, NDM, TMAB, SF, FE), pp. 218–223.

ICEIS-AIDSS-2009-LiH #aspect-oriented #framework #logic

Formulating Aspects of Paypal in the Logic Framework of GBMF (ML, CJH), pp. 39–44.

ICEIS-AIDSS-2009-RoperoGLC #fuzzy #information management #logic #novel #web

Term Weighting: Novel Fuzzy Logic based Method Vs. Classical TF-IDF Method for Web Information Extraction (JR, AG, CL, AC), pp. 130–137.

ICEIS-J-2009-CallegariB #fuzzy #logic #multi #using

A Multi-criteria Resource Selection Method for Software Projects Using Fuzzy Logic (DAC, RMB), pp. 376–388.

ICML-2009-DavisD #higher-order #logic #markov

Deep transfer via second-order Markov logic (JD, PMD), pp. 217–224.

ICML-2009-KokD #learning #logic #markov #network

Learning Markov logic network structure via hypergraph lifting (SK, PMD), pp. 505–512.

ICML-2009-YuilleZ #composition #learning

Compositional noisy-logical learning (ALY, SZ), pp. 1209–1216.

KEOD-2009-ArkoudasBK #logic #reasoning

Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic (KA, SB, SK), pp. 80–87.

KEOD-2009-MatusiewiczMR #logic

Reduced Implicate Tries and Logical Operations (AM, NVM, ER), pp. 456–459.

KEOD-2009-ZambachM #implementation #logic #ontology

Applying Terminological Methods and Description Logic for Creating and Implementing an Ontology on Inhibition (SZ, BNM), pp. 452–455.

SIGIR-2009-ZucconAR #information retrieval #logic

Revisiting logical imaging for information retrieval (GZ, LA, CJvR), pp. 766–767.

MoDELS-2009-DrusinskyS #logic #uml #using

Using UML Statecharts with Knowledge Logic Guards (DD, MtS), pp. 586–590.

MoDELS-2009-DrusinskyS #logic #uml #using

Using UML Statecharts with Knowledge Logic Guards (DD, MtS), pp. 586–590.

ECOOP-2009-SmansJP #logic

Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic (JS, BJ, FP), pp. 148–172.

TOOLS-EUROPE-2009-NordioCMM #eiffel #logic

A Sound and Complete Program Logic for Eiffel (MN, CC, PM, BM), pp. 195–214.

LOPSTR-2009-AlpuenteFJV #datalog #logic

Defining Datalog in Rewriting Logic (MA, MAF, CJ, AV), pp. 188–204.

LOPSTR-2009-MinG #induction #logic programming

Coinductive Logic Programming with Negation (RM, GG), pp. 97–112.

LOPSTR-2009-Nishimura #exception #logic

Refining Exceptions in Four-Valued Logic (SN), pp. 113–127.

LOPSTR-2009-PettorossiPS #branch #logic #program transformation

Deciding Full Branching Time Logic by Program Transformation (AP, MP, VS), pp. 5–21.

LOPSTR-2009-Schneider-KampGN #dependence #framework #logic programming #source code #termination

The Dependency Triple Framework for Termination of Logic Programs (PSK, JG, MTN), pp. 37–51.

PPDP-2009-AntoyH #functional #logic programming #set

Set functions for functional logic programming (SA, MH), pp. 73–82.

PPDP-2009-GuoZS #consistency #named

L2C2: logic-based LSC consistency checking (HFG, WZ, MS), pp. 183–194.

PPDP-2009-NigamM #algorithm #linear #logic #specification

Algorithmic specifications in linear logic with subexponentials (VN, DM), pp. 129–140.

PPDP-2009-Virseda #algorithm #debugging #declarative #framework #higher-order #logic #source code #verification

A higher-order logical framework for the algorithmic debugging and verification of declarative programs (RdVV), pp. 49–60.

PPDP-2009-VlaeminckVD #framework #logic

A logical framework for configuration software (HV, JV, MD), pp. 141–148.

QAPL-2009-Bernardo #logic #markov #nondeterminism #probability #process #testing

Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes (MB), pp. 3–23.

PADL-2009-PereiraP #logic programming #modelling #query #source code #top-down

Layered Models Top-Down Querying of Normal Logic Programs (LMP, AMP), pp. 254–268.

PADL-2009-Porto #database #interactive #logic programming #relational

High-Level Interaction with Relational Databases in Logic Programming (AP), pp. 152–167.

PADL-2009-TarauM #logic

Interoperating Logic Engines (PT, AKM), pp. 137–151.

POPL-2009-BrotherstonC #logic #reasoning

Classical BI: a logic for reasoning about dualising resources (JB, CC), pp. 328–339.

POPL-2009-BrunelDHLM #logic #model checking #using

A foundation for flow-based program matching: using temporal logic and model checking (JB, DD, RRH, JLL, GM), pp. 114–126.

SAC-2009-AthenikosHB #framework

A framework of a logic-based question-answering system for the medical domain (LOQAS-Med) (SJA, HH, ADB), pp. 847–851.

SAC-2009-BriggsA #algebra #constraints #parametricity #specification

Algebraic specification techniques for parametric types with logic-based constraints (DB, SA), pp. 1890–1897.

ISMM-2009-MarronKH #identification

Identification of logically related heap regions (MM, DK, MVH), pp. 89–98.

CADE-2009-NguyenS #calculus #logic

A Tableau Calculus for Regular Grammar Logics with Converse (LAN, AS), pp. 421–436.

CADE-2009-SebastianiV #analysis #axiom #encoding #lightweight #logic

Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis (RS, MV), pp. 84–99.

CADE-2009-SutcliffeBBT #automation #development #higher-order #logic #proving #theorem proving

Progress in the Development of Automated Theorem Proving for Higher-Order Logic (GS, CB, CEB, FT), pp. 116–130.

CAV-2009-McMillanKS #logic

Generalizing DPLL to Richer Logics (KLM, AK, MS), pp. 462–476.

CSL-2009-FerreiraO #functional #linear #logic

Functional Interpretations of Intuitionistic Linear Logic (GF, PO), pp. 3–19.

CSL-2009-Kreutzer #higher-order #logic #monad #on the

On the Parameterised Intractability of Monadic Second-Order Logic (SK), pp. 348–363.

CSL-2009-MontanariPS #decidability #logic

A Decidable Spatial Logic with Cone-Shaped Cardinal Directions (AM, GP, PS), pp. 394–408.

CSL-2009-Weber #complexity #logic #on the

On the Complexity of Branching-Time Logics (VW), pp. 530–545.

ICLP-2009-Ashley-Rollman #distributed #logic programming #research #summary

Research Summary: Logic Programming for Massively Distributed Systems (MPAR), pp. 527–529.

ICLP-2009-BroechelerSS #logic programming #probability #query #source code #using

Using Histograms to Better Answer Queries to Probabilistic Logic Programs (MB, GIS, VSS), pp. 40–54.

ICLP-2009-CaballeroRR #functional #logic programming

Qualified Computations in Functional Logic Programming (RC, MRA, CARD), pp. 449–463.

ICLP-2009-ChenJL #logic programming #source code

Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs (XC, JJ, FL), pp. 130–144.

ICLP-2009-ChristiansenL #analysis #modelling #optimisation #preprocessor #sequence

Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis (HC, OTL), pp. 70–83.

ICLP-2009-CostaRR #logic programming #source code

A Term-Based Global Trie for Tabled Logic Programs (JC, JR, RR), pp. 205–219.

ICLP-2009-Dao-TranEFK #composition #logic programming #revisited

Modular Nonmonotonic Logic Programming Revisited (MDT, TE, MF, TK), pp. 145–159.

ICLP-2009-DelgrandeSTW #logic programming #semantics #set #source code

Merging Logic Programs under Answer Set Semantics (JPD, TS, HT, SW), pp. 160–174.

ICLP-2009-Fodor #evaluation #logic programming #research #source code #summary #transaction

Research Summary: Tabled Evaluation for Transaction Logic Programs (PF), pp. 525–526.

ICLP-2009-Have #analysis #biology #constraints #modelling #sequence #statistics

Logic-Statistic Models with Constraints for Biological Sequence Analysis (CTH), pp. 549–550.

ICLP-2009-HolldoblerR #logic programming #semantics #source code

Logic Programs under Three-Valued Lukasiewicz Semantics (SH, CDPKR), pp. 464–478.

ICLP-2009-King #abstraction #logic #reverse engineering

Untangling Reverse Engineering with Logic and Abstraction (AK), p. 37.

ICLP-2009-Mungall #case study #experience #logic programming #using

Experiences Using Logic Programming in Bioinformatics (CM), pp. 1–21.

ICLP-2009-Namasivayam #logic programming #random #source code

Study of Random Logic Programs (GN), pp. 555–556.

ICLP-2009-Raedt #learning #logic #probability #tutorial

Probabilistic Logic Learning — A Tutorial Abstract (LDR), p. 39.

ICLP-2009-Simkus #logic #logic programming

Fusion of Logic Programming and Description Logics (MS), pp. 551–552.

ICLP-2009-SonPS #logic programming #multi

Logic Programming for Multiagent Planning with Negotiation (TCS, EP, CS), pp. 99–114.

ICLP-2009-Truszczynski #logic programming #satisfiability #semantics #source code

Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (MT), pp. 175–189.

ICLP-2009-Voets #analysis #logic programming #research #source code #summary

Research Summary: Non-termination Analysis of Logic Programs (DV), pp. 553–554.

ICLP-2009-VoetsS #analysis #approach #logic programming #source code

A New Approach to Non-termination Analysis of Logic Programs (DV, DDS), pp. 220–234.

ICLP-2009-Wan #logic programming

Belief Logic Programming (HW), pp. 547–548.

ICLP-2009-WanGKFL #logic programming

Logic Programming with Defaults and Argumentation Theories (HW, BNG, MK, PF, SL), pp. 432–448.

ICST-2009-KaminskiA #detection #fault #logic #testing #using

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection (GKK, PA), pp. 356–365.

ICST-2009-KaminskiA09a #fault #logic #mutation testing #performance #testing #using

Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing (GKK, PA), pp. 386–395.

LICS-2009-BengtsonJPV #calculus #logic #mobile #named #process

Psi-calculi: Mobile Processes, Nominal Data, and Logic (JB, MJ, JP, BV), pp. 39–48.

LICS-2009-BiancoMM #logic

Graded Computation Tree Logic (AB, FM, AM), pp. 342–351.

LICS-2009-BojanczykSW #algebra #logic

Wreath Products of Forest Algebras, with Applications to Tree Logics (MB, HS, IW), pp. 255–263.

LICS-2009-ChenF #logic #problem

A Logic for PTIME and a Parameterized Halting Problem (YC, JF), pp. 397–406.

LICS-2009-DawarGHL #logic #rank

Logics with Rank Operators (AD, MG, BH, BL), pp. 113–122.

LICS-2009-Dominguez #calculus #logic #polymorphism #similarity

Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus (LD), pp. 81–90.

LICS-2009-DreyerAB #logic

Logical Step-Indexed Logical Relations (DD, AA, LB), pp. 71–80.

LICS-2009-KazakovP #complexity #logic #problem #satisfiability

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics (YK, IPH), pp. 407–416.

LICS-2009-KieronskiT #equivalence #finite #first-order #logic #on the #satisfiability

On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations (EK, LT), pp. 123–132.

LICS-2009-MadelaineM #complexity #first-order #logic #similarity

The Complexity of Positive First-order Logic without Equality (FRM, BM), pp. 429–438.

LICS-2009-PaganiT #linear #logic #problem

The Inverse Taylor Expansion Problem in Linear Logic (MP, CT), pp. 222–231.

LICS-2009-PfenningS #logic programming #order #semantics

Substructural Operational Semantics as Ordered Logic Programming (FP, RJS), pp. 101–110.

RTA-2009-BaaderM #logic #unification

Unification in the Description Logic EL (FB, BM), pp. 350–364.

SAT-2009-BeyersdorffMTV #complexity #logic #reasoning

The Complexity of Reasoning for Fragments of Default Logic (OB, AM, MT, HV), pp. 51–64.

TAP-2009-FraserW #logic #testing

Complementary Criteria for Testing Temporal Logic Properties (GF, FW), pp. 58–73.

TLCA-2009-BasaldellaT #logic #on the

On the Meaning of Logical Completeness (MB, KT), pp. 50–64.

TLCA-2009-LagoH #bound #linear #logic #revisited

Bounded Linear Logic, Revisited (UDL, MH), pp. 80–94.

TLCA-2009-Strassburger #higher-order #linear #logic #multi #proving

Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic (LS), pp. 309–324.

TLCA-2009-TsukadaI #classification #logic

A Logical Foundation for Environment Classifiers (TT, AI), pp. 341–355.

TLCA-2009-Vaux #difference #linear #logic

Differential Linear Logic and Polarization (LV), pp. 371–385.

TLCA-2009-Zhang #logic #reasoning

The Computational SLR: A Logic for Reasoning about Computational Indistinguishability (YZ), pp. 401–415.

VMCAI-2009-TalyGT #constraints #logic #theorem proving #using

Synthesizing Switching Logic Using Constraint Solving (AT, SG, AT), pp. 305–319.

ASE-2008-JaspanQA #fault #logic

Error Reporting Logic (CJ, TQ, JA), pp. 138–147.

CASE-2008-LjungkrantzAF #component #industrial #logic #programming #specification #verification

Formal specification and verification of components for industrial logic control programming (OL, KÅ, MF), pp. 935–940.

DAC-2008-CzajkowskiB #composition #linear #logic #synthesis

Functionally linear decomposition and synthesis of logic circuits for FPGAs (TSC, SDB), pp. 18–23.

DAC-2008-HoTDDGS #identification #logic #verification

Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic (RCH, MT, MMD, ROD, JG, DES), pp. 268–271.

DAC-2008-Hurst #automation #logic #synthesis

Automatic synthesis of clock gating logic with controlled netlist perturbation (APH), pp. 654–657.

DAC-2008-JamaaALM #logic #programmable

Programmable logic circuits based on ambipolar CNFET (MHBJ, DA, YL, GDM), pp. 339–340.

DAC-2008-KrishnaswamyMH #design #logic #on the #reliability

On the role of timing masking in reliable logic circuit design (SK, ILM, JPH), pp. 924–929.

DAC-2008-QianR #logic #polynomial #probability #robust #synthesis

The synthesis of robust polynomial arithmetic with stochastic logic (WQ, MDR), pp. 648–653.

DATE-2008-AmelifardHFP #logic #multi #stack

A Current Source Model for CMOS Logic Cells Considering Multiple Input Switching and Stack Effect (BA, SH, HF, MP), pp. 568–573.

DATE-2008-BrownTBP #automation #library #logic #testing

Automated Testability Enhancements for Logic Brick Libraries (JGB, BT, RDB, LTP), pp. 480–485.

DATE-2008-ChatterjeeGHIKPS #logic #realtime #reliability

Logical Reliability of Interacting Real-Time Tasks (KC, AG, TAH, DTI, CMK, CP, ALSV), pp. 909–914.

DATE-2008-ChoudhuryM #approximate #concurrent #detection #fault #logic

Approximate logic circuits for low overhead, non-intrusive concurrent error detection (MRC, KM), pp. 903–908.

DATE-2008-CopeCL #configuration management #gpu #logic #memory management #using

Using Reconfigurable Logic to Optimise GPU Memory Accesses (BC, PYKC, WL), pp. 44–49.

DATE-2008-DongZ #integration #logic #standard #synthesis

Logic Synthesis with Nanowire Crossbar: Reality Check and Standard Cell-based Integration (MD, LZ), pp. 268–271.

DATE-2008-FeinsteinTM #detection #equivalence #logic #using

Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits (DYF, MAT, DMM), pp. 1378–1381.

DATE-2008-PomeranzR #detection #fault #logic

A Bridging Fault Model Where Undetectable Faults Imply Logic Redundancy (IP, SMR), pp. 1166–1171.

DATE-2008-VemuJAPG #concurrent #detection #fault #logic #low cost

A low-cost concurrent error detection technique for processor control logic (RV, AJ, JAA, SP, RG), pp. 897–902.

DATE-2008-WilleLDG #logic #quantifier #synthesis

Quantified Synthesis of Reversible Logic (RW, HML, GWD, DG), pp. 1015–1020.

DATE-2008-ZhangPM #design #guidelines #logic

Design Guidelines for Metallic-Carbon-Nanotube-Tolerant Digital Logic Circuits (JZ, NP, SM), pp. 1009–1014.

PODS-2008-Bojanzyk #effectiveness #logic

Effective characterizations of tree logics (MB), pp. 53–66.

PODS-2008-CateS #automaton #logic #transitive #xpath

XPath, transitive closure logic, and nested tree walking automata (BtC, LS), pp. 251–260.

ITiCSE-2008-Kurmas #automation #logic #performance #student #testing #using

Improving student performance using automated testing of simulated digital logic circuits (ZK), pp. 265–270.

ITiCSE-2008-PoplawskiK #design #logic #named #simulation

JLS: a pedagogically targeted logic design and simulation tool (DAP, ZK), p. 314.

ITiCSE-2008-SalterD #logic #multi #scalability #using

Using DLSim 3: a scalable, extensible, multi-level logic simulator (RMS, JLD), p. 315.

ESOP-2008-HoborAN #concurrent #logic #semantics

Oracle Semantics for Concurrent Separation Logic (AH, AWA, FZN), pp. 353–367.

FASE-2008-MossakowskiSG #logic #reasoning

A Generic Complete Dynamic Logic for Reasoning About Purity and Effects (TM, LS, SG), pp. 199–214.

FASE-2008-OrejasEP #constraints #graph #logic

A Logic of Graph Constraints (FO, HE, UP), pp. 179–198.

FoSSaCS-2008-BonsangueRS #algebra #automaton #logic #synthesis

Coalgebraic Logic and Synthesis of Mealy Machines (MMB, JJMMR, AS), pp. 231–245.

FoSSaCS-2008-GargA #data access #logic

A Modal Deconstruction of Access Control Logics (DG, MA), pp. 216–230.

FoSSaCS-2008-PattinsonS #algebra #finite #logic #modelling #rank #semantics

Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics (DP, LS), pp. 66–80.

TACAS-2008-TsayCTCL #automaton #logic #research #towards

GOAL Extended: Towards a Research Tool for ω Automata and Temporal Logic (YKT, YFC, MHT, WCC, CJL), pp. 346–350.

WCRE-2008-RobbesPL #fine-grained #logic

Logical Coupling Based on Fine-Grained Change Information (RR, DP, ML), pp. 42–46.

FLOPS-2008-CaballeroRV #constraints #declarative #functional #logic programming

Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 305–321.

FLOPS-2008-Rodriguez-ArtalejoR #logic programming #revisited

Quantitative Logic Programming Revisited (MRA, CARD), pp. 272–288.

DLT-J-2007-DiekertGK08 #bibliography #finite #first-order #logic #word

A Survey on Small Fragments of First-Order Logic over Finite Words (VD, PG, MK), pp. 513–548.

CIAA-2008-EsikI #game studies #logic

Games for Temporal Logics on Trees (ZÉ, SI), pp. 191–200.

DLT-2008-Morin #ambiguity #logic

MSO Logic for Unambiguous Shared-Memory Systems (RM), pp. 516–528.

ICALP-A-2008-Courcelle #aspect-oriented #graph #higher-order #logic #monad

Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects (BC), pp. 1–13.

ICALP-B-2008-BergerHY #abstraction #logic #mobile #process

Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes (MB, KH, NY), pp. 99–111.

ICALP-B-2008-BirkedalRSY #higher-order #logic

A Simple Model of Separation Logic for Higher-Order Store (LB, BR, JS, HY), pp. 348–360.

ICALP-B-2008-BojanczykS #first-order #logic #quantifier

Tree Languages Defined in First-Order Logic with One Quantifier Alternation (MB, LS), pp. 233–245.

ICALP-B-2008-Mathissen #algebra #logic #word

Weighted Logics for Nested Words and Algebraic Formal Power Series (CM), pp. 221–232.

ICALP-B-2008-SimmonsP #algorithm #linear #logic

Linear Logical Algorithms (RJS, FP), pp. 336–347.

LATA-2008-Kahramanogullari #concurrent #linear #logic #on the

On Linear Logic Planning and Concurrency (OK), pp. 250–262.

FM-2008-KitchinPM #distributed #logic #simulation

Simulation, Orchestration and Logical Clocks (DK, EP, JM), p. 34.

SEFM-2008-GorankoS #distributed #logic #multi

Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge (VG, DS), pp. 237–246.

SFM-2008-Talcott #logic

Pathway Logic (CLT), pp. 21–53.

IFL-2008-BrasselF #functional #lazy evaluation #logic programming #source code

From Functional Logic Programs to Purely Functional Programs Preserving Laziness (BB, SF), pp. 25–42.

ICGT-2008-BauerBKR #abstraction #graph

A Modal-Logic Based Graph Abstraction (JB, IB, MEK, AR), pp. 321–335.

ICGT-2008-Dodds #logic

From Separation Logic to Hyperedge Replacement and Back (MD), pp. 484–486.

CSCW-2008-Christensen #architecture #design #logic

The logic of practices of stigmergy: representational artifacts in architectural design (LRC), pp. 559–568.

ICEIS-AIDSS-2008-RybakovB #algorithm #logic #multi

Algorithms for AI Logic of Decisions in Multi-Agent Environment (VVR, SB), pp. 125–129.

ICEIS-ISAS2-2008-AnicicS #framework #information management #logic #towards

Towards Creation of Logical Framework for Event-Driven Information Systems (DA, NS), pp. 394–401.

CIKM-2008-ChanLY #logic #modelling #using

Coreference resolution using expressive logic models (KC, WL, XY), pp. 1373–1374.

CIKM-2008-Domingos #information management #logic #markov

Markov logic: a unifying language for knowledge and information management (PMD), p. 519.

ICML-2008-HuynhM #learning #logic #markov #network #parametricity

Discriminative structure and parameter learning for Markov logic networks (TNH, RJM), pp. 416–423.

KR-2008-BaaderGL #axiom #logic #ltl

LTL over Description Logic Axioms (FB, SG, CL), pp. 684–694.

KR-2008-BelardinelliL #first-order #logic

A Complete First-Order Logic of Knowledge and Time (FB, AL), pp. 705–714.

KR-2008-Bienvenu #abduction #complexity #lightweight #logic #product line

Complexity of Abduction in the EL Family of Lightweight Description Logics (MB), pp. 220–230.

KR-2008-BruijnET #logic #ontology

Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic (JdB, TE, HT), pp. 485–495.

KR-2008-CalvaneseGLLR #constraints #identification #logic

Path-Based Identification Constraints in Description Logics (DC, GDG, DL, ML, RR), pp. 231–241.

KR-2008-CalvaneseGLR #logic #ontology #query

View-Based Query Answering over Description Logic Ontologies (DC, GDG, ML, RR), pp. 242–251.

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-Chetcuti-SperandioL #how #logic #strict

How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic (NCS, SL), pp. 340–347.

KR-2008-ClassenL #logic #source code

A Logic for Non-Terminating Golog Programs (JC, GL), pp. 589–599.

KR-2008-DelgrandeSTW #logic programming #semantics #set #source code

Belief Revision of Logic Programs under Answer Set Semantics (JPD, TS, HT, SW), pp. 411–421.

KR-2008-FaberTW #equivalence #logic programming #order #source code

Notions of Strong Equivalence for Logic Programs with Ordered Disjunction (WF, HT, SW), pp. 433–443.

KR-2008-HinrichsG #finite #how #injection #logic #what

Injecting the How into the What: Investigating a Finite Classical Logic (TLH, MRG), pp. 92–192.

KR-2008-LoriniL #logic

A Logical Account of Institutions: From Acceptances to Norms via Legislators (EL, DL), pp. 38–48.

KR-2008-RamanujamS #game studies #logic

Dynamic Logic on Games with Structured Strategies (RR, SES), pp. 49–58.

KR-2008-SchroderP #how #logic #strict

How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics (LS, DP), pp. 307–317.

KR-2008-TomanW #identification #logic

Identifying Objects Over Time with Description Logics (DT, GEW), pp. 724–732.

KR-2008-WittocxMD #approximate #first-order #logic #reasoning

Approximate Reasoning in First-Order Logic Theories (JW, MM, MD), pp. 103–112.

SEKE-2008-LiuLZL #logic #protocol #security

Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic (FL, ZL, TZ, ML), pp. 795–801.

SEKE-2008-PatroneR #bound #logic #programming language

Sharing Application Logic Across Programming Language Boundaries (DSP, BR), pp. 227–231.

ECOOP-2008-BanerjeeNR #invariant #logic #reasoning

Regional Logic for Local Reasoning about Global Invariants (AB, DAN, SR), pp. 387–411.

LOPSTR-2008-LeuschelV #logic programming #partial evaluation #performance #scalability #source code

Fast Offline Partial Evaluation of Large Logic Programs (ML, GV), pp. 119–134.

PPDP-2008-CaballeroRR #logic programming #reasoning #similarity

Similarity-based reasoning in qualified logic programming (RC, MRA, CARD), pp. 185–194.

PPDP-2008-Hanus #analysis #functional #logic programming #source code

Call pattern analysis for functional logic programs (MH), pp. 67–78.

PPDP-2008-Lu #dependence #logic programming #polymorphism #precise #source code

Inferring precise polymorphic type dependencies in logic programs (LL), pp. 143–151.

QAPL-2008-FaellaLS #linear #logic #model checking

Model Checking Quantitative Linear Time Logic (MF, AL, MS), pp. 61–77.

QAPL-2008-TzanisH #logic #probability

Probabilistic Logic over Paths (ET, RH), pp. 79–96.

PADL-2008-CoxN #array #logic programming #spreadsheet #unification

Unification of Arrays in Spreadsheets with Logic Programming (PTC, PKN), pp. 100–115.

PADL-2008-Marpons-UceroMCHMF #automation #consistency #logic programming #using

Automatic Coding Rule Conformance Checking Using Logic Programming (GMU, JMC, MC, ÁHN, JJMN, LÅF), pp. 18–34.

POPL-2008-BrotherstonBC #logic #proving #termination

Cyclic proofs of program termination in separation logic (JB, RB, CC), pp. 101–112.

POPL-2008-ChinDNQ #composition #logic #object-oriented #verification

Enhancing modular OO verification with separation logic (WNC, CD, HHN, SQ), pp. 87–99.

POPL-2008-GaboardiMR #logic

A logical account of pspace (MG, JYM, SRDR), pp. 121–131.

POPL-2008-GulwaniMT #logic #quantifier

Lifting abstract interpreters to quantified logical domains (SG, BM, AT), pp. 235–246.

POPL-2008-ParkinsonB #abstraction #inheritance #logic

Separation logic, abstraction and inheritance (MJP, GMB), pp. 75–86.

SAC-2008-GybelsHD

Symbiosis in logic-based pointcuts over a history of join points (KG, CH, TD), pp. 253–260.

SAC-2008-SavoldiG #logic #physics

Logical and physical data collection of Windows CE based portable devices (AS, PG), pp. 1448–1449.

SAC-2008-SchroederM #logic #xml

Conversion of generalization hierarchies and union types from extended entity-relationship model to an XML logical model (RS, RdSM), pp. 1036–1037.

ICSE-2008-SankaranarayananIG #induction #library #logic programming #mining #specification #using

Mining library specifications using inductive logic programming (SS, FI, AG), pp. 131–140.

SMT-2007-RozanovS08 #constraints #generative #logic #similarity #transitive

Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic (MR, OS), pp. 3–17.

CAV-2008-OHearn #logic #tutorial

Tutorial on Separation Logic (Invited Tutorial) (PWO), pp. 19–21.

CSL-2008-HamanoT #linear #logic #multi

An Indexed System for Multiplicative Additive Polarized Linear Logic (MH, RT), pp. 262–277.

CSL-2008-HodkinsonMS #axiom #logic

Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (IMH, AM, GS), pp. 308–322.

CSL-2008-LagoL #game studies #linear #logic #semantics

Quantitative Game Semantics for Linear Logic (UDL, OL), pp. 230–245.

CSL-2008-Place #logic

Characterization of Logics over Ranked Tree Languages (TP), pp. 401–415.

CSL-2008-Tranquilli #correctness #linear #logic #multi #semantics

A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (PT), pp. 246–261.

ICLP-2008-BelhaouariP #approach #automation #constraints #logic programming #testing

A Constraint Logic Programming Approach to Automated Testing (HB, FP), pp. 754–758.

ICLP-2008-BonattiCOS #privacy #security #trust

Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security (PAB, JLDC, DO, LS), pp. 779–784.

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-CohenSS #algorithm #logic programming #source code

Dynamic Programming Algorithms as Products of Weighted Logic Programs (SBC, RJS, NAS), pp. 114–129.

ICLP-2008-Costa #logic programming

The Life of a Logic Programming System (VSC), pp. 1–6.

ICLP-2008-DeneckerV #integration #knowledge base #logic programming

Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic (MD, JV), pp. 71–76.

ICLP-2008-Fink #logic #programming

Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (MF), pp. 99–113.

ICLP-2008-LukacsySK #logic #prolog #reasoning

Prolog Based Description Logic Reasoning (GL, PS, BK), pp. 455–469.

ICLP-2008-MileoMB #approach #logic programming #monitoring

A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living (AM, DM, RB), pp. 145–159.

ICLP-2008-MontaliTACGLM #declarative #logic programming #specification #using #verification

Verification from Declarative Specifications Using Logic Programming (MM, PT, MA, FC, MG, EL, PM), pp. 440–454.

ICLP-2008-Montanari #logic

Back to Interval Temporal Logics (AM), pp. 11–13.

ICLP-2008-MuggletonST #bias #declarative #logic programming #named #using

TopLog: ILP Using a Logic Program Declarative Bias (SM, JCAS, ATN), pp. 687–692.

ICLP-2008-NearBF #declarative #first-order #logic #named #proving #theorem proving

αleanTAP: A Declarative Theorem Prover for First-Order Classical Logic (JPN, WEB, DPF), pp. 238–252.

ICLP-2008-OHearn #logic #tutorial

Separation Logic Tutorial (PWO), pp. 15–21.

ICLP-2008-PearceV #equilibrium #logic #quantifier #set #source code

Quantified Equilibrium Logic and Foundations for Answer Set Programs (DP, AV), pp. 546–560.

ICLP-2008-PiancastelliO #logic #multi #web

A Multi-theory Logic Language for the World Wide Web (GP, AO), pp. 769–773.

ICLP-2008-PiazzaP #biology #logic #modelling

Systems Biology: Models and Logics (CP, AP), p. 14.

ICLP-2008-Riguzzi #logic programming #semantics #source code

Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics (FR), pp. 667–671.

ICLP-2008-Santos #bias #declarative #logic programming #named #using

TopLog: ILP Using a Logic Program Declarative Bias (JCAS), pp. 818–819.

ICLP-2008-SenniPP #algorithm #constraints #logic programming #source code

A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (VS, AP, MP), pp. 284–300.

ICLP-2008-Tarau #logic

Logic Engines as Interactors (PT), pp. 703–707.

ICLP-2008-TruszczynskiW #composition #logic programming #source code

Relativized Hyperequivalence of Logic Programs for Modular Programming (MT, SW), pp. 576–590.

ICLP-2008-VanhoofD #algorithm #logic programming #source code

An Algorithm for Sophisticated Code Matching in Logic Programs (WV, FD), pp. 785–789.

ICST-2008-RamirezC #adaptation #logic #modelling #uml #verification

Verifying and Analyzing Adaptive Logic through UML State Models (AJR, BHCC), pp. 529–532.

IJCAR-2008-BenzmullerPTF #automation #higher-order #logic #named #proving #theorem proving

LEO-II — A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (CB, LCP, FT, AF), pp. 162–170.

IJCAR-2008-BenzmullerRS #higher-order #logic #named

THF0 — The Core of the TPTP Language for Higher-Order Logic (CB, FR, GS), pp. 491–506.

IJCAR-2008-BozgaIP #logic #source code

Quantitative Separation Logic and Programs with Lists (MB, RI, SP), pp. 34–49.

IJCAR-2008-KaminskiS #difference #hybrid #logic

Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (MK, GS), pp. 210–225.

IJCAR-2008-KonevWW #difference #logic #problem

The Logical Difference Problem for Description Logic Terminologies (BK, DW, FW), pp. 259–274.

IJCAR-2008-Korovin #first-order #logic #named #proving #theorem proving

iProver — An Instantiation-Based Theorem Prover for First-Order Logic (System Description) (KK), pp. 292–298.

IJCAR-2008-Lutz #complexity #logic #query

The Complexity of Conjunctive Query Answering in Expressive Description Logics (CL), pp. 179–193.

IJCAR-2008-MotikH #logic #reasoning #reuse

Individual Reuse in Description Logic Reasoning (BM, IH), pp. 242–258.

IJCAR-2008-MouraB #effectiveness #logic #set #using

Deciding Effectively Propositional Logic Using DPLL and Substitution Sets (LMdM, NB), pp. 410–425.

IJCAR-2008-NigamM #linear #logic

Focusing in Linear Meta-logic (VN, DM), pp. 507–522.

IJCAR-2008-Otten #agile #logic #performance #proving #theorem proving

leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (JO), pp. 283–291.

IJCAR-2008-PerezV #effectiveness #logic #proving

Proof Systems for Effectively Propositional Logic (JANP, AV), pp. 426–440.

IJCAR-2008-Schack-NielsenS #concurrent #deduction #framework #logic #named

Celf — A Logical Framework for Deductive and Concurrent Systems (System Description) (ASN, CS), pp. 320–326.

IJCAR-2008-SchmidtT #first-order #logic

A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (RAS, DT), pp. 194–209.

LICS-2008-CiabattoniGT #axiom #logic

From Axioms to Analytic Rules in Nonclassical Logics (AC, NG, KT), pp. 229–240.

LICS-2008-Grohe #logic

The Quest for a Logic Capturing PTIME (MG), pp. 267–271.

LICS-2008-Lynch #logic #modelling

A Logical Characterization of Individual-Based Models (JFL), pp. 379–390.

LICS-2008-PlotkinP #algebra #logic

A Logic for Algebraic Effects (GDP, MP), pp. 118–129.

LICS-2008-SchurmannS #logic

Structural Logical Relations (CS, JS), pp. 69–80.

LICS-2008-Staton #category theory #logic #semantics

General Structural Operational Semantics through Categorical Logic (SS), pp. 166–177.

RTA-2008-KuhlmannN #automaton #logic #order

Logics and Automata for Totally Ordered Trees (MK, JN), pp. 217–231.

RTA-2008-MazanekM #combinator #functional #graph #parsing

Functional-Logic Graph Parser Combinators (SM, MM), pp. 261–275.

SAT-2008-MarienWDB #induction #logic #satisfiability

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions (MM, JW, MD, MB), pp. 211–224.

TAP-2008-CalvagnaG #approach #combinator #constraints #testing

A Logic-Based Approach to Combinatorial Testing with Constraints (AC, AG), pp. 66–83.

VMCAI-2008-KupfermanL #automaton #game studies #logic #multi #simulation

Multi-valued Logics, Automata, Simulations, and Games (OK, YL), p. 5.

VMCAI-2008-NguyenKC #logic #runtime

Runtime Checking for Separation Logic (HHN, VK, WNC), pp. 203–217.

VMCAI-2008-Schmidt #abstract interpretation #logic

Internal and External Logics of Abstract Interpretations (DAS), pp. 263–278.

CASE-2007-GomezHR #fuzzy #logic #maintenance

Decision Making Based on Fuzzy Logic for Product Subcontracting Taking into Account Maintenance Actions (RAFG, SH, NR), pp. 771–776.

CASE-2007-LjungkrantzA #case study #component #industrial #library #logic #programming #using

A Study of Industrial Logic Control Programming using Library Components (OL, KÅ), pp. 117–122.

CASE-2007-RugnoneVNDCPT #design #logic #named #visual notation

HomeTL: A visual formalism, based on temporal logic, for the design of home based care (AR, EV, CDN, MPD, DC, CP, ET), pp. 747–752.

DAC-2007-LiuONG #configuration management #design #logic #novel

Novel CNTFET-based Reconfigurable Logic Gate Design (JL, IO, DN, FG), pp. 276–277.

DAC-2007-TaylorP #combinator #design #logic #optimisation #physics

Exact Combinatorial Optimization Methods for Physical Design of Regular Logic Bricks (BT, LTP), pp. 344–349.

DAC-2007-ZhouTLW #how #logic

How Much Can Logic Perturbation Help from Netlist to Final Routing for FPGAs (CLZ, WCT, WHL, YLW), pp. 922–927.

DATE-2007-ChoudhuryM #analysis #logic #reliability #scalability

Accurate and scalable reliability analysis of logic circuits (MRC, KM), pp. 1454–1459.

DATE-2007-RaoOK #fault tolerance #interactive #logic

Interactive presentation: Logic level fault tolerance approaches targeting nanoelectronics PLAs (WR, AO, RK), pp. 865–869.

DocEng-2007-DejeanM #documentation #functional #logic

Logical document conversion: combining functional and formal knowledge (HD, JLM), pp. 135–143.

ICDAR-2007-BeusekomKSB #documentation #image #logic

Example-Based Logical Labeling of Document Title Page Images (JvB, DK, FS, TMB), pp. 919–923.

ICDAR-2007-ChenMT #documentation #layout #logic #recognition

Simultaneous Layout Style and Logical Entity Recognition in a Heterogeneous Collection of Documents (SC, SM, GT), pp. 118–122.

ICDAR-2007-EspositoFMB #automation #documentation #first-order #incremental #learning #logic #web

Incremental Learning of First Order Logic Theories for the Automatic Annotations of Web Documents (FE, SF, NDM, TMAB), pp. 1093–1097.

ICDAR-2007-FitzgeraldGK #fuzzy #named #recognition

Mathpad: A Fuzzy Logic-Based Recognition System for Handwritten Mathematics (JAF, FG, MTK), pp. 694–698.

ICDAR-2007-MinagawaFTF #analysis #image #layout #logic

Logical Structure Analysis for Form Images with Arbitrary Layout by Belief Propagation (AM, YF, HT, KF), pp. 714–718.

VLDB-2007-OnoseBC #framework

Inverse Functions in the AquaLogic Data Services Platform (NO, VRB, MJC), pp. 1231–1242.

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.

ITiCSE-2007-Arnold #interactive #learning #logic

Introducing propositional logic and queueing theory with the infotraffic interactive learning environments (RA), p. 356.

WRLA-J-2004-CervesatoS07 #dependent type #logic #representation #specification

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (IC, MOS), pp. 3–35.

WRLA-J-2004-Lopez-FraguasRV07 #constraints #functional #logic programming

A new generic scheme for functional logic programming with constraints (FJLF, MRA, RdVV), pp. 73–122.

WRLA-2006-DenkerTRBES07 #logic

Rewriting Logic Systems (GD, CLT, GR, MvdB, SE, TFS), pp. 233–247.

WRLA-2006-SasseM07 #algebra #hoare #java #logic #semantics #verification

Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics (RS, JM), pp. 29–46.

WRLA-2006-WirsingDTPB07 #constraints #framework #logic

A Rewriting Logic Framework for Soft Constraints (MW, GD, CLT, AP, LB), pp. 181–197.

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.

ESOP-2007-LiOS #compilation #higher-order #logic #set

Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic (GL, SO, KS), pp. 205–219.

FoSSaCS-2007-BaulandSSSV #complexity #linear #logic #satisfiability

The Complexity of Generalized Satisfiability for Linear Temporal Logic (MB, TS, HS, IS, HV), pp. 48–62.

FoSSaCS-2007-BengtsonP #formal method #logic #using #π-calculus

Formalising the π-Calculus Using Nominal Logic (JB, JP), pp. 63–77.

FoSSaCS-2007-BirkedalY #logic #parametricity #relational

Relational Parametricity and Separation Logic (LB, HY), pp. 93–107.

FoSSaCS-2007-ParmaS #bisimulation #logic #probability

Logical Characterizations of Bisimulations for Discrete Probabilistic Systems (AP, RS), pp. 287–301.

FoSSaCS-2007-YoshidaHB #higher-order #logic #reasoning

Logical Reasoning for Higher-Order Functions with Local State (NY, KH, MB), pp. 361–377.

TACAS-2007-FranzleH #logic

Deciding an Interval Logic with Accumulated Durations (MF, MRH), pp. 201–215.

TACAS-2007-KuglerPSH #framework #logic #modelling #predict

“Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models (HK, AP, MJS, EJAH), pp. 343–357.

TACAS-2007-MyreenG #hoare #logic

Hoare Logic for Realistically Modelled Machine Code (MOM, MJCG), pp. 568–582.

TACAS-2007-PandyaKL #abstraction #logic #on the

On Sampling Abstraction of Continuous Time Logic with Durations (PKP, SNK, KL), pp. 246–260.

PEPM-2007-RooverDBND #behaviour #logic #query #similarity #source code #using

Behavioral similarity matching using concrete source code templates in logic queries (CDR, TD, JB, CN, LD), pp. 92–101.

PEPM-2007-Vidal #logic programming #partial evaluation #source code #termination

Quasi-terminating logic programs for ensuring the termination of partial evaluation (GV), pp. 51–60.

SAS-2007-Brotherston #induction #logic #reasoning

Formalised Inductive Reasoning in the Logic of Bunched Implications (JB), pp. 87–103.

CIAA-2007-DrosteR #automaton #logic

Weighted Automata and Weighted Logics with Discounting (MD, GR), pp. 73–84.

DLT-2007-Matthissen #logic

Definable Transductions and Weighted Logics for Texts (CM), pp. 324–336.

ICALP-2007-AtseriasBD07a #equation #logic

Affine Systems of Equations and Counting Infinitary Logic (AA, AAB, AD), pp. 558–570.

ICALP-2007-LuttgenV #concurrent #exclamation #logic #simulation

Ready Simulation for Concurrency: It’s Logical! (GL, WV), pp. 752–763.

ICALP-2007-SchroderP #algorithm #composition #logic

Modular Algorithms for Heterogeneous Modal Logics (LS, DP), pp. 459–471.

ICALP-2007-SimonBMG #induction #logic programming

Co-Logic Programming: Extending Logic Programming with Coinduction (LS, AB, AM, GG), pp. 472–483.

LATA-2007-BaaderHP #automaton #exclamation #logic

SI! Automata Can Show PSPACE Results for Description Logics (FB, JH, RP), pp. 67–78.

LATA-2007-BolligK #automaton #logic #message passing

Muller Message-Passing Automata and Logics (BB, DK), pp. 163–174.

IFM-2007-GheorghiuGC #logic #query

Finding State Solutions to Temporal Logic Queries (MG, AG, MC), pp. 273–292.

SEFM-2007-Bayley #design pattern #formal method #logic

Formalising Design Patterns in Predicate Logic (IB), pp. 25–36.

SEFM-2007-BeckertK #concurrent #deduction #logic #source code #verification

A Dynamic Logic for Deductive Verification of Concurrent Programs (BB, VK), pp. 141–150.

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.

SIGAda-2007-PukiteL #design #logic #simulation #using

Generic discrete event simulations using DEGAS: application to logic design and digital signal processing (PP, LL), pp. 27–40.

ICEIS-AIDSS-2007-CaropreseTZ #implementation #logic programming #reasoning

Implementing Prioritized Reasoning in Logic Programming (LC, IT, EZ), pp. 94–100.

ICEIS-AIDSS-2007-RaimondiPVM #fuzzy #logic

A New Fuzzy Logic Controller for Trading on the Stock Market (FMR, SP, PV, MM), pp. 322–329.

ICEIS-EIS-2007-Sarbo #logic #on the

On the Logic Underlying Common Sense (JJS), pp. 395–400.

ICEIS-J-2007-Castro-SchezVBG #approach #e-commerce #fuzzy #logic

A Fuzzy Logic Based Approach to Improve Cataloguing and Searching in e-Commerce Portals (JJCS, DVF, LRB, JMG), pp. 316–327.

ICML-2007-MihalkovaM #bottom-up #learning #logic #markov #network

Bottom-up learning of Markov logic network structure (LM, RJM), pp. 625–632.

SEKE-2007-SalamahKG #generative #linear #logic #specification

Generating Linear Temporal Logic Formulas for Pattern-Based Specifications (SS, VK, AQG), pp. 422–427.

SIGIR-2007-Forst #documentation #logic #summary

A summarisation logic for structured documents (JFF), p. 919.

LOPSTR-2007-CasasCH #algorithm #independence #logic programming #source code #strict

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs (AC, MC, MVH), pp. 138–153.

LOPSTR-2007-NguyenGSS #analysis #dependence #graph #logic programming #source code #termination

Termination Analysis of Logic Programs Based on Dependency Graphs (MTN, JG, PSK, DDS), pp. 8–22.

PPDP-2007-Charatonik #logic programming #source code

Regular directional types for logic programs (WC), p. 209.

PPDP-2007-FischerK #functional #generative #logic programming #source code #testing

Systematic generation of glass-box test cases for functional logic programs (SF, HK), pp. 63–74.

PPDP-2007-LiuP #induction #logic programming

Nonmonotonic inductive logic programming by instance patterns (CL, EP), pp. 187–196.

QAPL-2007-BaltazarMNP #logic #probability

Exogenous Probabilistic Computation Tree Logic (PB, PM, RN, NP), pp. 95–110.

QAPL-2007-BistarelliMRS #constraints #graph #logic programming #modelling #multi #using

Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming (SB, UM, FR, FS), pp. 111–127.

QAPL-2007-CianciaF #algebra #logic #modelling

Co-Algebraic Models for Quantitative Spatial Logics (VC, GLF), pp. 43–58.

PADL-2007-AlbertGHP #analysis #bytecode #java #logic programming #source code #using #verification

Verification of Java Bytecode Using Analysis and Transformation of Logic Programs (EA, MGZ, LH, GP), pp. 124–139.

PADL-2007-Bond #declarative #modelling

BAD, a Declarative Logic-Based Language for Brain Modeling (AHB), pp. 200–214.

PADL-2007-Liang #aspect-oriented #higher-order #linear #logic #programming

Aspect-Oriented Programming in Higher-Order and Linear Logic (CCL), pp. 305–319.

PADL-2007-LiuP #induction #logic programming

Inductive Logic Programming by Instance Patterns (CL, EP), pp. 230–244.

PADL-2007-PodelskiR #abstraction #logic #model checking #named #refinement

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement (AP, AR), pp. 245–259.

POPL-2007-CalcagnoGZ #logic #parametricity

Context logic as modal logic: completeness and parametric inexpressivity (CC, PG, UZ), pp. 123–134.

POPL-2007-Might #analysis #higher-order #source code

Logic-flow analysis of higher-order programs (MM), pp. 185–198.

POPL-2007-TuchKN #logic

Types, bytes, and separation logic (HT, GK, MN), pp. 97–108.

SAC-2007-GhourabiITMK #algebra #axiom #logic

Logical and algebraic view of Huzita’s origami axioms with applications to computational origami (FG, TI, HT, MM, AK), pp. 767–772.

SAC-2007-LawleyR #declarative #implementation #model transformation

Implementing a practical declarative logic-based model transformation engine (ML, KR), pp. 971–977.

SAC-2007-VarroB #automation #induction #logic programming #model transformation #using

Automating model transformation by example using inductive logic programming (DV, ZB), pp. 978–984.

SPLC-2007-CzarneckiW #diagrams #feature model #logic

Feature Diagrams and Logics: There and Back Again (KC, AW), pp. 23–34.

SPLC-2007-JanotaK #feature model #higher-order #logic #modelling #reasoning

Reasoning about Feature Models in Higher-Order Logic (MJ, JRK), pp. 13–22.

ISMM-2007-OHearn #concurrent #logic #resource management

Separation logic and concurrent resource management (PWO), p. 1.

SMT-J-2006-GanaiTG07 #difference #encoding #integration #lazy evaluation #logic #named

SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic (MKG, MT, AG), pp. 91–114.

SMT-J-2006-KimJS07 #difference #finite #integer #logic

Disequality Management in Integer Difference Logic via Finite Instantiations (HK, HJ, FS), pp. 47–66.

CADE-2007-Baumgartner #logic

Logical Engineering with Instance-Based Methods (PB), pp. 404–409.

CADE-2007-HeilalaP #bidirectional #logic

Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4 (SH, BP), pp. 116–131.

CADE-2007-LiS #compilation #higher-order #logic

Compilation as Rewriting in Higher Order Logic (GL, KS), pp. 19–34.

CADE-2007-LutzW #lightweight #logic

Conservative Extensions in the Lightweight Description Logic EL (CL, FW), pp. 84–99.

CADE-2007-MotikSH #logic #reasoning #using

Optimized Reasoning in Description Logics Using Hypertableaux (BM, RS, IH), pp. 67–83.

CADE-2007-PerezV #bound #effectiveness #encoding #logic #ltl #model checking

Encodings of Bounded LTL Model Checking in Effectively Propositional Logic (JANP, AV), pp. 346–361.

CADE-2007-TiwariG #logic #program analysis #proving #theorem proving #using

Logical Interpretation: Static Program Analysis Using Theorem Proving (AT, SG), pp. 147–166.

CAV-2007-CimattiRST #abstraction #logic #satisfiability

Boolean Abstraction for Temporal Logic Satisfiability (AC, MR, VS, ST), pp. 532–546.

CSL-2007-AehligB #logic

Propositional Logic for Circuit Classes (KA, AB), pp. 512–526.

CSL-2007-Dawar #automaton #first-order #locality #logic #model checking

Model-Checking First-Order Logic: Automata and Locality (AD), p. 6.

CSL-2007-DawarR #finite #logic #power of #strict

The Power of Counting Logics on Restricted Classes of Finite Structures (AD, DR), pp. 84–98.

CSL-2007-FiliotTT #logic #satisfiability

Satisfiability of a Spatial Logic with Tree Variables (EF, JMT, ST), pp. 130–145.

CSL-2007-FournierGGZ #logic

Classical and Intuitionistic Logic Are Asymptotically Identical (HF, DG, AG, MZ), pp. 177–193.

CSL-2007-LiangM #logic

Focusing and Polarization in Intuitionistic Logic (CL, DM), pp. 451–465.

CSL-2007-MillerS #composition #linear #logic #proving

From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic (DM, AS), pp. 405–419.

CSL-2007-RabinovichT #logic #problem

Logical Refinements of Church’s Problem (AR, WT), pp. 69–83.

ICLP-2007-CabalarPV #logic programming #source code

Minimal Logic Programs (PC, DP, AV), pp. 104–118.

ICLP-2007-CaballeroRV #constraints #debugging #declarative #functional #logic programming

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 425–427.

ICLP-2007-CaliL #logic programming #probability #semantics #source code #web

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web (AC, TL), pp. 428–429.

ICLP-2007-CzenkoE #logic programming #trust

Core TuLiP Logic Programming for Trust Management (MC, SE), pp. 380–394.

ICLP-2007-GuptaBMSM #induction #logic programming

Coinductive Logic Programming and Its Applications (GG, AB, RM, LS, AM), pp. 27–44.

ICLP-2007-JarvisaloO #logic programming #source code

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs (MJ, EO), pp. 134–148.

ICLP-2007-KoninckSD #algorithm #logic

The Correspondence Between the Logical Algorithms Language and CHR (LDK, TS, BD), pp. 209–223.

ICLP-2007-LiuPST #constraints #logic programming #source code

Logic Programs with Abstract Constraint Atoms: The Role of Computations (LL, EP, TCS, MT), pp. 286–301.

ICLP-2007-MancarellaTT #abduction #logic programming #verification #web

Web Sites Verification: An Abductive Logic Programming Tool (PM, GT, FT), pp. 434–435.

ICLP-2007-Morozov #analysis #design #logic programming #visual notation

Visual Logic Programming Method Based on Structural Analysis and Design Technique (AAM), pp. 436–437.

ICLP-2007-NavasMLH #analysis #bound #logic programming #source code

User-Definable Resource Bounds Analysis for Logic Programs (JAN, EM, PLG, MVH), pp. 348–363.

ICLP-2007-Nguyen #approximate #complexity #knowledge base #logic

Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity (LAN), pp. 438–439.

ICLP-2007-OikarinenJ #linear #logic programming

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming (EO, TJ), pp. 440–441.

ICLP-2007-PettorossiPS #automation #correctness #logic programming #program transformation #proving

Automatic Correctness Proofs for Logic Program Transformations (AP, MP, VS), pp. 364–379.

ICLP-2007-PietrzakH #automation #fault #logic programming #source code

Automatic Binding-Related Error Diagnosis in Logic Programs (PP, MVH), pp. 333–347.

ICLP-2007-TarauL #framework #logic programming #synthesis

A Logic Programming Framework for Combinational Circuit Synthesis (PT, BL), pp. 180–194.

ICLP-2007-Truszczynski #information management #logic programming #representation

Logic Programming for Knowledge Representation (MT), pp. 76–88.

ICLP-2007-UnelT #approach #logic programming

Logic Programming Approach to Automata-Based Decision Procedures (GÜ, DT), pp. 165–179.

ICLP-2007-VazFL #information management #named

Spatial-Yap: A Logic-Based Geographic Information System (DV, MF, RL), pp. 195–208.

ICLP-2007-West #animation #logic programming #programming language #specification

The Use of a Logic Programming Language in the Animation of Z Specifications (MMW), pp. 451–452.

ICLP-2007-Wong #equivalence #logic programming #source code

A Stronger Notion of Equivalence for Logic Programs (KSW), pp. 453–454.

LICS-2007-AlurABEIL #first-order #logic #word

First-Order and Temporal Logics for Nested Words (RA, MA, PB, KE, NI, LL), pp. 151–160.

LICS-2007-BaillotCL #complexity #logic #reduction

Light Logics and Optimal Reduction: Completeness and Complexity (PB, PC, UDL), pp. 421–430.

LICS-2007-Bojanczyk #logic

Two-way unary temporal logic over trees (MB), pp. 121–130.

LICS-2007-BonsangueK #logic #π-calculus

π-Calculus in Logical Form (MMB, AK), pp. 303–312.

LICS-2007-CalcagnoOY #logic

Local Action and Abstract Separation Logic (CC, PWO, HY), pp. 366–378.

LICS-2007-CateBV #first-order #logic #theorem

Lindstrom theorems for fragments of first-order logic (BtC, JvB, JAV), pp. 280–292.

LICS-2007-Klin #algebra #logic #semantics

Bialgebraic Operational Semantics and Modal Logic (BK), pp. 336–345.

LICS-2007-Oliva #linear #logic

Modified Realizability Interpretation of Classical Linear Logic (PO), pp. 431–442.

LICS-2007-Schopp #bound #logic

Stratified Bounded Affine Logic for Logarithmic Space (US), pp. 411–420.

RTA-2007-HillsR #analysis #logic #named #prototype

KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis (MH, GR), pp. 246–256.

RTA-2007-Pfenning #logic #on the

On a Logical Foundation for Explicit Substitutions (FP), p. 19.

SAT-2007-EenMS #logic #satisfiability #synthesis

Applying Logic Synthesis for Speeding Up SAT (NE, AM, NS), pp. 272–286.

SAT-2007-PerezV #effectiveness #encoding #logic #problem

Encodings of Problems in Effectively Propositional Logic (JANP, AV), p. 3.

TAP-2007-RummerS #calculus #java #logic #proving #source code #using

Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic (PR, MAS), pp. 41–60.

TLCA-2007-Baillot #linear #logic #polynomial #type system

From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing (PB), pp. 2–7.

TLCA-2007-Fiore #difference #linear #logic #modelling #multi

Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (MPF), pp. 163–177.

TLCA-2007-LiptonN #constraints #higher-order #logic programming #programming language #semantics

Higher-Order Logic Programming Languages with Constraints: A Semantics (JL, SN), pp. 272–289.

TLCA-2007-Pfenning #logic #on the

On a Logical Foundation for Explicit Substitutions (FP), p. 1.

VMCAI-2007-NguyenDQC #automation #logic #verification

Automated Verification of Shape and Size Properties Via Separation Logic (HHN, CD, SQ, WNC), pp. 251–266.

ASE-2006-CaiS #analysis #composition #design #logic #modelling

Modularity Analysis of Logical Design Models (YC, KJS), pp. 91–102.

ASE-2006-Ireland #automation #logic #refinement #towards

Towards Automatic Assertion Refinement for Separation Logic (AI), pp. 309–312.

DAC-2006-FatemiNP #analysis #logic #statistics #using

Statistical logic cell delay analysis using a current-based model (HF, SN, MP), pp. 253–256.

DAC-2006-KeaneEKSK #framework #logic

Subthreshold logical effort: a systematic framework for optimal subthreshold device sizing (JK, HE, TTHK, SSS, CHK), pp. 425–428.

DAC-2006-MishchenkoCB #fresh look #logic #synthesis

DAG-aware AIG rewriting a fresh look at combinational logic synthesis (AM, SC, RKB), pp. 532–535.

DAC-2006-RaoOK #architecture #logic

Topology aware mapping of logic functions onto nanowire-based crossbar architectures (WR, AO, RK), pp. 723–726.

DAC-2006-WagnerBA #design #logic

Shielding against design flaws with field repairable control logic (IW, VB, TMA), pp. 344–347.

DAC-2006-WangGG #deduction #difference #learning #logic

Predicate learning and selective theory deduction for a difference logic solver (CW, AG, MKG), pp. 235–240.

DATE-2006-BanerjeeRMB #fine-grained #logic #power management #synthesis #using

Low power synthesis of dynamic logic circuits using fine-grained clock gating (NB, KR, HMM, SB), pp. 862–867.

DATE-2006-GillPW #analysis #fault #logic

Soft delay error analysis in logic circuits (BSG, CAP, FGW), pp. 47–52.

DATE-2006-KrautzP0TWV #detection #fault #formal method #logic #using

Evaluating coverage of error detection logic for soft errors using formal methods (UK, MP, CJ, HWT, KW, HTV), pp. 176–181.

DATE-2006-LiuH #logic #synthesis

Crosstalk-aware domino logic synthesis (YYL, TH), pp. 1312–1317.

DATE-DF-2006-ArifinC #adaptation #clustering #implementation #logic #novel #segmentation

A novel FPGA-based implementation of time adaptive clustering for logical story unit segmentation (SA, PYKC), pp. 227–232.

PODS-2006-BojanczykDMSS #logic #reasoning #xml

Two-variable logic on data trees and XML reasoning (MB, CD, AM, TS, LS), pp. 10–19.

PODS-2006-FranconiT #logic #rdf #tutorial

The logic of RDF and SPARQL: a tutorial (EF, ST), p. 355.

SIGMOD-2006-BorkarCLW #framework

The BEA AquaLogic data services platform (Demo) (VRB, MJC, DL, TW), pp. 742–744.

VLDB-2006-BorkarCLWEO #framework #query

Query Processing in the AquaLogic Data Services Platform (VRB, MJC, DL, TW, DE, NO), pp. 1037–1048.

ESOP-2006-Ahmed #logic #quantifier #recursion

Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types (AJA), pp. 69–83.

FoSSaCS-2006-LodingS #logic #recursion #source code

Propositional Dynamic Logic with Recursive Programs (CL, OS), pp. 292–306.

FoSSaCS-2006-OuaknineW #logic #metric #on the #turing machine

On Metric Temporal Logic and Faulty Turing Machines (JO, JW), pp. 217–230.

FoSSaCS-2006-Schroder #algebra #finite #logic

A Finite Model Construction for Coalgebraic Modal Logic (LS), pp. 157–171.

FoSSaCS-2006-YorshRSMB #linked data #logic #open data

A Logic of Reachable Patterns in Linked Data-Structures (GY, AMR, MS, AM, AB), pp. 94–110.

TACAS-2006-DistefanoOY #analysis #logic

A Local Shape Analysis Based on Separation Logic (DD, PWO, HY), pp. 287–302.

TACAS-2006-GanaiTG #encoding #integration #lazy evaluation #logic #named

SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver (MKG, MT, AG), pp. 135–150.

TACAS-2006-KroeningS #approximate #image #logic

Approximating Predicate Images for Bit-Vector Logic (DK, NS), pp. 242–256.

TACAS-2006-OuaknineW #decidability #logic #metric #safety

Safety Metric Temporal Logic Is Fully Decidable (JO, JW), pp. 411–425.

CSMR-2006-DucasseGW #legacy #logic #object-oriented #testing

Object-Oriented Legacy System Trace-based Logic Testing (SD, TG, RW), pp. 37–46.

MSR-2006-DAmbrosLL #evolution #logic #visualisation

The evolution radar: visualizing integrated logical coupling information (MD, ML, ML), pp. 26–32.

MSR-2006-SigonneauR #automation #component #file system #logic #multi #re-engineering

Software engineering applications of logic file system: application to automated multi-criteria indexation of software components (BS, OR), pp. 87–93.

SCAM-2006-HenriksenG #abstract interpretation #logic programming #source code

Abstract Interpretation of PIC Programs through Logic Programming (KSH, JPG), pp. 184–196.

WCRE-2006-DAmbrosL #logic #reverse engineering

Reverse Engineering with Logical Coupling (MD, ML), pp. 189–198.

SAS-2006-Arnold #analysis #logic #refinement #using

Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding (GA), pp. 204–220.

SAS-2006-OHearn #logic #program analysis

Separation Logic and Program Analysis (PWO), p. 181.

STOC-2006-Feldman #approximate #learning #logic #query

Hardness of approximate two-level logic minimization and PAC learning with membership queries (VF), pp. 363–372.

FLOPS-2006-PimlottK #trust

Soutei, a Logic-Based Trust-Management System (AP, OK), pp. 130–145.

DLT-2006-DrosteR #automaton #infinity #logic #word

Weighted Automata and Weighted Logics on Infinite Words (MD, GR), pp. 49–58.

DLT-2006-Kufleitner #logic

Polynomials, Fragments of Temporal Logic and the Variety DA over Traces (MK), pp. 37–48.

ICALP-v2-2006-CorinH #encryption #game studies #hoare #logic #probability #proving

A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs (RC, JdH), pp. 252–263.

ICALP-v2-2006-GuerriniM #commutative #linear #logic #multi #quantifier

Commutative Locative Quantifiers for Multiplicative Linear Logic (SG, PM), pp. 396–407.

ICALP-v2-2006-HondaBY #higher-order #logic

Descriptive and Relative Completeness of Logics for Higher-Order Functions (KH, MB, NY), pp. 360–371.

FM-2006-Mostowski #java #logic #reasoning

Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic (WM), pp. 444–459.

FM-2006-Preoteasa #logic #pointer #recursion #using #verification

Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic (VP), pp. 508–523.

IFL-2006-ChitilH #haskell #lazy evaluation #logic

A Pattern Logic for Prompt Lazy Assertions in Haskell (OC, FH), pp. 126–144.

ICGT-2006-Jackson #logic #modelling

Idioms of Logical Modelling (DJ), p. 14.

CAiSE-2006-HaggmarkA #analysis #logic #principle #why

Why Software Engineers Do Not Keep to the Principle of Separating Business Logic from Display: A Method Rationale Analysis (MH, PJÅ), pp. 399–413.

ICEIS-AIDSS-2006-CalegariC #fuzzy #logic #ontology

Integrating Fuzzy Logic in Ontologies (SC, DC), pp. 66–73.

ICEIS-AIDSS-2006-RuffoloM #approach #information management #semantics

A Logic-Based Approach to Semantic Information Extraction (MR, MM), pp. 115–123.

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.

ICPR-v1-2006-Bayro-CorrochanoM #algebra #fuzzy #geometry #logic #using

Object Manipulation using Fuzzy Logic and Geometric Algebra (EBC, RMC), pp. 1120–1123.

ICPR-v1-2006-MaoXTT #documentation #image #logic #multi #recognition

Logical Entity Recognition in Multi-Style Document Page Images (SM, ZX, TT, GRT), pp. 876–879.

KR-2006-AgotnesA #logic #semantics

Semantics for Dynamic Syntactic Epistemic Logics (TÅ, NA), pp. 411–419.

KR-2006-BesnardH #compilation #knowledge base #logic #performance

Knowledgebase Compilation for Efficient Logical Argumentation (PB, AH), pp. 123–133.

KR-2006-BonattiLW #logic

Description Logics with Circumscription (PAB, CL, FW), pp. 400–410.

KR-2006-CabalarOP #logic #semantics

Logical Foundations of Well-Founded Semantics (PC, SPO, DP), pp. 25–35.

KR-2006-CalvaneseGLLR #complexity #logic #query

Data Complexity of Query Answering in Description Logics (DC, GDG, DL, ML, RR), pp. 260–270.

KR-2006-CateCMV #logic

Definitorially Complete Description Logics (BtC, WC, MM, YV), pp. 79–89.

KR-2006-ChenLWZ #first-order #logic programming #source code

First-Order Loop Formulas for Normal Logic Programs (YC, FL, YW, MZ), pp. 298–307.

KR-2006-GhilardiLW #logic #ontology

Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics (SG, CL, FW), pp. 187–197.

KR-2006-Jauregui #imperative #logic #semantics

Semantical Considerations for a Logic of Actions: An Imperative Manifesto (VJ), pp. 371–376.

KR-2006-LiuLMW #logic

Updating Description Logic ABoxes (HL, CL, MM, FW), pp. 46–56.

KR-2006-LukasiewiczS #logic

Variable-Strength Conditional Preferences for Matchmaking in Description Logics (TL, JS), pp. 164–174.

KR-2006-Rosati #datalog #integration #logic

DL+log: Tight Integration of Description Logics and Disjunctive Datalog (RR), pp. 68–78.

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-Straccia #logic programming #query #source code

Query Answering under the Any-World Assumption for Normal Logic Programs (US), pp. 329–339.

KR-2006-ZamanskyA #first-order #logic #nondeterminism #semantics

Non-Deterministic Semantics for First-Order Paraconsistent Logics (AZ, AA), pp. 431–439.

KR-2006-Zhang #logic programming #source code

Computational Properties of Epistemic Logic Programs (YZ), pp. 308–317.

SEKE-2006-SunZLT #component #composition #design #execution #framework #logic

Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution (WS, XZ, YL, ZT), pp. 268–273.

ECMDA-FA-2006-OKeefe #consistency #logic #semantics #uml

Dynamic Logic Semantics for UML Consistency (GO), pp. 113–127.

QAPL-2005-HirschLT06 #logic

A Logic for Application Level QoS (DH, ALL, ET), pp. 135–159.

QAPL-2005-NicolaKLM06 #logic #performance #towards

Towards a Logic for Performance and Mobility (RDN, JPK, DL, MM), pp. 161–175.

GPCE-2006-PerryJW #contract #linear #logic

Expressing heap-shape contracts in linear logic (FP, LJ, DW), pp. 101–110.

LOPSTR-2006-BrasselFH #functional #logic #program transformation

A Program Transformation for Tracing Functional Logic Computations (BB, SF, FH), pp. 160–176.

LOPSTR-2006-LeuschelCE #logic programming #online #partial evaluation #source code #using

Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques (ML, SJC, DE), pp. 43–59.

LOPSTR-2006-SakamaI #logic programming #source code

Constructing Consensus Logic Programs (CS, KI), pp. 26–42.

LOPSTR-2006-Schneider-KampGST #analysis #automation #logic programming #source code #term rewriting #termination

Automated Termination Analysis for Logic Programs by Term Rewriting (PSK, JG, AS, RT), pp. 177–193.

PPDP-2006-GabbayM #logic

One-and-a-halfth-order logic (MG, AM), pp. 189–200.

PPDP-2006-RooverBD #behaviour #fuzzy #logic #similarity #strict #validation

Combining fuzzy logic and behavioral similarity for non-strict program validation (CDR, JB, TD), pp. 15–26.

PADL-2006-NagyLS #logic #prolog #query

Translating Description Logic Queries to Prolog (ZN, GL, PS), pp. 168–182.

PADL-2006-SahaR #evaluation #incremental #logic programming #prolog #source code

Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs (DS, CRR), pp. 215–229.

PADL-2006-SneyersVS #modelling #music

Probabilistic-Logical Modeling of Music (JS, JV, DDS), pp. 60–72.

POPL-2006-AmtoftBB #data flow #logic #object-oriented #source code

A logic for information flow in object-oriented programs (TA, SB, AB), pp. 91–102.

POPL-2006-BishopFNSSW #implementation #logic #specification #testing

Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations (SB, MF, MN, PS, MS, KW), pp. 55–66.

SAC-2006-Cheng #information management #logic

Deontic relevant logic as the logical basis for legal information systems (JC), pp. 319–320.

SAC-2006-GotoC #analysis #logic

A quantitative analysis of implicational paradoxes in classical mathematical logic (YG, JC), pp. 42–43.

SAC-2006-PaluPHL #3d #approach #constraints #logic programming #scalability

A constraint logic programming approach to 3D structure determination of large protein complexes (ADP, EP, JH, YL), pp. 131–136.

ICSE-2006-PadioleauSR #file system #information management #logic #named

LISFS: a logical information system as a file system (YP, BS, OR), pp. 803–806.

CAV-2006-RosuB #linear #logic #ltl #monitoring #synthesis

Allen Linear (Interval) Temporal Logic — Translation to LTL and Monitor Synthesis (GR, SB), pp. 263–277.

CSL-2006-ArtemovK #complexity #logic #proving

Logical Omniscience Via Proof Complexity (SNA, RK), pp. 135–149.

CSL-2006-AtassiBT #logic #system f #verification

Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic (VA, PB, KT), pp. 150–166.

CSL-2006-GollerL #infinity #logic #model checking

Infinite State Model-Checking of Propositional Dynamic Logics (SG, ML), pp. 349–364.

CSL-2006-HellaT #higher-order #logic #problem

Complete Problems for Higher Order Logics (LH, JMTT), pp. 380–394.

CSL-2006-Madelaine #logic

Universal Structures and the Logic of Forbidden Patterns (FRM), pp. 471–485.

CSL-2006-Marcinkowski #graph #logic #on the #power of

On the Expressive Power of Graph Logic (JM), pp. 486–500.

CSL-2006-MartinMO #hoare #logic

Hoare Logic in the Abstract (UM, EAM, PO), pp. 501–515.

CSL-2006-Pagani #exponential #linear #logic #multi

Acyclicity and Coherence in Multiplicative Exponential Linear Logic (MP), pp. 531–545.

CSL-2006-ReusS #higher-order #logic

Separation Logic for Higher-Order Store (BR, JS), pp. 575–590.

CSL-2006-Segoufin #automaton #infinity #logic #word

Automata and Logics for Words and Trees over an Infinite Alphabet (LS), pp. 41–57.

CSL-2006-Truszczynski #algebra #logic

Nonmonotonic Logics and Their Algebraic Foundations (MT), pp. 58–71.

FATES-RV-2006-FainekosP #logic #robust #specification

Robustness of Temporal Logic Specifications (GEF, GJP), pp. 178–192.

ICLP-2006-AntoyH #functional #logic programming #source code

Overlapping Rules and Logic Variables in Functional Logic Programs (SA, MH), pp. 87–101.

ICLP-2006-BrandY #logic #towards

Towards “Propagation = Logic + Control” (SB, RHCY), pp. 102–116.

ICLP-2006-CabalarOPV #equilibrium #logic #semantics #using

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic (PC, SPO, DP, AV), pp. 346–360.

ICLP-2006-CaballeroRV #constraints #declarative #functional #logic programming

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 421–422.

ICLP-2006-Cheney #logic programming #semantics #source code

The Semantics of Nominal Logic Programs (JC), pp. 361–375.

ICLP-2006-Emden #composition #logic #semantics

Compositional Semantics for the Procedural Interpretation of Logic (MHvE), pp. 315–329.

ICLP-2006-Lukacsy #logic #prolog #reasoning

Description Logic Reasoning in Prolog (GL), pp. 463–464.

ICLP-2006-MantsivodaLM #logic programming

Logic Programming in Knowledge Domains (AM, VL, AM), pp. 451–452.

ICLP-2006-MeraLPCH #estimation #execution #logic programming #profiling #static analysis #using

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation (EM, PLG, GP, MC, MVH), pp. 431–432.

ICLP-2006-NogueiraA #logic programming #towards

Towards Temporal Contextual Logic Programming (VN, SA), pp. 439–441.

ICLP-2006-OrtizV #combinator #logic #natural language #using

Natural Language Processing Using Lexical and Logical Combinators (JFO, JV), pp. 444–446.

ICLP-2006-PettorossiPS #constraints #logic programming #proving #source code

Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (AP, MP, VS), pp. 179–195.

ICLP-2006-Phan #logic programming #memory management #programming language

Static Memory Management for Logic Programming Languages (QP), pp. 465–466.

ICLP-2006-Pientka #framework #logic #performance #verification

Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks (BP), pp. 3–10.

ICLP-2006-PontelliS #logic programming #semantics #set #source code

Justifications for Logic Programs Under Answer Set Semantics (EP, TCS), pp. 196–210.

ICLP-2006-QuintanoR #database #framework #logic programming #natural language #query #using

Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language (LQ, IPR), pp. 406–420.

ICLP-2006-RamakrishnanRW #deduction #logic programming #spreadsheet #using

Deductive Spreadsheets Using Tabled Logic Programming (CRR, IVR, DSW), pp. 391–405.

ICLP-2006-Rocha #logic programming #source code

Handling Incomplete and Complete Tables in Tabled Logic Programs (RR), pp. 427–428.

ICLP-2006-SahaR #algorithm #evaluation #incremental #logic programming #source code

A Local Algorithm for Incremental Evaluation of Tabled Logic Programs (DS, CRR), pp. 56–71.

ICLP-2006-SilvaC #compilation #design #implementation #logic programming #optimisation #programming language

The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages (AFdS, VSC), pp. 461–462.

ICLP-2006-SimonMBG #induction #logic programming

Coinductive Logic Programming (LS, AM, AB, GG), pp. 330–345.

ICLP-2006-Wong #logic programming #source code

Deducing Logic Programs (KSW), pp. 471–472.

IJCAR-2006-BeckertP #logic

Dynamic Logic with Non-rigid Functions (BB, AP), pp. 266–280.

IJCAR-2006-BenzmullerBK #logic

Cut-Simulation in Impredicative Logics (CB, CEB, MK), pp. 220–234.

IJCAR-2006-ChaudhuriPP #logic

A Logical Characterization of Forward and Backward Chaining in the Inverse Method (KC, FP, GP), pp. 97–111.

IJCAR-2006-DemriL #logic

Presburger Modal Logic Is PSPACE-Complete (SD, DL), pp. 541–556.

IJCAR-2006-DyckhoffKL #bound #calculus #logic

Strong Cut-Elimination Systems for Hudelmaier’s Depth-Bounded Sequent Calculus for Implicational Logic (RD, DK, SL), pp. 347–361.

IJCAR-2006-GelderS #automation #generative #higher-order #logic #parsing

Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation (AVG, GS), pp. 156–161.

IJCAR-2006-Krauss #higher-order #logic #recursion

Partial Recursive Functions in Higher-Order Logic (AK), pp. 589–603.

IJCAR-2006-Rabe #dependent type #first-order #logic

First-Order Logic with Dependent Types (FR), pp. 377–391.

IJCAR-2006-TomanW #dependence #functional #logic #on the

On Keys and Functional Dependencies as First-Class Citizens in Description Logics (DT, GEW), pp. 647–661.

IJCAR-2006-TsarkovH #logic

FaCT++ Description Logic Reasoner: System Description (DT, IH), pp. 292–297.

LICS-2006-BarthM #linear #logic #using

Managing Digital Rights using Linear Logic (AB, JCM), pp. 127–136.

LICS-2006-Blass #adaptation #logic

Adapting Logics (AB), p. 123.

LICS-2006-BojanczykMSSD #logic #word

Two-Variable Logic on Words with Data (MB, AM, TS, LS, CD), pp. 7–16.

LICS-2006-Dawson #assessment #logic

Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel’s Impact on Logic, Mathematics, and Computer Science (JWD), pp. 339–341.

LICS-2006-HaymanW #concurrent #independence #logic

Independence and Concurrent Separation Logic (JH, GW), pp. 147–156.

LICS-2006-KupfermanV #logic

Memoryful Branching-Time Logic (OK, MYV), pp. 265–274.

LICS-2006-KuskeL #automaton #logic #monad

Monadic Chain Logic Over Iterations and Applications to Pushdown Systems (DK, ML), pp. 91–100.

LICS-2006-Lago #complexity #linear #logic #semantics

Context Semantics, Linear Logic and Computational Complexity (UDL), pp. 169–178.

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.

LICS-2006-Otto #bound #first-order #logic #monad #problem

The Boundedness Problem for Monadic Universal First-Order Logic (MO), pp. 37–48.

LICS-2006-ParkinsonBC #hoare #logic

Variables as Resource in Hoare Logics (MJP, RB, CC), pp. 137–146.

LICS-2006-SchroderP #bound #logic

PSPACE Bounds for Rank-1 Modal Logics (LS, DP), pp. 231–242.

LICS-2006-VaraccaV #logic #model checking

Temporal Logics and Model Checking for Fairly Correct Systems (DV, HV), pp. 389–398.

RTA-2006-Obua #higher-order #logic

Checking Conservativity of Overloaded Definitions in Higher-Order Logic (SO), pp. 212–226.

SAT-2006-SebastianiV #case study #encoding #logic #satisfiability

Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC (RS, MV), pp. 130–135.

TestCom-2006-RodriguezMN #logic #testing

A Logic for Assessing Sets of Heterogeneous Testing Hypotheses (IR, MGM, MN), pp. 39–54.

VMCAI-2006-BinghamR #abstraction #logic #source code

A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs (JDB, ZR), pp. 207–221.

VMCAI-2006-HristovaL #algorithm #automaton #linear #logic #model checking

Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems (KH, YAL), pp. 190–206.

VMCAI-2006-TanA #composition #control flow #logic

A Compositional Logic for Control Flow (GT, AWA), pp. 80–94.

CBSE-2005-CooperCLSSW #component #empirical #fuzzy #logic #specification #using

An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic (KMLC, JWC, RL, GS, RS, WEW), pp. 155–170.

WICSA-2005-Riva #architecture #logic #re-engineering

Bridging the Concrete and Logical Domains for Software Architecture Reconstruction (CR), pp. 263–264.

ASE-2005-Tan #embedded #logic #modelling #self #source code #specification

Model-based self-monitoring embedded programs with temporal logic specifications (LT), pp. 380–383.

ASE-2005-ZhangC #performance #query

Efficient temporal-logic query checking for presburger systems (DZ, RC), pp. 24–33.

CASE-2005-AbdelhameedD #debugging #logic #network #programmable #source code

Diagnosis and debugging of programmable logic controller control programs by neural networks (MMA, HD), pp. 313–318.

DAC-2005-AbdollahiP #canonical #logic #performance #synthesis #verification

A new canonical form for fast boolean matching in logic synthesis and verification (AA, MP), pp. 379–384.

DAC-2005-AhmadM #logic

TCAM enabled on-chip logic minimization (SA, RNM), pp. 678–683.

DAC-2005-KheterpalRHMTSP #design

Design methodology for IC manufacturability based on regular logic-bricks (VK, VR, TGH, DM, YT, AJS, LTP), pp. 353–358.

DAC-2005-MitraKSZ #challenge #design #fault #logic

Logic soft errors in sub-65nm technologies design and CAD challenges (SM, TK, NS, MZ), pp. 2–4.

DAC-2005-NepalBMPZ #design #logic #probability

Designing logic circuits for probabilistic computation in the presence of noise (KN, RIB, JLM, WRP, AZ), pp. 485–490.

DAC-2005-SasaoM #composition #functional #logic #multi #representation

BDD representation for incompletely specifiedvmultiple-output logic functions and its applications to functional decomposition (TS, MM), pp. 373–378.

DAC-2005-TomL #clustering #design #logic #scalability

Logic block clustering of large designs for channel-width constrained FPGAs (MT, GGL), pp. 726–731.

DATE-2005-BeckBKPLP #design #generative #implementation #logic #quality

Logic Design for On-Chip Test Clock Generation — Implementation Details and Impact on Delay Test Quality (MB, OB, MK, FP, XL, RP), pp. 56–61.

DATE-2005-CheonLWWHCPCW #logic

At-Speed Logic BIST for IP Cores (BC, EL, LTW, XW, PH, JC, JP, HC, SW), pp. 860–861.

DATE-2005-HuotDFR #architecture #logic #multi

FPGA Architecture for Multi-Style Asynchronous Logic (NH, HD, LF, MR), pp. 32–33.

DATE-2005-KastensmidtSCR #composition #design #logic #on the

On the Optimal Design of Triple Modular Redundancy Logic for SRAM-based FPGAs (FLK, LS, LC, MSR), pp. 1290–1295.

DATE-2005-MarkovM #encryption #hardware #logic

Uniformly-Switching Logic for Cryptographic Hardware (ILM, DM), pp. 432–433.

DATE-2005-MukhopadhyayBR #analysis #logic #modelling

Modeling and Analysis of Loading Effect in Leakage of Nano-Scaled Bulk-CMOS Logic Circuits (SM, SB, KR), pp. 224–229.

DATE-2005-TiriV #constant #design #difference #logic #power management

Design Method for Constant Power Consumption of Differential Logic Circuits (KT, IV), pp. 628–633.

DATE-2005-YangHSP #logic #multi #quantum #synthesis #using

Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory (GY, WNNH, XS, MAP), pp. 434–435.

HT-2005-DmitrievLS #documentation #hypermedia #logic

As we may perceive: inferring logical documents from hypertext (PD, CL, BS), pp. 66–74.

ICDAR-2005-CeciBM #comprehension #documentation #image #learning #logic #relational #statistics

Relational Learning techniques for Document Image Understanding: Comparing Statistical and Logical approaches (MC, MB, DM), pp. 473–477.

ICDAR-2005-HadjarI #logic #using

Logical Labeling of Arabic Newspapers using Artificial Neural Nets (KH, RI), pp. 426–431.

ICDAR-2005-RangoniB #categorisation #documentation #logic #recognition

Data categorization for a context return applied to logical document structure recognition (YR, AB), pp. 297–301.

ICDAR-2005-ZhangBZ #fuzzy #logic #using

Using Fuzzy Logic to Analyze Superscript and Subscript Relations in Handwritten Mathematical Expressions (LZ, DB, RZ), pp. 972–976.

VLDB-2005-KassoffZGG #logic #named #spreadsheet

PrediCalc: A Logical Spreadsheet Management System (MK, LMZ, AG, MRG), pp. 1247–1250.

WRLA-2004-CervesatoS05 #dependent type #logic #representation #specification

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types (IC, MOS), pp. 183–207.

WRLA-2004-Lopez-FraguasRV05 #constraints #functional #logic programming #revisited

Constraint Functional Logic Programming Revisited (FJLF, MRA, RdVV), pp. 5–50.

ESOP-2005-BieringBT #higher-order #logic

BI Hyperdoctrines and Higher-Order Separation Logic (BB, LB, NTS), pp. 233–247.

ESOP-2005-LuK #logic programming #source code

Determinacy Inference for Logic Programs (LL, AK), pp. 108–123.

ESOP-2005-ReusS #logic #semantics

Denotational Semantics for Abadi and Leino’s Logic of Objects (BR, JS), pp. 263–278.

FASE-2005-Mostowski #formal method #java #logic #security #verification

Formalisation and Verification of Java Card Security Properties in Dynamic Logic (WM), pp. 357–371.

FoSSaCS-2005-BonsangueK #logic

Duality for Logics of Transition Systems (MMB, AK), pp. 455–469.

FoSSaCS-2005-CalcagnoGH #first-order #logic

From Separation Logic to First-Order Logic (CC, PG, MH), pp. 395–409.

FoSSaCS-2005-Cheney #logic #proving

A Simpler Proof Theory for Nominal Logic (JC), pp. 379–394.

FoSSaCS-2005-Schroder #algebra #logic

Expressivity of Coalgebraic Modal Logic: The Limits and Beyond (LS), pp. 440–454.

TACAS-2005-BozzanoBCJRSS #incremental #linear #logic #satisfiability

An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic (MB, RB, AC, TAJ, PvR, SS, RS), pp. 317–333.

TACAS-2005-KuglerHPLB #logic #specification

Temporal Logic for Scenario-Based Specifications (HK, DH, AP, YL, YB), pp. 445–460.

TACAS-2005-SharmaPC #bound #logic

Bounded Validity Checking of Interval Duration Logic (BS, PKP, SC), pp. 301–316.

CSMR-2005-BoronatCR #automation #logic #re-engineering #using

Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine (AB, JÁC, IR), pp. 228–231.

SAS-2005-BruynoogheGH #analysis #logic programming #source code #termination

Inference of Well-Typings for Logic Programs with Application to Termination Analysis (MB, JPG, WVH), pp. 35–51.

CIAA-2005-KleinB #automaton #linear #logic

Experiments with Deterministic ω-Automata for Formulas of Linear Temporal Logic (JK, CB), pp. 199–212.

ICALP-2005-ConfortiMS #graph #logic

Spatial Logics for Bigraphs (GC, DM, VS), pp. 766–778.

ICALP-2005-DattaDMST #logic #polynomial #probability #protocol #security #semantics

Probabilistic Polynomial-Time Semantics for a Protocol Security Logic (AD, AD, JCM, VS, MT), pp. 16–29.

ICALP-2005-DrosteG #automaton #logic

Weighted Automata and Weighted Logics (MD, PG), pp. 513–525.

ICALP-2005-Libkin #bibliography #logic #perspective

Logics for Unranked Trees: An Overview (LL), pp. 35–50.

ICALP-2005-ReusS #higher-order #hoare #logic

About Hoare Logics for Higher-Order Store (BR, TS), pp. 1337–1348.

SEFM-2005-BarthePS #analysis #logic #memory management #precise #using

Precise Analysis of Memory Consumption using Program Logics (GB, MP, GS), pp. 86–95.

SEFM-2005-Chalin #logic #question #what

Logical Foundations of Program Assertions: What do Practitioners Want? (PC), pp. 383–393.

SEFM-2005-GeorgievaM #analysis #logic

Description Logics for Shape Analysis (LG, PM), pp. 321–331.

ICFP-2005-BergerHY #alias #analysis #higher-order #imperative #logic

A logical analysis of aliasing in imperative higher-order functions (MB, KH, NY), pp. 280–293.

ICEIS-v1-2005-OuziriVF #approach #integration #logic #modelling #topic

Data Integration and User Modelling: An Approach Based on Topic Maps and Description Logics (MO, CV, AF), pp. 171–175.

ECIR-2005-CliftonT #framework #named #using

Knowing-Aboutness: Question-Answering Using a Logic-Based Framework (TC, WJT), pp. 230–244.

ECIR-2005-Rijsbergen #information retrieval #logic #probability

A Probabilistic Logic for Information Retrieval (CJvR), pp. 1–6.

ICML-2005-KokD #learning #logic #markov #network

Learning the structure of Markov logic networks (SK, PMD), pp. 441–448.

SEKE-2005-KuoH #design #fuzzy #logic #ontology

Incorporating Fuzzy Logic in Ontology-Based Agent System Design (JYK, NLH), pp. 187–192.

SEKE-2005-Wang #infinity #logic #model checking #specification

Specification of an Infinite-State Local Model Checker in Rewriting Logic (BYW), pp. 442–447.

QAPL-2004-Huth05 #abstraction #hybrid #logic

Abstraction and Probabilities for Hybrid Logics (MH), pp. 61–76.

LOPSTR-2005-AlbertPG #logic programming #partial evaluation #source code

Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates (EA, GP, JPG), pp. 115–132.

LOPSTR-2005-AlvezL #algorithm #logic programming #source code

An Algorithm for Local Variable Elimination in Normal Logic Programs (JÁ, PL), pp. 61–79.

LOPSTR-2005-Fages #automaton #constraints #logic

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM (FF), pp. 1–5.

LOPSTR-2005-PasarellaOPN #embedded #logic programming #semantics #source code

A Transformational Semantics of Static Embedded Implications of Normal Logic Programs (EP, FO, EP, MN), pp. 133–146.

PPDP-2005-LopezPPW #concurrent #linear #logic programming #monad

Monadic concurrent linear logic programming (PL, FP, JP, KW), pp. 35–46.

PPDP-2005-Mitchell #analysis #logic #network #protocol #security

Security analysis of network protocols: logical and computational methods (JCM), pp. 151–152.

PPDP-2005-SahaR #analysis #incremental #logic programming #points-to #using

Incremental and demand-driven points-to analysis using logic programming (DS, CRR), pp. 117–128.

PADL-2005-NieuwenborghHV #logic programming #order

An Ordered Logic Program Solver (DVN, SH, DV), pp. 128–142.

PADL-2005-SaadP #framework #hybrid #logic programming #probability #towards

Towards a More Practical Hybrid Probabilistic Logic Programming Framework (ES, EP), pp. 67–82.

PADL-2005-WangGL #code generation #continuation #logic #semantics #towards

Towards Provably Correct Code Generation via Horn Logical Continuation Semantics (QW, GG, ML), pp. 98–112.

POPL-2005-BornatCOP #logic

Permission accounting in separation logic (RB, CC, PWO, MJP), pp. 259–270.

POPL-2005-CalcagnoGZ #logic

Context logic and tree update (CC, PG, UZ), pp. 271–282.

POPL-2005-ParkinsonB #abstraction #logic

Separation logic and abstraction (MJP, GMB), pp. 247–258.

SAC-2005-GuoJ #logic programming #source code

Mode-directed preferences for logic programs (HFG, BJ), pp. 1414–1418.

SAC-2005-RekhisB #automation #forensics #verification

A formal logic-based language and an automated verification tool for computer forensic investigation (SR, NB), pp. 287–291.

SAC-2005-Tarau #logic programming

Agent oriented logic programming in Jinni 2004 (PT), pp. 1427–1428.

ESEC-FSE-2005-LetierKMU #logic #modelling

Fluent temporal logic for discrete-time event-based models (EL, JK, JM, SU), pp. 70–79.

LCTES-2005-FarcasFPT #component #execution #logic #realtime

Transparent distribution of real-time components based on logical execution time (EF, CF, WP, JT), pp. 31–39.

CADE-2005-CastelliniS #first-order #logic #proving #theorem proving

Proof Planning for First-Order Temporal Logic (CC, AS), pp. 235–249.

CADE-2005-ChaudhuriP #first-order #linear #logic #proving #theorem proving

A Focusing Inverse Method Theorem Prover for First-Order Linear Logic (KC, FP), pp. 69–83.

CADE-2005-ContejeanC #first-order #logic #proving #similarity

Reflecting Proofs in First-Order Logic with Equality (EC, PC), pp. 7–22.

CADE-2005-KonevWZ #logic #transitive

Temporal Logics over Transitive States (BK, FW, MZ), pp. 182–203.

CADE-2005-Lev-AmiIRSSY #data type #first-order #linked data #logic #open data #reachability #simulation #using #verification

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures (TLA, NI, TWR, SS, SS, GY), pp. 99–115.

CADE-2005-Pientka #higher-order #logic programming

Tabling for Higher-Order Logic Programming (BP), pp. 54–68.

CAV-2005-MeirS #logic #similarity

Yet Another Decision Procedure for Equality Logic (OM, OS), pp. 307–320.

CAV-2005-NieuwenhuisO #difference #logic

DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic (RN, AO), pp. 321–334.

CSL-2005-Adamek #equation #logic

A Logic of Coequations (JA), pp. 70–86.

CSL-2005-AndreoliPR #logic

Permutative Logic (JMA, GP, PR), pp. 184–199.

CSL-2005-BradfieldK #complexity #fixpoint #logic

The Complexity of Independence-Friendly Fixpoint Logic (JCB, SK), pp. 355–368.

CSL-2005-CateF #complexity #hybrid #logic #on the

On the Complexity of Hybrid Logics with Binders (BtC, MF), pp. 339–354.

CSL-2005-ChaudhuriP #linear #logic

Focusing the Inverse Method for Linear Logic (KC, FP), pp. 200–215.

CSL-2005-CourcelleD #composition #graph #higher-order #logic #monad

The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic (BC, CD), pp. 325–338.

CSL-2005-Katsumata #logic #metalanguage #semantics

A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage (SyK), pp. 87–102.

CSL-2005-Slissenko #algorithm #logic #verification

Verification in Predicate Logic with Time: Algorithmic Questions (AS), pp. 3–17.

CSL-2005-VIICH #control flow #distributed #logic

Distributed Control Flow with Classical Modal Logic (TMV, KC, RH), pp. 51–69.

ICLP-2005-BrasselH #analysis #functional #logic programming #nondeterminism #source code

Nondeterminism Analysis of Functional Logic Programs (BB, MH), pp. 265–279.

ICLP-2005-ChristiansenD #abduction #logic programming #named #programming language #prolog

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction (HC, VD), pp. 159–173.

ICLP-2005-DuanYK #logic programming #semantics #source code

Semantics of Framed Temporal Logic Programs (ZD, XY, MK), pp. 356–370.

ICLP-2005-Horrocks #logic #named #ontology #owl

OWL: A Description Logic Based Ontology Language (IH), pp. 1–4.

ICLP-2005-NguyenS #analysis #logic programming #polynomial #source code #termination

Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs (MTN, DDS), pp. 311–325.

ICLP-2005-PueblaAH #analysis #framework #logic programming #source code

A Generic Framework for the Analysis and Specialization of Logic Programs (GP, EA, MVH), pp. 407–409.

ICLP-2005-Ray #horn clause #logic #query

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic (OR), pp. 410–411.

ICLP-2005-RochaSC #evaluation #logic programming #source code

Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs (RR, FMAS, VSC), pp. 250–264.

ICLP-2005-SaadP #hybrid #logic programming #probability #source code

Hybrid Probabilistic Logic Programs with Non-monotonic Negation (ES, EP), pp. 204–220.

ICLP-2005-Santos #concurrent #logic #semantics #transaction #using

Denotational Semantics Using Horn Concurrent Transaction Logic (MVS), pp. 431–432.

ICLP-2005-Schindlauer #logic programming #semantics #source code #web

Nonmonotonic Logic Programs for the Semantic Web (RS), pp. 446–447.

ICLP-2005-Wilson #logic programming

Use of Logic Programming for Complex Business Rules (WGW), pp. 14–20.

LICS-2005-BarceloL #logic

Temporal Logics over Unranked Trees (PB, LL), pp. 31–40.

LICS-2005-Benedikt #logic

An Insider’s Guide to Logic in Telecommunications Data (MB), pp. 104–105.

LICS-2005-BirkedalTY #higher-order #semantics #type system

Semantics of Separation-Logic Typing and Higher-Order Frame Rules (LB, NTS, HY), pp. 260–269.

LICS-2005-BonevaTT #logic

Expressiveness of a Spatial Logic for Trees (IB, JMT, ST), pp. 280–289.

LICS-2005-Fontana #biology #logic

Logic and Systems Biology (WF), p. 344.

LICS-2005-GodefroidH #logic #model checking #semantics

Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics (PG, MH), pp. 158–167.

LICS-2005-Hofmann #approach

Proof-Theoretic Approach to Description-Logic (MH0), pp. 229–237.

LICS-2005-HondaYB #higher-order #imperative #logic

An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (KH, NY, MB), pp. 270–279.

LICS-2005-KieronskiO #decidability #first-order #logic

Small Substructures and Decidability Issues for First-Order Logic with Two Variables (EK, MO), pp. 448–457.

LICS-2005-Mellies #game studies #linear #logic

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic (PAM), pp. 386–395.

LICS-2005-OuaknineW #decidability #logic #metric #on the

On the Decidability of Metric Temporal Logic (JO, JW), pp. 188–197.

RTA-2005-BonevaT #automaton #logic

Automata and Logics for Unranked and Unordered Trees (IB, JMT), pp. 500–515.

SAT-2005-BelovS #logic #satisfiability

Substitutional Definition of Satisfiability in Classical Propositional Logic (AB, ZS), pp. 31–45.

SAT-2005-LingSB #logic #quantifier #satisfiability #synthesis #using

FPGA Logic Synthesis Using Quantified Boolean Satisfiability (ACL, DPS, SDB), pp. 444–450.

SAT-2005-SheiniS #integer #linear #logic #satisfiability #scalability

A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic (HMS, KAS), pp. 241–256.

TLCA-2005-AbelC #algorithm #framework #logic #similarity

Untyped Algorithmic Equality for Martin-Löf’s Logical Framework with Surjective Pairs (AA, TC), pp. 23–38.

TLCA-2005-BaillotT #algorithm #logic #type system

A Feasible Algorithm for Typing in Elementary Affine Logic (PB, KT), pp. 55–70.

TLCA-2005-CoppolaLR #call-by #logic #λ-calculus

Elementary Affine Logic and the Call-by-Value λ Calculus (PC, UDL, SRDR), pp. 131–145.

TLCA-2005-Herbelin #logic #on the

On the Degeneracy of Σ-Types in Presence of Computational Classical Logic (HH), pp. 209–220.

TLCA-2005-LamarcheS #logic #proving

Naming Proofs in Classical Propositional Logic (FL, LS), pp. 246–261.

DAC-2004-CaoK #logic #optimisation

Post-layout logic optimization of domino circuits (AC, CKK), pp. 820–825.

DAC-2004-DeleganesBGKSW #integer #logic

Low voltage swing logic circuits for a Pentium 4 processor integer core (DJD, MB, GG, KK, APS, SW), pp. 678–680.

DAC-2004-DingM #logic #novel

A novel technique to improve noise immunity of CMOS dynamic logic circuits (LD, PM), pp. 900–903.

DAC-2004-HrkicLB #approach #logic #replication

An approach to placement-coupled logic replication (MH, JL, GB), pp. 711–716.

DAC-2004-HungSYYP #analysis #logic #quantum #reachability #synthesis

Quantum logic synthesis by symbolic reachability analysis (WNNH, XS, GY, JY, MAP), pp. 838–841.

DAC-2004-KapoorJ #concurrent #logic #specification #synthesis

Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis (HKK, MBJ), pp. 830–833.

DAC-2004-Kerntopf #algorithm #heuristic #logic #synthesis

A new heuristic algorithm for reversible logic synthesis (PK), pp. 834–837.

DAC-2004-SasaoM #logic #multi

A method to decompose multiple-output logic functions (TS, MM), pp. 428–433.

DATE-DF-2004-FerrerGFAC #implementation #logic #named #network #programmable

NeuroFPGA — Implementing Artificial Neural Networks on Programmable Logic Devices (DF, RG, RF, JPA, RC), pp. 218–223.

DATE-v1-2004-KoorapatyKGFP #logic

Exploring Logic Block Granularity for Regular Fabrics (AK, VK, PG, MF, LTP), pp. 468–473.

DATE-v1-2004-LyseckyV #architecture #clustering #configuration management #hardware #logic

A Configurable Logic Architecture for Dynamic Hardware/Software Partitioning (RLL, FV), pp. 480–485.

DATE-v1-2004-PiguetGHOS #logic #power management

Extremely Low-Power Logic (CP, JG, CH, IO, US), pp. 656–663.

DATE-v1-2004-TiriV #design #implementation #logic

A Logic Level Design Methodology for a Secure DPA Resistant ASIC or FPGA Implementation (KT, IV), pp. 246–251.

DATE-v2-2004-AgrawalJ #logic #synthesis

Synthesis of Reversible Logic (AA, NKJ), pp. 1384–1385.

DATE-v2-2004-LiuWH #logic #synthesis

Crosstalk Minimization in Logic Synthesis for PLA (YYL, KHW, TH), pp. 790–795.

DATE-v2-2004-MondalCM #analysis #approach #logic #using

A New Approach to Timing Analysis Using Event Propagation and Temporal Logic (AM, PPC, CAM), pp. 1198–1203.

DATE-v2-2004-ZhangGZJ #logic #network #optimisation #synthesis

Synthesis and Optimization of Threshold Logic Networks with Application to Nanotechnologies (RZ, PG, LZ, NKJ), pp. 904–909.

DATE-2005-BernardiMQR04 #approach #logic #testing #using

Testing Logic Cores using a BIST P1500 Compliant Approach: A Case of Study (PB, GM, FQ, MSR), pp. 228–233.

DocEng-2004-GenevesV #optimisation #xpath

Logic-based XPath optimization (PG, JYVD), pp. 211–219.

DRR-2004-HeDP #documentation #logic

Hierarchical logical structure extraction of book documents by analyzing tables of contents (FH, XD, LP), pp. 6–13.

PODS-2004-CalvaneseGLR #integration #logic #peer-to-peer

Logical Foundations of Peer-To-Peer Data Integration (DC, GDG, ML, RR), pp. 241–251.

SIGMOD-2004-Borkar #enterprise

Liquid Data for WebLogic: Integrating Enterprise Data and Services (VRB), pp. 917–918.

SIGMOD-2004-Carey #framework #xml #xquery

XML in the Middle: XQuery in the WebLogic Platform (MJC), pp. 901–902.

SIGMOD-2004-PaparizosWLJ #evaluation #logic #performance #xquery

Tree Logical Classes for Efficient Evaluation of XQuery (SP, YW, LVSL, HVJ), pp. 71–82.

VLDB-2004-DeutschPX #framework #logic #xquery

The NEXT Logical Framework for XQuery (AD, YP, YX), pp. 168–179.

ITiCSE-2004-Waraich #education #logic #using

Using narrative as a motivating device to teach binary arithmetic and logic gates (AW), pp. 97–101.

ESOP-2004-CacheraJPR #data flow #logic

Extracting a Data Flow Analyser in Constructive Logic (DC, TPJ, DP, VR), pp. 385–400.

ESOP-2004-EspanaE #functional #logic #semantics

A Memoizing Semantics for Functional Logic Languages (SE, VE), pp. 109–123.

ESOP-2004-Ghica #analysis #approach #logic #semantics #specification

Semantical Analysis of Specification Logic, 3: An Operational Approach (DRG), pp. 264–278.

FoSSaCS-2004-Caires #behaviour #logic #π-calculus

Behavioral and Spatial Observations in a Logic for the π-Calculus (LC), pp. 72–89.

FoSSaCS-2004-Leivant #correctness #logic

Partial Correctness Assertions Provable in Dynamic Logics (DL), pp. 304–317.

TACAS-2004-AlurEM #logic

A Temporal Logic of Nested Calls and Returns (RA, KE, PM), pp. 467–481.

TACAS-2004-BeauquierCP #automation #first-order #logic #parametricity #protocol #state machine #verification

Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic (DB, TC, EP), pp. 372–387.

PEPM-2004-BarkerLV #data access #flexibility #logic programming #performance

Efficient and flexible access control via logic program specialisation (SB, ML, MV), pp. 190–199.

PEPM-2004-PettorossiP #formal method #logic programming #program transformation

A theory of totally correct logic program transformations (AP, MP), pp. 159–168.

SAS-2004-AmtoftB #analysis #data flow #logic

Information Flow Analysis in Logical Form (TA, AB), pp. 100–115.

SAS-2004-BozgaIL #alias #logic #on the

On Logics of Aliasing (MB, RI, YL), pp. 344–360.

SAS-2004-KuncakR #logic

Generalized Records and Spatial Conjunction in Role Logic (VK, MCR), pp. 361–376.

SAS-2004-PayetM #constraints #logic programming #source code

Non-termination Inference for Constraint Logic Programs (ÉP, FM), pp. 377–392.

SAS-2004-Schmidt #approximate #logic

Closed and Logical Relations for Over- and Under-Approximation of Powersets (DAS), pp. 22–37.

FLOPS-2004-CaballeroR #debugging #declarative #functional #named

DDT: a Declarative Debugging Tool for Functional-Logic Languages (RC, MRA), pp. 70–84.

FLOPS-2004-HagiyaTYS #abstraction #analysis #automaton #logic #using

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic (MH, KT, MY, TS), pp. 7–21.

FLOPS-2004-PemmasaniGDRR #logic programming #online #source code

Online Justification for Tabled Logic Programs (GP, HFG, YD, CRR, IVR), pp. 24–38.

FLOPS-2004-Schurmann #framework #functional #logic #programming

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework (CS), pp. 22–23.

CIAA-2004-Lugiez #automaton #linear #logic #set

From Automata to Semilinear Sets: A Logical Solution for Sets L(C, P) (DL), pp. 321–322.

ICALP-2004-BrunsG #logic #model checking #multi

Model Checking with Multi-valued Logics (GB, PG), pp. 281–293.

ICALP-2004-Hofmann #logic #question #type system #what

What Do Program Logics and Type Systems Have in Common? (MH0), pp. 4–7.

ICALP-2004-Katsumata

A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems (SyK), pp. 831–845.

ICALP-2004-Schweikardt #fixpoint #logic #monad #on the #power of

On the Expressive Power of Monadic Least Fixed Point Logic (NS), pp. 1123–1135.

ICALP-2004-Toftdal #analysis #effectiveness #logic #theorem

A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles: (Extended Abstract) (MT), pp. 1188–1200.

IFM-2004-ChenL #logic

Integrating Temporal Logics (YC, ZL), pp. 402–420.

IFM-2004-VilasARGD #imperative #incremental #logic #modelling #semantics #specification

A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models (AFV, JJPA, RPDR, AGS, JGD), pp. 382–401.

SEFM-2004-ArbabBBR #component #logic #modelling

Models and Temporal Logics for Timed Component Connectors (FA, CB, FSdB, JJMMR), pp. 198–207.

ICFP-2004-Honda #logic #process

From process logic to program logic (KH), pp. 163–174.

ICFP-2004-TolmachAN #functional #implementation #logic #multi #thread #using

Implementing functional logic languages using multiple threads and stores (APT, SA, MN), pp. 90–102.

IFL-2004-AntoyHLT #functional #logic #virtual machine

A Virtual Machine for Functional Logic Computations (SA, MH, JL, APT), pp. 108–125.

ICGT-2004-Rensink #first-order #graph #logic #representation #using

Representing First-Order Logic Using Graphs (AR), pp. 319–335.

AdaEurope-2004-HiltonH #ada #logic #programmable

High-Integrity Interfacing to Programmable Logic with Ada (AJH, JGH), pp. 249–260.

CAiSE-2004-NuffelenCDAB #integration #using

Data Integration Using ID-Logic (BVN, ACC, MD, OA, MB), pp. 67–81.

EDOC-2004-BoerBJST #architecture #logic

A Logical Viewpoint on Architectures (FSdB, MMB, JJ, AS, LWNvdT), pp. 73–83.

ICEIS-v3-2004-KazakovA #approach #automation #integration #logic

Semi-Automated Software Integration: An Approach Based on Logical Inference (MK, HA), pp. 527–530.

CIKM-2004-ChenZ #formal method #logic programming #mobile #multi

An extended logic programming based multi-agent system formalization in mobile environments (JC, YZ), pp. 166–167.

ICPR-v2-2004-NoorRM #fuzzy #geometry #logic

Global Geometry Extraction for Fuzzy Logic Based Handwritten Character (NMN, MR, PMC), pp. 513–516.

KR-2004-Bochman #logic programming

A Causal Logic of Logic Programming (AB), pp. 427–437.

KR-2004-Denecker #analysis #logic programming #what

What’s in a Model? Epistemological Analysis of Logic Programming (MD), pp. 106–113.

KR-2004-EiterFTW #logic programming #on the

On Eliminating Disjunctions in Stable Logic Programming (TE, MF, HT, SW), pp. 447–458.

KR-2004-EiterLST #logic #programming #semantics #set #web

Combining Answer Set Programming with Description Logics for the Semantic Web (TE, TL, RS, HT), pp. 141–151.

KR-2004-HustadtMS #datalog #logic #source code

Reducing SHIQ-Description Logic to Disjunctive Datalog Programs (UH, BM, US), pp. 152–162.

KR-2004-LiuLL #logic #reasoning

A Logic of Limited Belief for Reasoning with Disjunctive Information (YL, GL, HJL), pp. 587–597.

KR-2004-Lukasiewicz #logic #probability

Weak Nonmonotonic Probabilistic Logics (TL), pp. 23–33.

KR-2004-MeyerFKZ #logic

Logical Foundations of Negotiation: Strategies and Preferences (TAM, NYF, RK, DZ), pp. 311–318.

KR-2004-PacuitS #logic

Majority Logic (EP, SS), pp. 598–605.

KR-2004-RaedtR #induction #logic programming

Condensed Representations for Inductive Logic Programming (LDR, JR), pp. 438–446.

KR-2004-ShanahanR #visual notation

A Logic-Based Formulation of Active Visual Perception (MS, DAR), pp. 64–72.

KR-2004-Shapiro #logic

A Logic of Arbitrary and Indefinite Objects (SCS), pp. 565–575.

KR-2004-YamanNS #logic

A Logic of Motion (FY, DSN, VSS), pp. 85–94.

SEKE-2004-Cruz-LemusGORP #diagrams #fuzzy #predict #statechart #uml #using

Predicting UML Statechart Diagrams Understandability Using Fuzzy Logic-Based Techniques (JACL, MG, JAO, FPR, MP), pp. 238–245.

SEKE-2004-WihartoS #logic #using #xml

Future Proofing and Retargeting Application Logic Using O2XML (MW, PS), pp. 173–178.

LOPSTR-2004-BrasselHHSV #functional #logic programming #profiling #runtime #source code

Run-Time Profiling of Functional Logic Programs (BB, MH, FH, JS, GV), pp. 182–197.

LOPSTR-2004-Lopez-GarciaBH #analysis #logic programming #source code #using

Determinacy Analysis for Logic Programs Using Mode and Type Information (PLG, FB, MVH), pp. 19–35.

LOPSTR-2004-Moody #locality #logic

Logical Mobility and Locality Types (JM), pp. 69–84.

LOPSTR-2004-Rao #logic programming #source code

Input-Termination of Logic Programs (MRKKR), pp. 215–230.

LOPSTR-2004-Vanhoof #logic programming #semantics #source code

Searching Semantically Equivalent Code Fragments in Logic Programs (WV), pp. 1–18.

PDCL-2004-BasinDFHN #logic #source code #synthesis

Synthesis of Programs in Computational Logic (DAB, YD, PF, AH, JFN), pp. 30–65.

PDCL-2004-BossiCER #declarative #logic programming #semantics #source code

Declarative Semantics of Input Consuming Logic Programs (AB, NC, SE, SR), pp. 90–114.

PDCL-2004-Brogi #composition #logic programming #on the #semantics

On the Semantics of Logic Program Composition (AB), pp. 115–151.

PDCL-2004-ColvinGHHNS #logic programming #refinement #source code #specification #using

Developing Logic Programs from Specifications Using Stepwise Refinement (RC, LG, IJH, DH, RN, PAS), pp. 66–89.

PDCL-2004-FioravantiPP #constraints #logic programming #source code

Transformation Rules for Locally Stratified Constraint Logic Programs (FF, AP, MP), pp. 291–339.

PDCL-2004-HoweKL #logic programming #reasoning #source code

Analysing Logic Programs by Reasoning Backwards (JMH, AK, LL), pp. 152–188.

PDCL-2004-LauO #composition #development #logic #specification

Specifying Compositional Units for Correct Program Development in Computational Logic (KKL, MO), pp. 1–29.

PDCL-2004-LindenstraussSS #approach #logic programming #proving #source code #termination

Proving Termination for Logic Programs by the Query-Mapping Pairs Approach (NL, YS, AS), pp. 453–498.

PDCL-2004-PedreschiRS #logic programming #termination

Characterisations of Termination in Logic Programming (DP, SR, JGS), pp. 376–431.

PPDP-2004-ClevaLL #approach #functional #logic programming #source code #verification

A logic programming approach to the verification of functional-logic programs (JMC, JL, FJLF), pp. 9–19.

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.

PPDP-2004-HondaY #composition #higher-order #logic #polymorphism

A compositional logic for polymorphic higher-order functions (KH, NY), pp. 191–202.

PADL-2004-BrasselCHH #functional #logic

Observing Functional Logic Computations (BB, OC, MH, FH), pp. 193–208.

POPL-2004-Dal-ZilioLM #logic

A logic you can count on (SDZ, DL, CM), pp. 135–146.

SAC-2004-AlbertiDTGLM #interactive #protocol #specification #verification

Specification and verification of agent interaction protocols in a logic-based system (MA, DD, PT, MG, EL, PM), pp. 72–78.

SAC-2004-El-Gayar #fuzzy #logic #multi

Application of fuzzy logic to multiple criteria decision making in aquacultural planning (OFEG), pp. 1028–1029.

SAC-2004-RamirezS #concurrent #constraints #distributed #logic programming #source code #using

Concurrent and distributed programming using constraint logic programs (RR, AES), pp. 508–509.

CAV-2004-GammieM #logic #model checking #named

MCK: Model Checking the Logic of Knowledge (PG, RvdM), pp. 479–483.

CAV-2004-RepsSW #logic #program analysis

Static Program Analysis via 3-Valued Logic (TWR, SS, RW), pp. 15–30.

CAV-2004-TalupurSSP #logic

Range Allocation for Separation Logic (MT, NS, OS, AP), pp. 148–161.

CSL-2004-AvelloneFFM #calculus #implementation #logic #performance

A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation (AA, CF, GF, UM), pp. 488–502.

CSL-2004-Ciabattoni #automation #calculus #generative #logic

Automated Generation of Analytic Calculi for Logics with Linearity (AC), pp. 503–517.

CSL-2004-Gianantonio #linear #logic #multi

Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity (PDG), pp. 130–144.

CSL-2004-Goubault-LarrecqLNZ #encryption #logic #λ-calculus

Complete Lax Logical Relations for Cryptographic λ-Calculi (JGL, SL, DN, YZ), pp. 400–414.

CSL-2004-Hyvernat #linear #logic

Predicate Transformers and Linear Logic: Yet Another Denotational Model (PH), pp. 115–129.

CSL-2004-ImmermanRRSY #bound #decidability #logic #transitive

The Boundary Between Decidability and Undecidability for Transitive-Closure Logics (NI, AMR, TWR, SS, GY), pp. 160–174.

CSL-2004-MetcalfeOG #logic

Goal-Directed Methods for Lukasiewicz Logic (GM, NO, DMG), pp. 85–99.

CSL-2004-Richerby #logic

Logical Characterizations of PSPACE (DR), pp. 370–384.

CSL-2004-Schroder #logic #similarity #λ-calculus

The Logic of the Partial λ-Calculus with Equality (LS), pp. 385–399.

CSL-2004-StrassburgerL #linear #logic #multi #on the #proving

On Proof Nets for Multiplicative Linear Logic with Units (LS, FL), pp. 145–159.

CSL-2004-Weber #logic #towards #verification

Towards Mechanized Program Verification with Separation Logic (TW), pp. 250–264.

ICLP-2004-Barker #logic programming #source code

Labeled Logic Programs (SB), pp. 448–449.

ICLP-2004-BryPS #evolution #logic programming #programming language #query #web

Xcerpt and XChange — Logic Programming Languages for Querying and Evolution on the Web (FB, PLP, SS), pp. 450–451.

ICLP-2004-CheneyU #logic programming #named #programming language #prolog

αProlog: A Logic Programming Language with Names, Binding and α-Equivalence (JC, CU), pp. 269–283.

ICLP-2004-DekhtyarD #logic programming #probability #semantics #source code

Possible Worlds Semantics for Probabilistic Logic Programs (AD, MID), pp. 137–148.

ICLP-2004-LinkeTW #logic programming #on the #source code

On Acyclic and Head-Cycle Free Nested Logic Programs (TL, HT, SW), pp. 225–239.

ICLP-2004-Nguyen #logic programming #named #prolog

MProlog: An Extension of Prolog for Modal Logic Programming (LAN), pp. 469–470.

ICLP-2004-Pearce #logic programming #semantics #set #source code

Simplifying Logic Programs Under Answer Set Semantics (DP), pp. 210–224.

ICLP-2004-Robertson #coordination #distributed #logic programming #multi

Multi-agent Coordination as Distributed Logic Programming (DR), pp. 416–430.

ICLP-2004-RochaSC #logic programming #source code

Speculative Computations in Or-Parallel Tabled Logic Programs (RR, FMAS, VSC), pp. 254–268.

ICLP-2004-Smaus #logic programming #source code #termination #using

Termination of Logic Programs Using Various Dynamic Selection Rules (JGS), pp. 43–57.

ICLP-2004-Tarau #logic programming

Agent Oriented Logic Programming Constructs in Jinni 2004 (PT), pp. 477–478.

ICLP-2004-VennekensVB #logic programming #source code

Logic Programs with Annotated Disjunctions (JV, SV, MB), pp. 431–445.

IJCAR-2004-BaaderGT #decidability #logic #problem #word

A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics (FB, SG, CT), pp. 183–197.

IJCAR-2004-Beeson #logic

Lambda Logic (MB), pp. 460–474.

IJCAR-2004-Gottlob #finite #higher-order #logic #research

Second-Order Logic over Finite Structures — Report on a Research Programme (GG), pp. 229–243.

IJCAR-2004-Larchey-Wendling #logic

Counter-Model Search in Gödel-Dummett Logics (DLW), pp. 274–288.

IJCAR-2004-MeseguerR #analysis #formal method #logic #semantics #specification #tool support

Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools (JM, GR), pp. 1–44.

LICS-2004-FuhrmannP #geometry #interactive #logic #on the

On the Geometry of Interaction for Classical Logic (CF, DJP), pp. 211–220.

LICS-2004-GabbayC #calculus #logic

A Sequent Calculus for Nominal Logic (MG, JC), pp. 139–148.

LICS-2004-GroheS #first-order #linear #logic

The Succinctness of First-Order Logic on Linear Orders (MG, NS), pp. 438–447.

LICS-2004-Leivant #logic #proving #termination

Proving Termination Assertions in Dynamic Logics (DL), pp. 89–98.

RTA-2004-LimetS #logic programming #proving #source code #term rewriting

Proving Properties of Term Rewrite Systems via Logic Programs (SL, GS), pp. 170–184.

ASE-2003-AbergLSMM #aspect-oriented #automation #evolution #kernel #logic #on the #using

On the automatic evolution of an OS kernel using temporal logic and AOP (RAÅ, JLL, MS, GM, AFLM), pp. 196–204.

DAC-2003-BeraudoL #logic #optimisation #replication

Timing optimization of FPGA placements by logic replication (GB, JL), pp. 196–201.

DAC-2003-ChenHBW #analysis #automation #constraints #logic

Automatic trace analysis for logic of constraints (XC, HH, FB, YW), pp. 460–465.

DAC-2003-JiangMB #evaluation #logic

Generalized cofactoring for logic function evaluation (YJ, SM, RKB), pp. 155–158.

DAC-2003-LyseckyV #logic

On-chip logic minimization (RLL, FV), pp. 334–337.

DAC-2003-MillerMD #algorithm #logic #synthesis

A transformation based algorithm for reversible logic synthesis (DMM, DM, GWD), pp. 318–323.

DAC-2003-MukhopadhyayRR #estimation #logic #modelling

Accurate estimation of total leakage current in scaled CMOS logic circuits based on compact current modeling (SM, AR, KR), pp. 169–174.

DAC-2003-SeshiaLB #hybrid #logic #satisfiability

A hybrid SAT-based decision procedure for separation logic with uninterpreted functions (SAS, SKL, REB), pp. 425–430.

DAC-2003-WohlWPA #architecture #logic #performance

Efficient compression and application of deterministic patterns in a logic BIST architecture (PW, JAW, SP, MBA), pp. 566–569.

DATE-2003-ChoiR #logic

A New Crosstalk Noise Model for DOMINO Logic Circuits (SHC, KR), pp. 11112–11113.

DATE-2003-DingM #logic #modelling

Modeling Noise Transfer Characteristic of Dynamic Logic Gates (LD, PM), pp. 11114–11117.

DATE-2003-FazelTR #design #logic #named #visualisation

PLFire: A Visualization Tool for Asynchronous Phased Logic Designs (KF, MAT, RBR), pp. 11096–11097.

DATE-2003-GericotaASF #configuration management #logic #runtime

Run-Time Management of Logic Resources on Reconfigurable Systems (MGG, GRA, MLS, JMF), pp. 10974–10979.

DATE-2003-KoorapatyCTPPS #architecture #logic #programmable

Heterogeneous Programmable Logic Block Architectures (AK, VC, KYT, CP, LTP, HS), pp. 11118–11119.

DATE-2003-SirisantanaR #logic #power management

Selectively Clocked CMOS Logic Style for Low-Power Noise-Immune Operations in Scaled Technologies (NS, KR), pp. 11160–11161.

DRR-2003-LiangD #documentation #logic

Content features for logical document labeling (JL, DSD), pp. 189–196.

ICDAR-2003-AllierDGME #logic

Texture Feature Characterization for Logical Pre-labeling (BA, JD, AG, PM, HE), pp. 567–571.

ESOP-2003-AlpuenteBCF #functional #logic programming #source code

Correction of Functional Logic Programs (MA, DB, FJC, MF), pp. 54–68.

ESOP-2003-CastroW #approximate #logic programming

Approximate Pruning in Tabled Logic Programming (LFC, DSW), pp. 69–83.

ESOP-2003-GenaimK #analysis #independence #logic programming #scheduling #source code

Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling (SG, AK), pp. 84–98.

ESOP-2003-RepsSL #difference #finite #logic #static analysis

Finite Differencing of Logical Formulas for Static Analysis (TWR, SS, AL), pp. 380–398.

ESOP-2003-YahavRSW #evolution #logic #verification

Verifying Temporal Heap Properties Specified via Evolution Logic (EY, TWR, SS, RW), pp. 204–222.

FASE-2003-AguirreM #component #configuration management #logic #specification

A Logical Basis for the Specification of Reconfigurable Component-Based Systems (NA, TSEM), pp. 37–51.

FASE-2003-BeckertM #java #logic #transaction

A Program Logic for Handling JAVA CARD’s Transaction Mechanism (BB, WM), pp. 246–260.

FASE-2003-MerzWZ #logic #mobile #refinement #specification

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems (SM, MW, JZ), pp. 87–101.

FASE-2003-SchroderM #hoare #independence #logic

Monad-Independent Hoare Logic in HASCASL (LS, TM), pp. 261–277.

TACAS-2003-ArmoniBKV #linear #logic

Resets vs. Aborts in Linear Temporal Logic (RA, DB, OK, MYV), pp. 65–80.

CSMR-2003-ElishR #design #logic #metric #object-oriented

Investigation of Metrics for Object-Oriented Design Logical Stability (MOE, DCR), pp. 193–200.

CSMR-2003-TourweM #identification #logic #metaprogramming #refactoring #using

Identifying Refactoring Opportunities Using Logic Meta Programming (TT, TM), pp. 91–100.

PEPM-2003-BozgaIL #alias #logic #semantics

Storeless semantics and alias logic (MB, RI, YL), pp. 55–65.

SAS-2003-BaldanKK #abstraction #graph transformation #logic

A Logic for Analyzing Abstractions of Graph Transformation Systems (PB, BK, BK), pp. 255–272.

CIAA-2003-Fritz #automaton #linear #logic #simulation #using

Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata (CF), pp. 35–48.

ICALP-2003-AriolaH #logic

Minimal Classical Logic and Control Operators (ZMA, HH), pp. 871–885.

ICALP-2003-KlaedtkeR #higher-order #logic #monad

Monadic Second-Order Logics with Cardinalities (FK, HR), pp. 681–696.

ICALP-2003-Vardi #automaton #logic

Logic and Automata: A Match Made in Heaven (MYV), pp. 64–65.

FME-2003-TengT #specification

Composing Temporal-Logic Specifications with Machine Assistance (JWT, YKT), pp. 719–738.

SIGAda-2003-EvangelistaKPR #ada #concurrent #linear #logic #source code #verification

Verifying linear time temporal logic properties of concurrent Ada programs with quasar (SE, CK, JFPP, PR), pp. 17–24.

ICEIS-v2-2003-SolvangDS #flexibility #fuzzy #logic #network

Applying Fuzzy Logic and Neural Network for Quantifying Flexibility of Supply Chains (WDS,