×

zbMATH — the first resource for mathematics

Demolombe, Robert

Compute Distance To:
Author ID: demolombe.robert Recent zbMATH articles by "Demolombe, Robert"
Published as: Demolombe, Robert; Demolombe, R.
Documents Indexed: 39 Publications since 1982, including 1 Book

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 69 times in 51 Documents Cited by Year
Regression in modal logic. Zbl 1185.03028
Demolombe, Robert; Herzig, Andreas; Varzinczak, Ivan
8
2003
Reasoning about trust: A formal logical framework. Zbl 1126.68646
Demolombe, Robert
8
2004
An efficient strategy for non-Horn deductive databases. Zbl 0716.68027
Demolombe, Robert
7
1991
An inference rule for hypothesis generation. Zbl 0745.68088
Demolombe, Robert; Fariñas del Cerro, Luis
6
1991
A simple and tractable extension of situation calculus to epistemic logic. Zbl 0983.68187
Demolombe, Robert; del Pilar Pozos Parra, Maria
6
2000
Belief change: from situation calculus to modal logic. Zbl 1185.03012
Demolombe, Robert
4
2003
Syntactical characterization of a subset of domain-independent formulas. Zbl 0799.68061
Demolombe, Robert
4
1992
From trust in information sources to trust in communication systems: an analysis in modal logic. Zbl 1258.68143
Lorini, Emiliano; Demolombe, Robert
4
2009
Transitivity and propagation of trust in information sources: an analysis in modal logic. Zbl 1348.68256
Demolombe, Robert
3
2011
Towards a logical characterisation of sentences of the kind “sentence \(P\) is about object \(c\)”. Zbl 1018.03008
Demolombe, Robert; Fariñas del Cerro, Luis
2
2000
Trust and norms in the context of computer security: A logical formalization. Zbl 1143.03346
Lorini, Emiliano; Demolombe, Robert
2
2008
Translation of first order formulas into ground formulas via a completion theory. Zbl 1436.03100
Demolombe, Robert; Fariñas del Cerro, Luis; Obeid, Naji
2
2016
A modal logical framework for security policies. Zbl 0885.03039
Cuppens, Frédéric; Demolombe, Robert
2
1997
An application of deontic logic to information system constraints. Zbl 0993.03041
Carmo, Jose; Demolombe, Robert; Jones, Andrew J. I.
2
2001
Information about a given entity: from semantics towards automated deduction. Zbl 1222.68360
Demolombe, Robert; Fariñas del Cerro, Luis
1
2010
Causality in the context of multiple agents. Zbl 1297.03012
Demolombe, Robert
1
2012
Integrity constraints revisited. Zbl 0853.68087
Demolombe, Robert; Jones, Andrew J. I.
1
1996
Obligations with deadlines: a formalization in dynamic deontic logic. Zbl 1327.03014
Demolombe, Robert
1
2014
An algebraic evaluation method for deduction in incomplete databases. Zbl 0647.68111
Demolombe, R.; Fariñas del Cerro, L.
1
1988
An extended relational algebra on abstract objects for summarizing answers to queries. Zbl 1061.68042
Demolombe, Robert
1
2003
Actions and normative positions: a modal-logical approach. Zbl 1057.03500
Demolombe, Robert; Jones, Andrew J. I.
1
2002
On sentences of the kind “sentence ‘\(p\)’ is about topic \(t\)”. Zbl 0958.03004
Demolombe, Robert; Jones, Andrew J. I.
1
1999
Reasoning about trust and aboutness in the context of communication. Zbl 1400.68236
Demolombe, Robert
1
2017
Reasoning about trust and aboutness in the context of communication. Zbl 1400.68236
Demolombe, Robert
1
2017
Translation of first order formulas into ground formulas via a completion theory. Zbl 1436.03100
Demolombe, Robert; Fariñas del Cerro, Luis; Obeid, Naji
2
2016
Obligations with deadlines: a formalization in dynamic deontic logic. Zbl 1327.03014
Demolombe, Robert
1
2014
Causality in the context of multiple agents. Zbl 1297.03012
Demolombe, Robert
1
2012
Transitivity and propagation of trust in information sources: an analysis in modal logic. Zbl 1348.68256
Demolombe, Robert
3
2011
Information about a given entity: from semantics towards automated deduction. Zbl 1222.68360
Demolombe, Robert; Fariñas del Cerro, Luis
1
2010
From trust in information sources to trust in communication systems: an analysis in modal logic. Zbl 1258.68143
Lorini, Emiliano; Demolombe, Robert
4
2009
Trust and norms in the context of computer security: A logical formalization. Zbl 1143.03346
Lorini, Emiliano; Demolombe, Robert
2
2008
Reasoning about trust: A formal logical framework. Zbl 1126.68646
Demolombe, Robert
8
2004
Regression in modal logic. Zbl 1185.03028
Demolombe, Robert; Herzig, Andreas; Varzinczak, Ivan
8
2003
Belief change: from situation calculus to modal logic. Zbl 1185.03012
Demolombe, Robert
4
2003
An extended relational algebra on abstract objects for summarizing answers to queries. Zbl 1061.68042
Demolombe, Robert
1
2003
Actions and normative positions: a modal-logical approach. Zbl 1057.03500
Demolombe, Robert; Jones, Andrew J. I.
1
2002
An application of deontic logic to information system constraints. Zbl 0993.03041
Carmo, Jose; Demolombe, Robert; Jones, Andrew J. I.
2
2001
A simple and tractable extension of situation calculus to epistemic logic. Zbl 0983.68187
Demolombe, Robert; del Pilar Pozos Parra, Maria
6
2000
Towards a logical characterisation of sentences of the kind “sentence \(P\) is about object \(c\)”. Zbl 1018.03008
Demolombe, Robert; Fariñas del Cerro, Luis
2
2000
On sentences of the kind “sentence ‘\(p\)’ is about topic \(t\)”. Zbl 0958.03004
Demolombe, Robert; Jones, Andrew J. I.
1
1999
A modal logical framework for security policies. Zbl 0885.03039
Cuppens, Frédéric; Demolombe, Robert
2
1997
Integrity constraints revisited. Zbl 0853.68087
Demolombe, Robert; Jones, Andrew J. I.
1
1996
Syntactical characterization of a subset of domain-independent formulas. Zbl 0799.68061
Demolombe, Robert
4
1992
An efficient strategy for non-Horn deductive databases. Zbl 0716.68027
Demolombe, Robert
7
1991
An inference rule for hypothesis generation. Zbl 0745.68088
Demolombe, Robert; Fariñas del Cerro, Luis
6
1991
An algebraic evaluation method for deduction in incomplete databases. Zbl 0647.68111
Demolombe, R.; Fariñas del Cerro, L.
1
1988
all top 5

Cited by 82 Authors

9 Demolombe, Robert
4 Fariñas del Cerro, Luis
3 Cholvy, Laurence
3 Lakemeyer, Gerhard
3 Levesque, Hector J.
3 Obeid, Naji
3 Primiero, Giuseppe
2 Alliot, Jean-Marc
2 Diéguez, Martín
2 Inoue, Katsumi
2 Lespérance, Yves
2 Lobo, Jorge
2 Loveland, Donald W.
2 Varzinczak, Ivan Jóse
1 Avanesov, Tigran
1 Bhatt, Mehul
1 Britz, Katarina
1 Brodsky, Alexander
1 Cerrito, Serenella
1 Chao, Yuyan
1 Chevalier, Yannick
1 Cialdea Mayer, Marta
1 De Giacomo, Giuseppe
1 de Lima, Tiago
1 De Saint-Cyr, Florence Dupin
1 Dong, Fangqing
1 Eppe, Manfred
1 Farkas, Csilla
1 Favre, Gilles
1 Faye, Jean-Charles
1 Finger, Marcelo
1 Flouris, Giorgos
1 Gu, Yilan
1 Hasegawa, Ryuzo
1 He, Lifeng
1 Herzig, Andreas
1 Itoh, Hidenori
1 Jajodia, Sushil
1 Kelly, Ryan F.
1 Koshimura, Miyuki
1 Kosolosky, Laszlo
1 Lakshmanan, Laks V. S.
1 Lamma, Evelina
1 Lang, Jérôme
1 Liang, Weifa
1 Liau, Churn-Jung
1 Liu, Hong-Cheu
1 McNamara, Paul
1 Mello, Paola
1 Meyer, Thomas Andreas
1 Nakamura, Tsuyoshi
1 Ohta, Yoshihiko
1 Pagnucco, Maurice
1 Patkos, Theodore
1 Patrizi, Fabio
1 Pearce, Adrian R.
1 Peterson, Clayton
1 Pham, Tracy
1 Plexousakis, Dimitris
1 Qiu, Lirong
1 Raschid, Louiqa
1 Reed, David W.
1 Roussel, Stéphanie
1 Royer, Véronique
1 Rusinowitch, Michaël
1 Sergot, Marek J.
1 Shapiro, Steven
1 Sordet, Olivier
1 Soutchanski, Mikhail
1 Stickel, Mark E.
1 Sun, Xin
1 Taddeo, Mariarosaria
1 Topor, Rodney W.
1 Tsampanaki, Nikoleta
1 Turuani, Mathieu
1 van Ditmarsch, Hans Pieter
1 Wang, Gaoming
1 Wilson, Debra Sue
1 Yahya, Adnan H.
1 Yang, Qi
1 Yu, Clement T.
1 Yu, Jeffrey Xu

Citations by Year