-
1
-
-
34249674063
-
-
Alechina N., "Semi-structured information: a modal logic approach", Tech. Report CSR-97-08, School of Computer Science, The University of Birmingham, 1997
-
-
-
-
2
-
-
0346707453
-
A Modal Perspective on Path Constraints
-
Alechina N., Demri S., and De Rijke M. A Modal Perspective on Path Constraints. J. Log. Comput. 13 6 (2003) 939-956
-
(2003)
J. Log. Comput.
, vol.13
, Issue.6
, pp. 939-956
-
-
Alechina, N.1
Demri, S.2
De Rijke, M.3
-
3
-
-
0035647293
-
Hybrid Logics: Characterization, Interpolation and Complexity
-
Areces C., Blackburn P., and Marx M. Hybrid Logics: Characterization, Interpolation and Complexity. J. of Symbolic Logic 66 3 (2001) 977-1010
-
(2001)
J. of Symbolic Logic
, vol.66
, Issue.3
, pp. 977-1010
-
-
Areces, C.1
Blackburn, P.2
Marx, M.3
-
4
-
-
84956862612
-
A Road-map on Complexity for Hybrid Logics
-
Proc. of the 8th Annual Conf. of the EACSL. Madrid, Springer
-
Areces C., Blackburn P., and Marx M. A Road-map on Complexity for Hybrid Logics. Proc. of the 8th Annual Conf. of the EACSL. Madrid. LNCS (1999), Springer 307-321
-
(1999)
LNCS
, pp. 307-321
-
-
Areces, C.1
Blackburn, P.2
Marx, M.3
-
6
-
-
33244464022
-
-
Benedikt M., Fan W., Geerts F., "XPath satisfiability in the presence of DTDs.", Proc. of the Twenty-fourth ACM SIGACT- SIGMOD-SIGART Symp. on Principles of Database Systems, 2005, p. 25-36
-
-
-
-
7
-
-
33646375519
-
A first step towards modeling semistructured data in hybrid multimodal logic
-
Bidoit N., Cerrito S., and Thion V. A first step towards modeling semistructured data in hybrid multimodal logic. J. of Applied Non-Classical Logics 14 4 (2004) 447-476
-
(2004)
J. of Applied Non-Classical Logics
, vol.14
, Issue.4
, pp. 447-476
-
-
Bidoit, N.1
Cerrito, S.2
Thion, V.3
-
10
-
-
0000730159
-
Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto
-
Blackburn P. Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Logic J. of the IGPL 8 3 (2000) 339-365
-
(2000)
Logic J. of the IGPL
, vol.8
, Issue.3
, pp. 339-365
-
-
Blackburn, P.1
-
11
-
-
0033900673
-
Internalizing labelled deduction
-
Blackburn P. Internalizing labelled deduction. Journal of Logic and Computation 10 1 (2000) 137-168
-
(2000)
Journal of Logic and Computation
, vol.10
, Issue.1
, pp. 137-168
-
-
Blackburn, P.1
-
12
-
-
84885222943
-
-
Blackburn P., Marx M., "Tableaux for Quantified Hybrid Logic", Proc. Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods, 2002, p. 38-52
-
-
-
-
13
-
-
34250617163
-
-
Bojanczyk M. David C. Muscholl A. Schwentick Th., Segoufin L., "Two-variable logic on data trees and XML reasoning", PODS, 2006, p. 10-19
-
-
-
-
14
-
-
0032592922
-
Representing and Reasoning on XML Documents: A Description Logic Approach
-
Calvanese D., De Giacomo G., and Lenzerini M. Representing and Reasoning on XML Documents: A Description Logic Approach. J. Log. Comput. 9 3 (1999) 295-318
-
(1999)
J. Log. Comput.
, vol.9
, Issue.3
, pp. 295-318
-
-
Calvanese, D.1
De Giacomo, G.2
Lenzerini, M.3
-
15
-
-
84945281960
-
-
Cardelli L., Ghelli G., "A Query Language Based on the Ambient Logic", ESOP, 2001, p. 1-22
-
-
-
-
16
-
-
26944435855
-
-
ten Cate B., Franceschet M. "On the Complexity of Hybrid Logics with Binders", CSL, 2005, p. 339-354
-
-
-
-
17
-
-
0034634025
-
Combining Deduction and Model Checking into Tableaux and Algorithms f or Converse-PDL
-
De Giacomo G., and Massacci F. Combining Deduction and Model Checking into Tableaux and Algorithms f or Converse-PDL. J. of Information and Computation 162 1-2 (2000) 117-137
-
(2000)
J. of Information and Computation
, vol.162
, Issue.1-2
, pp. 117-137
-
-
De Giacomo, G.1
Massacci, F.2
-
18
-
-
34249741132
-
-
Demri S., "(Modal) Logics for Semistructured Data", Invited talk at "Third Workshop on Methods for Modalities (M4M-3)", 2003
-
-
-
-
19
-
-
33745350097
-
-
Fan W., Geerts F., "Satisfiability of XPath Queries with Sibling Axes", Database Programming Languages, 10th Int. Symp. Vol. 3774 of LNCS, 2005, p. 122-137
-
-
-
-
20
-
-
0033687907
-
-
Fan W., Siméon J., "Integrity Constraints for XML", PODS, 2000, p. 23-34
-
-
-
-
22
-
-
33845223252
-
Hierarchies of Modal and Temporal Logics with Reference Pointers
-
Goranko V. Hierarchies of Modal and Temporal Logics with Reference Pointers. Journal of Logic, Language and Information 5 1 (1996) 1-24
-
(1996)
Journal of Logic, Language and Information
, vol.5
, Issue.1
, pp. 1-24
-
-
Goranko, V.1
-
23
-
-
34249686664
-
-
Gore R., "Tableau methods for modal and temporal logics", ReportNum.TR-ARP-15-95 Australian National University, 1995
-
-
-
-
24
-
-
18044373748
-
Semantic Considerations on Modal Logic
-
Linski L. (Ed), Oxford University Press, London
-
Kripke S. Semantic Considerations on Modal Logic. In: Linski L. (Ed). Reference and Modality (1971), Oxford University Press, London 63-72
-
(1971)
Reference and Modality
, pp. 63-72
-
-
Kripke, S.1
-
25
-
-
7044246310
-
-
Marx M. "XPath and Modal Logics of Finite DAG's", TABLEAUX, 2003, p. 150-164
-
-
-
-
26
-
-
34249670798
-
-
Murata M., Lee D., Mani M., "Taxonomy of XML Schema Languages Using Formal Language Theory", Proc. of the Extreme Markup Languages Conference, 2001
-
-
-
-
27
-
-
34249719062
-
-
Mundhenk M., Schneider T., "Undecidability of Multi-modal Hybrid Logics", Hylo, LICS 2006 Workshop
-
-
-
-
29
-
-
84888185379
-
-
On W3C Recommendation
-
XML Schema. On. http://www.w3.org/TR/xmlschema-0/ W3C Recommendation
-
XML Schema
-
-
|