| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Philippe Balbiani |
Axiomatization and completeness of lexicographic products of modal logics.  |
Journal of Applied Non-Classical Logics  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Valentin Goranko, Guido Sciavicco |
Two-sorted Point-Interval Temporal Logics. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Pablo Seban |
Reasoning About Permitted Announcements. |
J. Philosophical Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Nadine Guiraud, Andreas Herzig, Emiliano Lorini |
Agents that speak: modelling communicative plans and information sources in a logic of announcements. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Tinko Tinchev |
Boolean logics with relations. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig |
Foreword. |
Journal of Applied Non-Classical Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani |
Foreword. |
Journal of Applied Non-Classical Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade |
Controller/Orchestrator Synthesis via Filtration. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko |
Composition of Services with Constraints. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima |
Tableaux for Public Announcement Logic. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Philippe Balbiani, Hans P. van Ditmarsch, Pablo Seban |
Group announcement logic. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Rachid Echahed, Andreas Herzig |
A Modal Logic for Termgraph Rewriting |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Rachid Echahed, Andreas Herzig |
A Dynamic Logic for Termgraph Rewriting. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints. |
TIME |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
Tools and Techniques in Qualitative Reasoning about Space. |
FoIKS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Yannick Chevalier, Marwa El Houri |
An intruder model for trust negotiation. |
CRiSIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
Coherence Test on Graphs Constraints between Hyperintervals. |
ICTAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade |
Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig |
Global and Local Graph Modifiers. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Jan Broersen, Julien Brunel |
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anas Abou El Kalam, Philippe Balbiani |
A Policy Language for Modelling Recommendations. |
SEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
Axiomatization and Completeness of Lexicographic Products of Modal Logics. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
lexicographic product, axiomatization/completeness, Modal logic |
| 1 | Philippe Balbiani, Yannick Chevalier, Marwa El Houri |
A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment. |
CRiSIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
Logical approaches to deontic reasoning: From basic questions to dynamic solutions. |
Int. J. Intell. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
Hyper arrow logic with indiscernibility and complementarity. |
Journal of Applied Non-Classical Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Andreas Herzig, Nicolas Troquard |
Alternative Axiomatics and Complexity of Deliberative STIT Theories. |
J. Philosophical Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Petar Iliev, Dimiter Vakarelov |
A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade |
Composition of Interactive Web Services Based on Controller Synthesis. |
SERVICES I |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Tinko Tinchev |
Boolean Logics with Relations. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
First-order classical logic, propositional modal logic, relations, Boolean algebra |
| 1 | Philippe Balbiani |
Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Yannick Chevalier, Marwa El Houri |
A Logical Approach to Dynamic Role-Based Access Control. |
AIMSA |
2008 |
DBLP DOI BibTeX RDF |
Access control language, RBAC, privacy policy |
| 1 | Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov |
Dynamic logics of the region-based theory of discrete spaces. |
Journal of Applied Non-Classical Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Tinko Tinchev |
Line-based affine reasoning in Euclidean plane. |
J. Applied Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov |
Modal Logics for Region-based Theories of Space. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Dimiter Vakarelov |
Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Andreas Herzig, Nicolas Troquard |
Alternative axiomatics and complexity of deliberative STIT theories |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov |
Logical Theories for Fragments of Elementary Geometry. |
Handbook of Spatial Logics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima |
A Tableau Method for Public Announcement Logics. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, T. Hoshi, Tiago De Lima |
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Tinko Tinchev |
Definability Over the Class of all Partitions. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Jean-François Condotta, Gérard Ligozat |
On the consistency problem for the INDU calculus. |
J. Applied Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman |
Every world can see a Sahlqvist world. |
Advances in Modal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani |
An expressive two-sorted spatial logic for plane projective geometry. |
Advances in Modal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Fatima Harb, Ali Kaafarani |
Access control with prohibitions and obligations. |
AICCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Fahima Cheikh |
Safety Problems in Access Control with Temporal Constraints. |
MMM-ACNS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
Access Control with Uncertain Surveillance. |
Web Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
A Uniform Approach to Modelling Timed Protection. |
Artificial Intelligence and Applications |
2005 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani |
A formal examination of roles and permissions in access control. |
AICCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Dimiter Vakarelov |
Dynamic extensions of arrow logic. |
Ann. Pure Appl. Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Tinko Tinchev |
Line-Based Affine Reasoning in Euclidean Plane. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Khalil Challita |
Solving Constraints Between Lines in Euclidean Geometry. |
AIMSA |
2004 |
DBLP DOI BibTeX RDF |
Constraint satisfaction problems, Spatial reasoning, Euclidean geometry |
| 1 | Philippe Balbiani, Dimiter Vakarelov |
PDL with Intersection of Programs: A Complete Axiomatization. |
Journal of Applied Non-Classical Logics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig |
Foreword. |
Journal of Applied Non-Classical Logics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani |
Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev (eds.) |
Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse (France) in October 2002 |
Advances in Modal Logic |
2003 |
DBLP BibTeX RDF |
|
| 1 | Anas Abou El Kalam, Salem Benferhat, Alexandre Miège, Rania El Baida, Frédéric Cuppens, Claire Saurel, Philippe Balbiani, Yves Deswarte, Gilles Trouessin |
Organization based access contro. |
POLICY |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Jean-François Condotta, Gérard Ligozat |
On the Consistency Problem for the INDU Calculus. (PDF / PS) |
TIME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Jean-François Condotta, Gérard Ligozat |
Reasoning about Cyclic Space: Axiomatic and Computational Aspects. |
Spatial Cognition |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Valentin Goranko |
Modal Logics for Parallelism, Orthogonality, and Affine Geometries. |
Journal of Applied Non-Classical Logics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani |
Foreword. |
Journal of Applied Non-Classical Logics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Jean-François Condotta |
Spatial Reasoning About Points in a Multidimensional Setting. |
Appl. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro |
Tractability Results in the Block Algebra. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Dimiter Vakarelov |
A Modal Logic for Indiscernibility and Complementarity in Information Systems. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
Editorial Preface. |
Advances in Modal Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Jean-François Condotta |
Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning. |
FroCos |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
A new proof of completeness for a relative modal logic with composition and intersection. |
Journal of Applied Non-Classical Logics |
2001 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Dimiter Vakarelov |
Iteration-free PDL with Intersection: a Complete Axiomatization. |
Fundam. Inform. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Dimiter Vakarelov |
First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
Emptiness Relations in Property Systems. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Jean-François Condotta, Gérard Ligozat |
Reasoning about Generalized Intervals: Horn Representability and Tractability. (PDF / PS) |
TIME |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Aomar Osmani |
A Model for Reasoning about Topologic Relations between cyclic intervals. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Ewa Orlowska |
A hierarchy of modal logics with relative accessibility relations. |
Journal of Applied Non-Classical Logics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani |
Inequality without irreflexivity. |
Journal of Applied Non-Classical Logics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro |
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. |
EPIA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro |
A New Tractable Subclass of the Rectangle Algebra. |
IJCAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani |
The modal multilogic of geometry. |
Journal of Applied Non-Classical Logics |
1998 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Luis Fariñas del Cerro |
Complete axiomatization of a relative modal logic with composition and intersection. |
Journal of Applied Non-Classical Logics |
1998 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Dimiter Vakarelov |
Extending arrow logic. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro |
A Model for Reasoning about Bidemsional Temporal Relations. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Amal El Fallah-Seghrouchni |
A Modal Logic for Reasoning about Beliefs, Desires and Intentions of Complex Agents in a Distributed Environment. |
ICMAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani |
Reasoning about Generalized Intervals. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov |
Modal Logics for Incidence Geometries. |
J. Log. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Stéphane Demri |
Prefixed Tableaux Systems for Modal Logics with Enriched Languages. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani |
A Modal Logic for Data Analysis. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov |
Geometrical Structures and Modal Logic. |
FAPR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
Modal Logics with Relative Accessibility Relations. |
FAPR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Andreas Herzig |
A translation from the modal logic of provability into K4. |
Journal of Applied Non-Classical Logics |
1994 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani |
Equation Solving in Projective Planes and Planar Ternary Rings. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
Equation Solving in Geometrical Theories. |
CTRS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Luis Fariñas del Cerro |
Affine Geometry of Collinearity and Conditional Term Rewriting. |
Term Rewriting |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
A modal semantics of negation in logic programming. |
Fundam. Inform. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani |
The Finiteness of Logic Programming Derivations. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
Sur la finitude des dérivations de la programmation en logique. |
JFPL |
1992 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani |
Modal Logic and Negation as Failure. |
J. Log. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques |
TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules. |
STACS |
1991 |
DBLP DOI BibTeX RDF |
logic programming with negation, modal logic, declarative semantics |
| 1 | Philippe Balbiani |
Non-monotonic Reasoning and Modal Logic, from Negation as Failure to Default Logic. |
IPMU |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig |
Declarative Semantics for Modal Logic Programs. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")