-
1
-
-
84866262574
-
-
Broekstra, J., Kampman, A., van Harmelen, F.: Sesame: A generic architecture for storing and querying RDF. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, 2342, pp. 54-68. Springer, Heidelberg (2002)
-
Broekstra, J., Kampman, A., van Harmelen, F.: Sesame: A generic architecture for storing and querying RDF. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 54-68. Springer, Heidelberg (2002)
-
-
-
-
2
-
-
33749853407
-
Adaptation of weighted fuzzy programs
-
Kollias, S, Stafylopatis, A, Duch, W, Oja, E, eds, ICANN 2006, Springer, Heidelberg
-
Chortaras, A., Stamou, G., Stafylopatis, A.: Adaptation of weighted fuzzy programs. In: Kollias, S., Stafylopatis, A., Duch, W., Oja, E. (eds.) ICANN 2006. LNCS, vol. 4132, pp. 45-54. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4132
, pp. 45-54
-
-
Chortaras, A.1
Stamou, G.2
Stafylopatis, A.3
-
4
-
-
38049120489
-
A connectionist model for weighted fuzzy programs
-
Chortaras, A., Stamou, G., Stafylopatis, A., Kollias, S.: A connectionist model for weighted fuzzy programs. In: IJCNN'06: Int. Joint Conf. on Neural Networks, pp. 5362-5369 (2006)
-
(2006)
IJCNN'06: Int. Joint Conf. on Neural Networks
, pp. 5362-5369
-
-
Chortaras, A.1
Stamou, G.2
Stafylopatis, A.3
Kollias, S.4
-
5
-
-
38049129831
-
A tabulation proof procedure for first-order residuated logic programs: Soundness, completeness and optimizations
-
Damásio, C.V., Medina, J., Ojeda Aciego, M.: A tabulation proof procedure for first-order residuated logic programs: Soundness, completeness and optimizations. In: FUZZ'06: Int. Conf. on Fuzzy Systems, pp. 9576-9583 (2006)
-
(2006)
FUZZ'06: Int. Conf. on Fuzzy Systems
, pp. 9576-9583
-
-
Damásio, C.V.1
Medina, J.2
Ojeda Aciego, M.3
-
6
-
-
33749673121
-
Sorted monotonic logic programs and their embeddings
-
Information Processing and Management of Uncertainty, pp
-
Damásio, C.V., Pereira, L.M.: Sorted monotonic logic programs and their embeddings. In: IPMU'04: Information Processing and Management of Uncertainty, pp. 807-814 (2004)
-
(2004)
IPMU'04
, pp. 807-814
-
-
Damásio, C.V.1
Pereira, L.M.2
-
7
-
-
84868329311
-
Reducing SHIQ description logic to disjunctive datalog programs
-
Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ" description logic to disjunctive datalog programs. In: KR2004: 9th Int. Conf. on Knowledge Representation and Reasoning, pp. 152-162 (2004)
-
(2004)
KR2004: 9th Int. Conf. on Knowledge Representation and Reasoning
, pp. 152-162
-
-
Hustadt, U.1
Motik, B.2
Sattler, U.3
-
10
-
-
23944512745
-
Any-world assumptions in logic programming
-
Loyer, Y., Straccia, U.: Any-world assumptions in logic programming. Theoretical Computer Science 342(2-3), 351-381 (2005)
-
(2005)
Theoretical Computer Science
, vol.342
, Issue.2-3
, pp. 351-381
-
-
Loyer, Y.1
Straccia, U.2
-
11
-
-
35048890555
-
-
Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, 3298, pp. 549-563. Springer, Heidelberg (2004)
-
Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 549-563. Springer, Heidelberg (2004)
-
-
-
-
12
-
-
85034427623
-
OLD resolution with tabulation
-
Shapiro, E, ed, Third International Conference on Logic Programming, Springer, Heidelberg
-
Tamaki, H., Sato, T.: OLD resolution with tabulation. In: Shapiro, E. (ed.) Third International Conference on Logic Programming. LNCS, vol. 225, pp. 84-98. Springer, Heidelberg (1986)
-
(1986)
LNCS
, vol.225
, pp. 84-98
-
-
Tamaki, H.1
Sato, T.2
-
14
-
-
0035900850
-
Fuzzy logic programming
-
Vojtáš, P.: Fuzzy logic programming. Fuzzy Sets and Systems 124, 361-370 (2001)
-
(2001)
Fuzzy Sets and Systems
, vol.124
, pp. 361-370
-
-
Vojtáš, P.1
|