Tuesday, October 6, 2015



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica

Mostrando recursos 101 - 120 de 150,093

101. Modal languages for topology: Expressivity and definability - Ten Cate, Balder; David, Gabelaia; Sustretov, Dmitry
International audience

102. Automated reasoning techniques for hybrid logics - Gorin, Daniel
PhD Thesis in cotutelle between the Université Henri Poincaré and the Universidad de Buenos Aires.

103. Modal Memory Logics - Mera, Sergio
PhD thesis in cotutelle between the Université Henri Poincaré and the Universidad de Buenos Aires.

104. Word Order Constraints for Lexical Disambiguation of Interaction Grammars - Bonfante, Guillaume; Guillaume, Bruno; Morey, Mathieu
International audience

105. Dependency Constraints for Lexical Disambiguation - Bonfante, Guillaume; Guillaume, Bruno; Morey, Mathieu
International audience

106. Modal Logics with Counting - Areces, Carlos; Hoffmann, Guillaume; Denis, Alexandre,
International audience

107. Resolution with Order and Selection for Hybrid Logics - Areces, Carlos; Gorin, Daniel
International audience

108. Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) - Areces, Carlos; Gorín, Daniel
International audience

109. The Expressive Power of Memory Logics - Areces, Carlos; Figueira, Santiago; Mera, Sergio
International audience

110. A Constraint-based Approach to Web Services Provisioning - Monfroy, Eric; Perrin, Olivier; Ringeissen, Christophe; Vigneron, Laurent
In this paper we consider the provisioning problem of Web services. Our framework is based on the existence of an abstract composition, i.e., the way some services of different types can be combined together in order to achieve a given task. Our approach consists in instantiating this abstract representation of a composite Web service by selecting the most appropriate concrete Web services. This instantiation is based on constraint programming techniques which allows us to match the Web services according to a given request. Our proposal performs this instantiation in a distributed manner, i.e., the solvers for each service type are...

111. Verifying Safety Properties With the TLA+ Proof System - Chaudhuri, Kaustuv; Doligez, Damien; Lamport, Leslie; Merz, Stephan
The original publication is available at www.springerlink.com

112. Lightweight Hybrid Tableaux - Hoffmann, Guillaume
International audience

113. Integrated Formal Methods - Méry, Dominique; Merz, Stephan
This volume contains the proceedings of iFM 2010, the 8th International Conference on Integrated Formal Methods. The conference took place during October 12-14, 2010, at the INRIA research center and the LORIA laboratory in Nancy, France. Previous editions were held in York, Dagstuhl, Turku, Canter- bury, Eindhoven, Oxford, and Düsseldorf. The iFM conference series seeks to promote research into the combination of different formal methods, and of formal and semi-formal methods, for system development. Such combinations are useful in order to apprehend different aspects of systems, including functional correctness, security, performance, and fault-tolerance. The conference provides a forum for discussing...

114. Formal Verification of Consensus Algorithms in a Proof Assistant - Debrat, Henri; Charron-Bost, Bernadette; Merz, Stephan
International audience

115. Model Checking the Pastry Routing Protocol - Lu, Tianxiang; Merz, Stephan; Weidenbach, Christoph
short communication

116. Topological semantics for hybrid logic - Sustretov, Dmitry
Ph.D. in Computer Science, INRIA Nancy Grand Est, projet TALARIS/Université Henri Poincaré, Nancy, France. Under supervision of Patrick Blackburn.

117. Exploring and Exploiting Algebraic and Graphical Properties of Resolution - Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno
International audience

118. Physics and Proof Theory - Woltzenlogel Paleo, Bruno
Axiomatization of Physics (and Science in general) has many drawbacks that are correctly criticized by opposing philosophical views of Science. This paper shows that, by giving formal proofs a more promi- nent role in the formalization, many of the drawbacks can be solved and many of the opposing views are naturally conciliated. Moreover, this ap- proach allows, by means of Proof Theory, to open new conceptual bridges between the disciplines of Physics and Computer Science.

119. Atomic Cut Introduction by Resolution: Proof Structuring and Compression - Woltzenlogel Paleo, Bruno
The original publication is available at www.springerlink.com

120. System Description: The Proof Transformation System CERES - Dunchev, Tsvetan; Leitsch, Alexander; Libal, Tomer; Weller, Daniel; Woltzenlogel Paleo, Bruno
The original publication is available at www.springerlink.com

Página de resultados:

Busque un recurso