Personensuche
X
?
Lecture Notes in Computer Science; PRICAI 2022: Trends in Artificial Intelligence ,
1
Robust Weighted Partial Maximum Satisfiability Problem: Cha..:
, In:
?
Intelligent Information and Database Systems; Lecture Notes in Computer Science ,
2
A Simple yet Efficient MCSes Enumeration with SAT Oracles:
, In:
?
2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI) ,
3
CNF Encodings for the Min-Max Multiple Traveling Salesmen P..:
, In:
?
PRIMA 2019: Principles and Practice of Multi-Agent Systems; Lecture Notes in Computer Science ,
4
Solving Coalition Structure Generation Problems over Weight..:
, In:
?
PRICAI 2019: Trends in Artificial Intelligence; Lecture Notes in Computer Science ,
5
Maximum Satisfiability Formulation for Optimal Scheduling i..:
, In:
?
Proceedings of the 14th annual conference companion on Genetic and evolutionary computation ,
6
Hybrid particle swarm optimization and convergence analysis..:
, In:
?
Proceedings of the 13th annual conference companion on Genetic and evolutionary computation ,
7
Combining PSO and local search to solve scheduling problems:
, In:
?
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03 ,
8
Rule Extraction from Blog Using Inductive Logic Programming:
, In:
?
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03 ,
9
A Method for Query Expansion Using the Related Word Extract..:
, In:
?
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence ,
10
User-Schedule-based Web Page Recommendation:
, In:
?
Automated Deduction—CADE-14; Lecture Notes in Computer Science ,
11
Non-horn magic sets to incorporate top-down inference into ..:
, In:
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
12