Parallel Logic Programming: A Sequel (Q6063892): Difference between revisions

@@ Property / cites work @@
+Cost analysis of object-oriented bytecode programs
+Normal rank
@@ Property / cites work @@
+Scheduling speculative work in MUSE and performance results
+Normal rank
@@ Property / cites work @@
+SUNNY: a Lazy Portfolio Approach for Constraint Solving
+Normal rank
@@ Property / cites work @@
+Towards multi-threaded local tabling using a common table space
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Transformation-based bottom-up computation of the well-founded model
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Non-strict independence-based program parallelization using sharing and freeness information
+Normal rank
@@ Property / cites work @@
+Logic programming as a service
@@ Property / cites work: Logic programming as a service / rank @@
+Normal rank
@@ Property / cites work @@
+Experimenting with parallelism for the instantiation of ASP programs
+Normal rank
@@ Property / cites work @@
+SICStus Prolog—The first 25 years
@@ Property / cites work: SICStus Prolog—The first 25 years / rank @@
+Normal rank
@@ Property / cites work @@
+Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
+Normal rank
@@ Property / cites work @@
+A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
+Normal rank
@@ Property / cites work @@
+Tabled evaluation with delaying for general logic programs
+Normal rank
@@ Property / cites work @@
+Parallel backtracking with answer memoing for independent and-parallelism
+Normal rank
@@ Property / cites work @@
+PARLOG: parallel programming in logic
@@ Property / cites work: PARLOG: parallel programming in logic / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to sharing analysis of logic programs
+Normal rank
@@ Property / cites work @@
+Q3727368
@@ Property / cites work: Q3727368 / rank @@
+Normal rank
@@ Property / cites work @@
+Scaling-up reasoning and advanced analytics on BigData
+Normal rank
@@ Property / cites work @@
+GASP: Answer Set Programming with Lazy Grounding
@@ Property / cites work: GASP: Answer Set Programming with Lazy Grounding / rank @@
+Normal rank
@@ Property / cites work @@
+A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation
+Normal rank
@@ Property / cites work @@
+Tabling as a library with delimited control
@@ Property / cites work: Tabling as a library with delimited control / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel ILP for distributed-memory architectures
@@ Property / cites work: Parallel ILP for distributed-memory architectures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259968
@@ Property / cites work: Q4259968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5020649
@@ Property / cites work: Q5020649 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel bottom-up processing of datalog queries
@@ Property / cites work: Parallel bottom-up processing of datalog queries / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental and Modular Context-sensitive Analysis
+Normal rank
@@ Property / cites work @@
+Multivariant assertion-based guidance in abstract interpretation
+Normal rank
@@ Property / cites work @@
+Incremental Analysis of Logic Programs with Assertions and Open Predicates
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+The Seventh Answer Set Programming Competition: Design and Results
+Normal rank
@@ Property / cites work @@
+A review of literature on parallel constraint solving
+Normal rank
@@ Property / cites work @@
+BerkMin: A fast and robust SAT-solver
@@ Property / cites work: BerkMin: A fast and robust SAT-solver / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm portfolios
@@ Property / cites work: Algorithm portfolios / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736512
@@ Property / cites work: Q4736512 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227005
@@ Property / cites work: Q4227005 / rank @@
+Normal rank
@@ Property / cites work @@
+MULTILISP: a language for concurrent symbolic computation
+Normal rank
@@ Property / cites work @@
+Q3732947
@@ Property / cites work: Q3732947 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming
+Normal rank
@@ Property / cites work @@
+An overview of Ciao and its design philosophy
@@ Property / cites work: An overview of Ciao and its design philosophy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3732946
@@ Property / cites work: Q3732946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702568
@@ Property / cites work: Q4702568 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
+Normal rank
@@ Property / cites work @@
+Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions
+Normal rank
@@ Property / cites work @@
+Soundness, idempotence and commutativity of set-sharing
+Normal rank
@@ Property / cites work @@
+aspeed: Solver scheduling via answer set programming
+Normal rank
@@ Property / cites work @@
+<tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming
+Normal rank
@@ Property / cites work @@
+A randomized parallel backtracking algorithm
@@ Property / cites work: A randomized parallel backtracking algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+A General Framework for Static Cost Analysis of Parallel Logic Programs
+Normal rank
@@ Property / cites work @@
+Graphs and colorings for answer set programming
@@ Property / cites work: Graphs and colorings for answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862380
@@ Property / cites work: Q3862380 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Set-Sharing Analysis
@@ Property / cites work: Lazy Set-Sharing Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with abstract constraint atoms: the role of computations
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+A design and implementation of the Extended Andorra Model
+Normal rank
@@ Property / cites work @@
+Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
+Normal rank
@@ Property / cites work @@
+Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
+Normal rank
@@ Property / cites work @@
+A methodology for granularity-based control of parallelism in logic programs
+Normal rank
@@ Property / cites work @@
+Concurrent and Local Evaluation of Normal Programs
+Normal rank
@@ Property / cites work @@
+Precise Set Sharing Analysis for Java-Style Programs
+Normal rank
@@ Property / cites work @@
+A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
+Normal rank
@@ Property / cites work @@
+Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
+Normal rank
@@ Property / cites work @@
+Compile-time derivation of variable dependency using abstract interpretation
+Normal rank
@@ Property / cites work @@
+Parallel instantiation of ASP programs: techniques and experiments
+Normal rank
@@ Property / cites work @@
+Parallel symbolic computation in ACE
@@ Property / cites work: Parallel symbolic computation in ACE / rank @@
+Normal rank
@@ Property / cites work @@
+ASP at Work: An ASP Implementation of PhyloWS
@@ Property / cites work: ASP at Work: An ASP Implementation of PhyloWS / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal data structure to handle dynamic environments in non-deterministic computations
+Normal rank
@@ Property / cites work @@
+Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms
+Normal rank
@@ Property / cites work @@
+PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters
+Normal rank
@@ Property / cites work @@
+Abstract multiple specialization and its application to program parallelization
+Normal rank
@@ Property / cites work @@
+Q4736502
@@ Property / cites work: Q4736502 / rank @@
+Normal rank
@@ Property / cites work @@
+On applying or-parallelism and tabling to logic programs
+Normal rank
@@ Property / cites work @@
+On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
+Normal rank
@@ Property / cites work @@
+Threads and or-parallelism unified
@@ Property / cites work: Threads and or-parallelism unified / rank @@
+Normal rank
@@ Property / cites work @@
+The YAP Prolog system
@@ Property / cites work: The YAP Prolog system / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
+Normal rank
@@ Property / cites work @@
+Overview of DASWAM: Exploitation of dependent and-parallelism
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q3742761
@@ Property / cites work: Q3742761 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical run-time checking via unobtrusive property caching
+Normal rank
@@ Property / cites work @@
+XSB: Extending Prolog with Tabled Logic Programming
+Normal rank
@@ Property / cites work @@
+Efficient Computation of the Well-Founded Semantics over Big Data
+Normal rank
@@ Property / cites work @@
+Q3455609
@@ Property / cites work: Q3455609 / rank @@
+Normal rank
@@ Property / cites work @@
+The deevolution of concurrent logic programming languages
+Normal rank
@@ Property / cites work @@
+Negative Ternary Set-Sharing
@@ Property / cites work: Negative Ternary Set-Sharing / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded horn clauses
@@ Property / cites work: Guarded horn clauses / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+–1993: The wonder years of sequential Prolog implementation
+Normal rank
@@ Property / cites work @@
+Annotation of logic programs for independent AND-parallelism by partial evaluation
+Normal rank
@@ Property / cites work @@
+Q4736501
@@ Property / cites work: Q4736501 / rank @@
+Normal rank
@@ Property / cites work @@
+SWI-Prolog
@@ Property / cites work: SWI-Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624141
@@ Property / cites work: Q3624141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4631182
@@ Property / cites work: Q4631182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494373
@@ Property / cites work: Q4494373 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics and optimization of recursive Datalog programs with aggregates
+Normal rank
@@ Property / cites work @@
+Linear tabling strategies and optimizations
@@ Property / cites work: Linear tabling strategies and optimizations / rank @@
+Normal rank
@@ Property / cites work @@
+The language features and architecture of B-Prolog
+Normal rank