fundamenta informaticae (18)
logic-based program synthesis and transformation (8)
quaternary international (5)
theory and practice of logic programming (5)
institute of electrical and electronics engineers. transactions on computers (4)
journal of experimental & theoretical artificial intelligence (4)
new generation computing (4)
neurocomputing (3)
procedia cirp (3)
engineering applications of artificial intelligence (2)
hybrid artificial intelligent systems: 10th international conference, hais 2015, bilbao, spain, june 22-24, 2015, proceedings (2)
ieee transactions on intelligent transportation systems (2)
journal of archaeological science: reports (2)
microprocessors and microsystems (2)
prolog: the next 50 years (2)
static analysis (2)
10th international conference on soft computing models in industrial & environmental applications (1)
2021 25th international conference on system theory, control and computing (icstcc), system theory, control and computing (icstcc), 2021 25th international conference on (1)
acm international conference proceeding series (1)
advances in artificial intelligence (9783319446356) (1)
applied intelligence (1)
applied intelligence: the international journal of research on intelligent systems for real life complex problems (1)
artificial intelligence applications & innovations: 11th ifip wg 12.5 international conference, aiai 2015, bayonne, france, september 14-17, 2015, proceedings (1)
automata, languages and programming (1)
foundational & practical aspects of resource analysis (9783642324949) (1)
functional and logic programming (1)
geoarchaeology (1)
geoarchaeology-an international journal (1)
hybrid artificial intelligent systems (9783319320335) (1)
hybrid artificial intelligent systems (9783642408458) (1)
iet intelligent transport systems (1)
interconnection networks and mapping and scheduling parallel computations (new brunswick, nj, 1994) (1)
international journal of material forming (1)
journal of multiple-valued logic & soft computing (1)
journal of multiple-valued logic and soft computing (1)
journal of symbolic computation (1)
logic based program synthesis and transformation (1)
logic journal of the igpl. interest group in pure and applied logics (1)
logic programming (9780262291323) (1)
logic programming (9780262291354) (1)
logic programming (9783540366355) (1)
logic programming (9783540746089) (1)
logic programming (9783642028458) (1)
logic programming (leuven, 1997) (1)
logic programming (port washington, ny, 1997) (1)
microprocessors & microsystems (1)
parallel computing. systems \& applications (1)
practical aspects of declarative languages (9783540696087) (1)
swarm & evolutionary computation (1)
swarm and evolutionary computation (1)