Dov Gabbay
Dov Gabbay
Bar Ilan Univ. Kings College London, Univ of Luxembourg
E-mail confirmado em ext.uni.lu - Página inicial
Título
Citado por
Citado por
Ano
On the temporal analysis of fairness
D Gabbay, A Pnueli, S Shelah, J Stavi
Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of …, 1980
10271980
Temporal logic: mathematical foundations and computational aspects
DM Gabbay, I Hodkinson, M Reynolds, M Finger
Clarendon Press 1, 653, 1994
8971994
Many-dimensional modal logics: theory and applications
DM Gabbay
7742003
Inconsistency handling in multiperspective specifications
ACW Finkelstein, D Gabbay, A Hunter, J Kramer, B Nuseibeh
IEEE Transactions on Software Engineering 20 (8), 569-578, 1994
7091994
Labelled deductive systems
DM Gabbay
7061996
Dynamic syntax: The flow of language understanding
RM Kempson, W Meyer-Viol, DM Gabbay
Blackwell Publishers, 2001
6282001
Handbook of philosophical logic
DM Gabbay, F Guenthner
Kluwer Academic Publishers, 2001
6222001
Theoretical foundations for non-monotonic reasoning in expert systems
DM Gabbay
Logics and models of concurrent systems, 439-457, 1985
6161985
Belief revision
P Gärdenfors, H Rott, DM Gabbay, CJ Hogger, JA Robinson
Computational Complexity 63 (6), 1995
4911995
Handbook of logic in artificial intelligence and logic programming: Volume 5: Logic programming
DM Gabbay, CJ Hogger, JA Robinson
Clarendon Press, 1998
4611998
Handbook of logic in computer science
S Abramsky, D Gabbay, T Maibaurn
450*1992
The declarative past and imperative future
D Gabbay
Temporal logic in specification, 409-448, 1989
4081989
Handbook of tableau methods
M D'Agostino, DM Gabbay, R Hähnle, J Posegga
Springer Science & Business Media, 2013
3522013
Semantical investigations in Heyting's intuitionistic logic
DM Gabbay
Springer Science & Business Media, 2013
3512013
A logical account of formal argumentation
MWA Caminada, DM Gabbay
Studia Logica 93 (2), 109-145, 2009
3292009
The Reach of Abduction: Insight and Trial (A Practical Logic of Cognitive Systems, vol. 2)
D Gabbay, J Woods
Elsevier, 2005
3112005
Fibring logics
DM Gabbay
Clarendon Press, 1998
3111998
Neural-symbolic learning systems: foundations and applications
ASA Garcez, KB Broda, DM Gabbay
Springer Science & Business Media, 2012
2942012
N-Prolog: An extension of Prolog with hypothetical implications. I.
DM Gabbay, U Reyle
The Journal of Logic Programming 1 (4), 319-355, 1984
285*1984
Adding a temporal dimension to a logic system
M Finger, DM Gabbay
Journal of Logic, Language and Information 1 (3), 203-233, 1992
2801992
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20