Reasoning About Permitted Announcements von Balbiani, P., Seban, P.

Volltext

Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints von Balbiani, P

Volltext

Tractability Results in the Block Algebra von Balbiani, Philippe, Condotta, Jean‐François, Cerro, Luis Fariñas Del

Volltext

Agents that look at one another von Balbiani, P., Gasquet, O., Schwarzentruber, F.

Volltext

Organization based access control von Kalam, A.A.E., Baida, R.E., Balbiani, P., Benferhat, S., Cuppens, F., Deswarte, Y., Miege, A., Saurel, C., Trouessin, G.

Volltext bestellen

Tableaux for Public Announcement Logic von Balbiani, Philippe, van Ditmarsch, Hans, Herzig, Andreas, de Lima, Tiago

Volltext

Emptiness relations in property systems von BALBIANI, Philippe

Volltext

Proving the Decidability of the PDLxPDL Product Logic von P. Balbiani, L. Aszalos

Volltext

On the consistency problem for the INDU calculus von Balbiani, P., Condotta, J.-F., Ligozat, G.

Volltext

Definability Over the Class of all Partitions von Balbiani, Philippe, Tinchev, Tinko

Volltext

Reasoning about generalized intervals von Balbiani, P., Condotta, J. -F., Fariñas del Cerro, L., Osmani, A.

Volltext

The finiteness of logic programming derivations von Balbiani, Philippe

Volltext

Solving Constraints Between Lines in Euclidean Geometry von Balbiani, Philippe, Challita, Khalil

Volltext

Line-Based Affine Reasoning in Euclidean Plane von Balbiani, Philippe, Tinchev, Tinko

Volltext

Nonmonotonic reasoning and modal logic, from negation as failure to default logic von Balbiani, Philippe

Volltext

Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning von Balbiani, Philippe, Jean-François, Condotta

Volltext

Access Control with Uncertain Surveillance von Balbiani, Philippe

Volltext bestellen

Fretting Damage in Incoloy® 800 Tubes Against Different Support Materials von Soria, S.R., Balbiani, J.P., Bergant, M., Tolley, A., Yawny, A.

Volltext

A modal logic for data analysis von Balbiani, Philippe

Volltext

Dynamic extensions of arrow logic von Balbiani, Philippe, Vakarelov, Dimiter

Volltext