Institutional Repository
Technical University of Crete
EN |
EL
Home
Announcements
Information
Help
Contact
Search
Advanced Search
Browse
Communities
Authors
Year
Titles
Subjects
My Space
Login
Browse by Subject.
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Starts with:
Results
1-3 from 3 Results -
S5
1
M. Alviano, S. Batsakis and G. Baryannis, "Modal logic S5 in Answer Set Programming with lazy creation of worlds," 2022.
2024-12-17
2
Asimina Fragki, "Skill assessment of seasonal hydroclimatic forecast for the region of Crete", Diploma Work, School of Chemical and Environmental Engineering, Technical University of Crete, Chania, Greece, 2023
2023-10-05
3
M. Alviano, S. Batsakis, and G. Baryannis, “Modal logic S5 satisfiability in answer set programming,” Theory Pract. Logic Program., vol. 21, no. 5, pp. 527–542, Sep. 2021, doi: 10.1017/S1471068421000247.
2022-10-04