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
Searching
My bookmarks
0
constraint logic programming (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced 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/150)
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
150
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.
convex programming
21.
dataflow programming
22.
degenerate and infeasible linear programming problems
23.
dependently typed programming
24.
discrete-convex programming
25.
dynamic programming
26.
Extreme Programming
27.
functional programming
28.
functional reactive programming
29.
game programming
30.
generative programming
31.
genetic programming
32.
hardware close programming
33.
initial solution to the linear programming problem
34.
in-system programming
35.
integer linear programming
36.
integer linear programming (ILP)
37.
integrated programming system
38.
intelligent programming environment
39.
linear integer programming
40.
linear programming
41.
logarithmic fuzzy preference programming (LFPP)
42.
mathematical programming
43.
mathematical structures in functional programming
44.
mixed integer linear programming
45.
mixed integer linear programming (MILP)
46.
mixed integer nonlinear programming
47.
mixed-integer linear programming
48.
multi-objective nonlinear programming
49.
Nc-programming
50.
object-oriented programming
51.
object-oriented programming languages
52.
pair-programming
53.
problem-oriented programming languages
54.
programming
55.
programming and vision
56.
programming basics
57.
programming education
58.
programming languages
59.
programming time
60.
quadratic programming
61.
robot programming
62.
semantics of programming languages
63.
skills assessment of programming and mathematics
64.
software tools for robot programming
65.
solving linear programming problems
66.
stochastic dynamic programming
67.
stochastic programming
68.
structured programming
69.
wireless programming
70.
algebra of logic
71.
binary logic controller
72.
Boolean logic
73.
Compound logic locking
74.
Compound logic locking (CLL)
75.
constructive logic
76.
default logic
77.
diagrammatic logic
78.
digital logic
79.
dynamic logic
80.
epistemic logic
81.
ethics and logic
82.
formal logic
83.
fuzzy logic
84.
fuzzy logic
85.
fuzzy logic control
86.
fuzzy logic controller
87.
fuzzy logic controller (FLC)
88.
fuzzy logic model
89.
graphical method of logic
90.
history of logic
91.
Hoare logic
92.
Husserl and Pierce on logic of probability
93.
independence-friendly logic
94.
intuitionistic logic
95.
linear logic
96.
linear logic of Petri nets
97.
logic
98.
logic built-in self-test
99.
logic cell library
100.
logic circuit
101.
logic design
102.
logic diagram
103.
logic diagrams
104.
logic education
105.
logic for pragmatics
106.
logic gates
107.
logic in AI
108.
logic in computer science
109.
logic in society
110.
logic level
111.
logic level and high level BDDs
112.
logic locking
113.
logic machine
114.
logic models
115.
logic models and simulation
116.
logic notation
117.
logic obfuscation
118.
logic of bunched implications
119.
logic of relatives
120.
logic of science
121.
logic of speech acts
122.
logic simulation
123.
logic synthesis
124.
logic teaching
125.
logic-based distributed routing
126.
malicious logic
127.
mathematical logic
128.
modal logic
129.
Natural logic
130.
Peirce's existential graphs and transcendental logic
131.
philosophical logic
132.
philosophy of logic
133.
pragmatic logic
134.
probabilistic relational program logic
135.
programmable logic
136.
programmable logic controller (PLC)
137.
quantitative logic
138.
quantum logic
139.
race logic
140.
reconfigurable logic
141.
routing logic
142.
S4 modal logic
143.
S-D logic
144.
Semi-substructural logic
145.
Service-Dominant logic
146.
stateful logic computation
147.
substructural logic
148.
symbolic knowledge in Husserlian pure logic
149.
symbolic logic
150.
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