Stem asp$ (all stems)

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.