Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
constraint logic programming (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/152)
Export
export all inquiry results
(1)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
Autonomous Vessels Collision Verification : Geometric Optimization
Ben Lahbib, Hiba
;
Bennani, Mohamed Taha
;
Vain, Jüri
Artificial Intelligence Applications and Innovations : 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26–29, 2025 : proceedings. Part I
2025
/
p. 132–145
https://doi.org/10.1007/978-3-031-96239-4_10
book article
Number of records 1, displaying
1 - 1
keyword
152
1.
constraint logic programming
2.
constraint logic programming (LP) (CLP)
3.
constraint programming
4.
Inductive logic programming
5.
logic and philosophy of logic
6.
constraint random verification
7.
integrity constraint
8.
network constraint
9.
Nonlinear budget constraint
10.
object constraint languages
11.
proportional rate constraint
12.
adaptive programming
13.
advanced programming and software
14.
API (Application Programming Interface)
15.
automatic programming
16.
C++ programming language
17.
chance-constrained programming
18.
computer programming
19.
computer programming languages
20.
computer systems programming
21.
convex programming
22.
dataflow programming
23.
degenerate and infeasible linear programming problems
24.
dependently typed programming
25.
discrete-convex programming
26.
dynamic programming
27.
Extreme Programming
28.
functional programming
29.
functional reactive programming
30.
game programming
31.
generative programming
32.
genetic programming
33.
hardware close programming
34.
initial solution to the linear programming problem
35.
in-system programming
36.
integer linear programming
37.
integer linear programming (ILP)
38.
integrated programming system
39.
intelligent programming environment
40.
linear integer programming
41.
linear programming
42.
logarithmic fuzzy preference programming (LFPP)
43.
mathematical programming
44.
mathematical structures in functional programming
45.
mixed integer linear programming
46.
mixed integer linear programming (MILP)
47.
mixed integer nonlinear programming
48.
mixed-integer linear programming
49.
multi-objective nonlinear programming
50.
Nc-programming
51.
object-oriented programming
52.
object-oriented programming languages
53.
pair-programming
54.
problem-oriented programming languages
55.
programming
56.
programming and vision
57.
programming basics
58.
programming education
59.
programming languages
60.
programming time
61.
quadratic programming
62.
R programming
63.
robot programming
64.
semantics of programming languages
65.
skills assessment of programming and mathematics
66.
software tools for robot programming
67.
solving linear programming problems
68.
stochastic dynamic programming
69.
stochastic programming
70.
structured programming
71.
wireless programming
72.
algebra of logic
73.
binary logic controller
74.
Boolean logic
75.
Compound logic locking
76.
Compound logic locking (CLL)
77.
constructive logic
78.
default logic
79.
diagrammatic logic
80.
digital logic
81.
dynamic logic
82.
epistemic logic
83.
ethics and logic
84.
formal logic
85.
fuzzy logic
86.
fuzzy logic
87.
fuzzy logic control
88.
fuzzy logic controller
89.
fuzzy logic controller (FLC)
90.
fuzzy logic model
91.
graphical method of logic
92.
history of logic
93.
Hoare logic
94.
Husserl and Pierce on logic of probability
95.
independence-friendly logic
96.
intuitionistic logic
97.
linear logic
98.
linear logic of Petri nets
99.
logic
100.
logic built-in self-test
101.
logic cell library
102.
logic circuit
103.
logic design
104.
logic diagram
105.
logic diagrams
106.
logic education
107.
logic for pragmatics
108.
logic gates
109.
logic in AI
110.
logic in computer science
111.
logic in society
112.
logic level
113.
logic level and high level BDDs
114.
logic locking
115.
logic machine
116.
logic models
117.
logic models and simulation
118.
logic notation
119.
logic obfuscation
120.
logic of bunched implications
121.
logic of relatives
122.
logic of science
123.
logic of speech acts
124.
logic simulation
125.
logic synthesis
126.
logic teaching
127.
logic-based distributed routing
128.
malicious logic
129.
mathematical logic
130.
modal logic
131.
Natural logic
132.
Peirce's existential graphs and transcendental logic
133.
philosophical logic
134.
philosophy of logic
135.
pragmatic logic
136.
probabilistic relational program logic
137.
programmable logic
138.
programmable logic controller (PLC)
139.
quantitative logic
140.
quantum logic
141.
race logic
142.
reconfigurable logic
143.
routing logic
144.
S4 modal logic
145.
S-D logic
146.
Semi-substructural logic
147.
Service-Dominant logic
148.
stateful logic computation
149.
substructural logic
150.
symbolic knowledge in Husserlian pure logic
151.
symbolic logic
152.
temporal logic
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT