45 papers:
- ICLP-2015-DovierFPV #execution #parallel
- Parallel Execution of the ASP Computation — an Investigation on GPUs (AD, AF, EP, FV).
- ICLP-2015-LiVPSB #debugging #using
- Debugging ASP using ILP (TL, MDV, JP, KS, TB).
- ICLP-J-2015-MannaRT #consistency #query #scalability
- Taming primary key violations to query large inconsistent data via ASP (MM, FR, GT), pp. 696–710.
- DATE-2014-BiewerGH #novel #smt
- A novel model for system-level decision making with combined ASP and SMT solving (AB, JG, CH), pp. 1–4.
- KR-2014-GebserJR #encoding
- ASP Encodings of Acyclicity Properties (MG, TJ, JR).
- PADL-2014-SonPL #multi #prolog #source code
- Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems (TCS, EP, TL), pp. 87–103.
- DATE-2013-ZhuTSHSS #communication
- A 100 GOPS ASP based baseband processor for wireless communication (ZZ, ST, YS, JH, GS, JS), pp. 121–124.
- ICLP-J-2013-Balduccini
- ASP with non-herbrand partial functions: a language and system for practical use (MB), pp. 547–561.
- ICLP-J-2013-KaminskiSSV #logic #network
- Minimal intervention strategies in logical signaling networks with ASP (RK, TS, AS, SV), pp. 675–690.
- KR-2012-BaralL #declarative #reasoning #representation
- From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP (CB, SL).
- KR-2012-GiordanoMD #bound #model checking
- Achieving Completeness in Bounded Model Checking of Action Theories in ASP (LG, AM, DTD).
- PADL-2012-BalducciniL #aspect-oriented #tool support
- Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools (MB, YL), pp. 78–92.
- PADL-2012-LierlerSTW #declarative #problem
- Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving (YL, SS, MT, AW), pp. 63–77.
- ICLP-2012-HoosKSS #named #scheduling
- aspeed: ASP-based Solver Scheduling (HH, RK, TS, MTS), pp. 176–187.
- ICLP-2012-LeNPS #implementation
- ASP at Work: An ASP Implementation of PhyloWS (TL, HN, EP, TCS), pp. 359–369.
- ICLP-2012-MarateaPR #machine learning
- Applying Machine Learning Techniques to ASP Solving (MM, LP, FR), pp. 37–48.
- ICLP-2012-NovelliVPD #architecture #named
- LOG-IDEAH: ASP for Architectonic Asset Preservation (VN, MDV, JAP, DD), pp. 393–403.
- ICLP-2012-Ostrowski #csp
- ASP modulo CSP: The clingcon system (MO), pp. 458–463.
- ICLP-2012-Peano #approach
- An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System (AP), pp. 464–468.
- ICLP-2012-SilverthornLS
- Surviving Solver Sensitivity: An ASP Practitioner’s Guide (BS, YL, MS), pp. 164–175.
- ICLP-J-2012-EiterFKR
- Conflict-driven ASP solving with external sources (TE, MF, TK, CR), pp. 659–679.
- ICLP-J-2012-GebserKS #concurrent #multi #thread
- Multi-threaded ASP solving with clasp (MG, BK, TS), pp. 525–545.
- ICLP-J-2012-OstrowskiS #csp
- ASP modulo CSP: The clingcon system (MO, TS), pp. 485–503.
- ICLP-2011-BrikR #hybrid
- Hybrid ASP (AB, JBR), pp. 40–50.
- ICLP-2011-OstrowskiFSA #evolution #ontology #using
- Evolution of Ontologies using ASP (MO, GF, TS, GA), pp. 16–27.
- ICLP-J-2011-DurzinskyMOSW #automation #network #re-engineering #using
- Automatic network reconstruction using ASP (MD, WM, MO, TS, AW), pp. 749–766.
- PADL-2010-GrassoILLRS
- An ASP-Based System for Team-Building in the Gioia-Tauro Seaport (GG, SI, NL, VL, FR, FS), pp. 40–42.
- ICLP-J-2010-AlvianoFL #decidability #effectiveness #query
- Disjunctive ASP with functions: Decidable queries and effective computation (MA, WF, NL), pp. 497–512.
- ICLP-2009-GebserKKS #constraints #implementation #on the
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (MG, RK, BK, TS), pp. 250–264.
- ICLP-2008-CalimeriCIL #implementation
- Computable Functions in ASP: Theory and Implementation (FC, SC, GI, NL), pp. 407–424.
- ICLP-2008-Eiter #question
- SMS and ASP: Hype or TST? (TE), pp. 77–82.
- ICLP-2008-GebserKKOST #incremental
- Engineering an Incremental ASP Solver (MG, RK, BK, MO, TS, ST), pp. 190–205.
- ICLP-2008-MarekR #on the
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (VWM, JBR), pp. 223–237.
- DATE-2007-Scholzel #clustering #interactive
- Interactive presentation: Time-constrained clustering for DSE of clustered VLIW-ASP (MS), pp. 467–472.
- ICLP-2007-JarvisaloO #logic programming #source code
- Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs (MJ, EO), pp. 134–148.
- ICLP-2007-NeedhamV #game studies #semantics
- A Games Semantics of ASP (JN, MDV), pp. 460–461.
- CBSE-2005-Beznosov #architecture #case study #component #design #experience #implementation #web #web service
- Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services (KB), pp. 337–352.
- ICLP-2005-DovierFP #comparison #problem
- A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems (AD, AF, EP), pp. 67–82.
- PADL-2004-ElkhatibPS #named #prolog #reasoning #set #source code
- ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog (OEK, EP, TCS), pp. 148–162.
- ICLP-2004-ElkabaniPS #approach #effectiveness
- Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP (IE, EP, TCS), pp. 73–89.
- SIGMOD-2002-Bussler #as a service
- Software as a service: ASP and ASP aggregation (CB), p. 638.
- ICEIS-v2-2001-FerreiraTS #internet #named #using
- Webmaster — An Internet Information Support System for Academic Services Using ASP Technology (CF, LT, RS), pp. 967–973.
- EDOC-2000-KawamuraHOH #development #framework
- Rental Application to Rental Service Development of Advanced ASP Framework (TK, TH, AO, SH), p. 58–?.
- ICEIS-1999-Garcia-FanjulMRT #internet #named #online #using
- TIBLEUS: A Model to Build Internet Online Support Services Using ASP (JGF, CM, CdlR, JT), pp. 619–625.
- ICEIS-1999-MuscaPM #database #framework
- Developing Database Application in Internet-An ASP Framework (GM, AP, FM), pp. 698–705.