Skip to main navigation
Skip to search
Skip to main content
Sort by
INIS
programming
82%
constraints
81%
data
68%
algorithms
49%
testing
44%
detection
44%
applications
39%
tools
36%
capture
29%
computer codes
29%
units
27%
transformations
26%
optimization
26%
learning
24%
prolog
24%
interactions
23%
atoms
20%
evaluation
16%
mercury
16%
assignments
16%
modeling
13%
polynomials
12%
prediction
12%
approximations
12%
graphs
11%
levels
11%
solutions
11%
genetic algorithms
10%
engineering
10%
metrics
10%
schools
10%
machine learning
10%
alloys
9%
operation
9%
comparative evaluations
9%
implementation
8%
datasets
8%
information
8%
randomness
8%
errors
8%
forecasting
8%
chromatin
8%
business
8%
saturn planet
8%
sld
8%
contracts
8%
stm
8%
norm
8%
monitoring
8%
surveys
8%
Computer Science
Logic Programming
100%
Annotation
32%
Termination Analysis
24%
Symbolic Execution
24%
Clone Detection
21%
Programming Language
18%
Structured Query Language
16%
Constraint Logic Programming
16%
Theorem Prover
16%
Case Study
16%
Large Language Model
16%
Proof
12%
Software Engineering
10%
Theoretical Framework
10%
Program Transformation
10%
Formal Language
9%
Refactoring
9%
Traditional Method
8%
Software Development
8%
Programming Paradigm
8%
Concurrency
8%
Type Information
8%
Fixed Point Semantics
8%
Transfer Learning
8%
Concurrent Language
8%
Compiler Generator
8%
Operational Semantics
8%
Data-Value
8%
Data-Flow Analysis
8%
Business Process
8%
Real Estate
8%
Execution Time
8%
Naive Implementation
8%
Secondary School
8%
Boolean Function
8%
Database Model
8%
Static Program Analysis
8%
Exist Algorithm
8%
Password
8%
Shell Script
8%
Parametrization
8%
Data Structure
8%
Polynomial Time
8%
Analysis Technique
8%
bipartite matching
8%
Design for Assembly
8%
Inductive Logic Programming
8%
Fault Detection
8%
Biclustering
8%
Evolutionary Algorithm
8%
Keyphrases
Logic Programming
46%
Binding-time Analysis
36%
Binding Times
28%
Timing Annotation
28%
Termination Analysis
24%
Unit Testing
16%
Symbolic Execution
16%
Anti-unification
16%
Database Program
16%
Deduction
13%
Escape Game
12%
Liberal
12%
Test Generation
11%
Relational Constraints
10%
Test Input
9%
Data-oriented
8%
Chromatin Interactions
8%
Gradient Boosting
8%
Long-range Chromatin Interaction
8%
Supervised Machine Learning
8%
Time Series Forecasting
8%
Transfer Learning
8%
Neuroevolutionary
8%
Software Visualization
8%
Semantic Clone
8%
Visualization System
8%
Message-passing Concurrency
8%
Data Race Detection
8%
Fixpoint Semantics
8%
Constraint Solving
8%
Type Information
8%
Remote Evaluation
8%
Tool Use
8%
COVID-19 Lockdown
8%
Concolic Testing
8%
Student Assignment
8%
Large Classroom
8%
Semantic Clone Detection
8%
Compiler Generators
8%
Multi-objective Evolutionary
8%
Declarative Workflow
8%
Constraint Logic Programming
8%
Shell Script
8%
Concurrent Programming
8%
Student Preconceptions
8%
Concurrency
8%
Constraint Logic Programs
8%
Special Programs
8%
Prolog
8%
Theorem Prover
8%
