| Nome |
# |
|
Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models, file e27ce0c3-52ec-055e-e053-6605fe0a7873
|
302
|
|
Planning as tabled logic programming, file e27ce0c2-68c6-055e-e053-6605fe0a7873
|
147
|
|
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets, file e27ce0c1-f1b1-055e-e053-6605fe0a7873
|
109
|
|
GPU Parallelism for SAT Solving Heuristics, file fef89cc5-fc82-4b4b-9f41-24d48c48e1c5
|
83
|
|
Logic programming and bisimulation, file e27ce0c2-6b2a-055e-e053-6605fe0a7873
|
67
|
|
Sets and Constraint Logic Programming, file e27ce0c3-3753-055e-e053-6605fe0a7873
|
67
|
|
Constrained Community-based Gene Regulatory Network Inference, file e27ce0c9-57d0-055e-e053-6605fe0a7873
|
61
|
|
Modeling and Solving the Rush Hour puzzle, file 22b19a17-19a9-4b13-a1e2-3b9126cce139
|
58
|
|
Compiling and executing PDDL in picat, file e27ce0c3-5ed4-055e-e053-6605fe0a7873
|
55
|
|
Towards a Logic Programming Tool for Cancer Analysis, file e27ce0c5-0708-055e-e053-6605fe0a7873
|
53
|
|
Parallel execution of the ASP computation - An investigation on GPUs, file e27ce0c2-6b28-055e-e053-6605fe0a7873
|
48
|
|
Reasoning in high schools: Do it with ASP! ?, file e27ce0c3-5874-055e-e053-6605fe0a7873
|
41
|
|
Logic programming applied to genome evolution in cancer?, file e27ce0c3-5873-055e-e053-6605fe0a7873
|
29
|
|
Rank-Based Symbolic Bisimulation (and Model Checking), file e27ce0c1-d7bd-055e-e053-6605fe0a7873
|
28
|
|
An Efficient Algorithm for Computing Bisimulation Equivalence, file e27ce0c3-36b0-055e-e053-6605fe0a7873
|
25
|
|
Labelled variables in logic programming: Foundations, file e27ce0c3-5871-055e-e053-6605fe0a7873
|
25
|
|
Introduction to the 28th International Conference on Logic Programming Special Issue, file e27ce0c1-e297-055e-e053-6605fe0a7873
|
23
|
|
2D object reconstruction with ASP, file e27ce0c7-a7f6-055e-e053-6605fe0a7873
|
22
|
|
Optimization of a compiler from PDDL to Picat (Short Paper), file e27ce0c5-0aa8-055e-e053-6605fe0a7873
|
18
|
|
Towards explainable data-to-text generation, file 2be33b83-b13d-49e8-bcc7-50e5d02d477a
|
15
|
|
An xAI Approach for Data-to-Text Processing with ASP, file 7ebc33e1-2410-4801-85e2-0518e67c9ca6
|
15
|
|
Constraints Propagation on GPU: A Case Study for AllDifferent, file 1b7ad3cd-ebad-49ca-8774-69d01aaf3013
|
12
|
|
{CUDA}: Set Constraints on GPUs., file e27ce0ca-108c-055e-e053-6605fe0a7873
|
12
|
|
Data Structures and Algorithms for k-th Nearest Neighbours Conformational Entropy Estimation, file 5caf4542-f5df-42c4-a0b1-7848feaf43db
|
9
|
|
A Constraint Solver for Flexible Protein Models, file e27ce0c1-f291-055e-e053-6605fe0a7873
|
8
|
|
Recent constraint/logic programming based advances in the solution of the protein folding problem, file e27ce0c1-d1e5-055e-e053-6605fe0a7873
|
6
|
|
Sets and Constraint Logic Programming, file e27ce0c3-377d-055e-e053-6605fe0a7873
|
5
|
|
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction, file e27ce0c1-dc4f-055e-e053-6605fe0a7873
|
4
|
|
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets, file e27ce0c1-f1b2-055e-e053-6605fe0a7873
|
4
|
|
Parallel Logic Programming: A Sequel, file 4a9bc1be-82e7-41db-81f9-bf864ac176c5
|
3
|
|
Set Unification, file e27ce0c1-ce70-055e-e053-6605fe0a7873
|
3
|
|
Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models, file e27ce0c4-ef03-055e-e053-6605fe0a7873
|
3
|
|
CUD@SAT: SAT solving on GPUs, file e27ce0c9-6c35-055e-e053-6605fe0a7873
|
3
|
|
An Efficient Algorithm for Computing Bisimulation Equivalence, file e27ce0c1-f1b4-055e-e053-6605fe0a7873
|
2
|
|
Parallel Answer Set Programming, file e27ce0c5-4818-055e-e053-6605fe0a7873
|
2
|
|
The Subgraph Bisimulation Problem, file e27ce0c5-504f-055e-e053-6605fe0a7873
|
2
|
|
ASP Applications in Bio-informatics: A Short Tour, file e27ce0c5-6f3b-055e-e053-6605fe0a7873
|
2
|
|
MASP-Reduce: A Proposal for Distributed Computation of Stable Models, file 2c7dcf63-f7d7-4824-bdd9-7268e24e5393
|
1
|
|
ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems, file 4ba50216-ce5e-4f70-b1ce-4301f0b11b38
|
1
|
|
Solving the medical student scheduling problem using simulated annealing, file 87c72c7d-e7f3-4c7d-b712-fbff3389205d
|
1
|
|
The kth nearest neighbor method for estimation of entropy changes from molecular ensembles, file cf1112cb-ff99-42d6-8dd2-548883c25086
|
1
|
|
Multiset Constraints and P Systems, file e27ce0c1-c7f6-055e-e053-6605fe0a7873
|
1
|
|
Designing an urban-scale auditory alert system, file e27ce0c1-cc8b-055e-e053-6605fe0a7873
|
1
|
|
Multi-valued Action Languages with Constraints in CLP(FD), file e27ce0c1-e5fb-055e-e053-6605fe0a7873
|
1
|
|
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD), file e27ce0c1-ec92-055e-e053-6605fe0a7873
|
1
|
|
Agent-based Protein Structure Prediction, file e27ce0c1-ecf8-055e-e053-6605fe0a7873
|
1
|
|
Constraint Logic Programming approach to protein structure prediction, file e27ce0c1-eecc-055e-e053-6605fe0a7873
|
1
|
|
A GPU implementation of the ASP computation, file e27ce0c3-52eb-055e-e053-6605fe0a7873
|
1
|
|
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain, file e27ce0c4-8b3f-055e-e053-6605fe0a7873
|
1
|
|
Preface, file e27ce0c4-8f31-055e-e053-6605fe0a7873
|
1
|
|
Operational and abstract semantics of the query language G-Log, file e27ce0c5-481a-055e-e053-6605fe0a7873
|
1
|
|
Foreword [to Constraint Solving and Planning with Picat], file e27ce0c5-6f3c-055e-e053-6605fe0a7873
|
1
|
|
{log}: A Language for Programming in Logic with Finite Sets, file e27ce0c5-6f3e-055e-e053-6605fe0a7873
|
1
|
|
Exploring Life: Answer Set Programming in Bioinformatics, file e27ce0c5-a9b3-055e-e053-6605fe0a7873
|
1
|
|
Protein Folding in CLP(FD) with Empirical Contact Energies, file e27ce0c5-f3b5-055e-e053-6605fe0a7873
|
1
|
|
Distributed multi-agent optimization for smart grids and home automation, file e27ce0c5-f77c-055e-e053-6605fe0a7873
|
1
|
|
Using Secondary Structure Information for Protein Folding in CLP(FD), file e27ce0c6-5274-055e-e053-6605fe0a7873
|
1
|
|
Fondamenti dell’informatica.
Linguaggi formali, calcolabilità e complessità, file e27ce0c8-8909-055e-e053-6605fe0a7873
|
1
|
|
Extending logic programming with labelled variables: Model and semantics, file e27ce0c9-57cd-055e-e053-6605fe0a7873
|
1
|
|
A declarative concurrent system for protein structure prediction on GPU, file e27ce0c9-6c33-055e-e053-6605fe0a7873
|
1
|
| Totale |
1.394 |