Español
English
Grupo de Inteligencia Artificial
Home
News
Teaching
Members
Research
Publications
Location
Login
E-mail
GroupWare
Search this site:
Biblio
List
Filter
Export 7 results:
Tagged
XML
BibTex
Sort by:
Author
[
Title
]
Type
Year
Filters:
Author
is
Levan Uridia
[Clear All Filters]
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
A
Pearce, D.
, and
L. Uridia
,
"
An Approach to Minimal Belief via Objective Belief
",
22nd International Joint Conference on Artificial Intelligence (IJCAI 11)
, Barcelona, Spain, AAAI Press/IJCAI, pp. 1045-1050, 2011.
Tagged
XML
BibTex
Google Scholar
B
Uridia, L.
,
"
Boolean Modal Logic wK4Dyn - Doxastic Interpretation
",
TbiLLC, pp. 158-169
, no. 2009, 2009.
Tagged
XML
BibTex
Google Scholar
C
Balbiani, P.
, and
L. Uridia
,
"
Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders
",
Advances in Modal Logic
, Copenhagen, Denmark, College Publications, pp. 71-88, vol. 9, 2012.
Tagged
XML
BibTex
Google Scholar
E
Uridia, L.
, and
D. Walther
,
"
An Epistemic Logic with Hypotheses
",
Logic, Rationality, and Interaction (LORI 2011)
, no. 6953, Berlin, Springer LNCS, pp. 286-299, 2011.
Tagged
XML
BibTex
Google Scholar
L
Pearce, D.
, and
L. Uridia
,
"
A Logic Related to Minimal Knowledge
",
2nd Workshop on Agreement Technologies (WAT2009 at CAEPIA)
, no. 635, Sevilla, Spain, CEUR Workshop Proceedings, pp. 142-153, 2009.
Tagged
XML
BibTex
Google Scholar
M
Pearce, D.
, and
L. Uridia
,
"
Minimal Knowledge and Belief via Minimal Topology
",
12th European Conference on Logics in Artificial Intelligence JELIA 2010
, no. 6341, Helsinki, Finland, Springer LNCS, pp. 273-285, 10/2010.
Tagged
XML
BibTex
Google Scholar
T
Dundua, B.
, and
L. Uridia
,
"
Trust and Belief, Interrelation
",
3rd Workshop on Agreement Technologies (WAT2010 at Iberamia)
, no. 657, Bahia Blanca, Argentina, CEUR Workshop Proceedings, pp. 35-42, 2010.
Tagged
XML
BibTex
Google Scholar