BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (10)
use (7)
applic (5)
solv (5)
base (5)

Stem asp$ (all stems)

45 papers:

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

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