-
1
-
-
0040861983
-
An introduction to LIFE: Programming with logic, inheritance, functions, and equations
-
Miller, D. (ed.) Vancouver, B.C., Canada MIT Press, Cambridge October
-
Aït-Kaci, H.: An Introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations. In: Miller, D. (ed.) Proceedings of the 1993 International Symposium on Logic Programming, Vancouver, B.C., Canada, pp. 52-68. MIT Press, Cambridge (October 1993)
-
(1993)
Proceedings of the 1993 International Symposium on Logic Programming
, pp. 52-68
-
-
Aït-Kaci, H.1
-
2
-
-
77957013131
-
A guide to the basic logic dialect for rule interchange on the web
-
Boley, H., Kifer, M.: A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Transactions on Knowledge and Data Engineering 22(11), 1593-1608 (2010)
-
(2010)
IEEE Transactions on Knowledge and Data Engineering
, vol.22
, Issue.11
, pp. 1593-1608
-
-
Boley, H.1
Kifer, M.2
-
5
-
-
84858648203
-
Integrating positional and slotted knowledge on the semantic web
-
Boley, H.: Integrating Positional and Slotted Knowledge on the Semantic Web. Journal of Emerging Technologies in Web Intelligence 4(2), 343-353 (2010), http://ojs.academypublisher.com/index.php/jetwi/article/view/0204343353
-
(2010)
Journal of Emerging Technologies in Web Intelligence
, vol.4
, Issue.2
, pp. 343-353
-
-
Boley, H.1
-
6
-
-
78449262696
-
RuleML 1.0: The overarching specification of web rules
-
Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) LNCS Springer, Heidelberg
-
Boley, H., Paschke, A., Shafiq, O.: RuleML 1.0: The Overarching Specification of Web Rules. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, Vol. 6403, pp. 162-178. Springer, Heidelberg (2010)
-
(2010)
RuleML 2010
, vol.6403
, pp. 162-178
-
-
Boley, H.1
Paschke, A.2
Shafiq, O.3
-
7
-
-
0000733226
-
HiLog: A foundation for higher-order logic programming
-
Chen, W., Kifer, M., Warren, D.S.: HiLog: A Foundation for Higher-Order Logic Programming. Journal of Logic Programming 15(3), 187-230 (1993)
-
(1993)
Journal of Logic Programming
, vol.15
, Issue.3
, pp. 187-230
-
-
Chen, W.1
Kifer, M.2
Warren, D.S.3
-
10
-
-
0029333530
-
Logical foundations of object-oriented and frame-based languages
-
Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM 42, 741-843 (1995)
-
(1995)
Journal of ACM
, vol.42
, pp. 741-843
-
-
Kifer, M.1
Lausen, G.2
Wu, J.3
-
12
-
-
78449246496
-
RIF datatypes and built-ins 1.0
-
June
-
Polleres, A., Boley, H., Kifer, M.: RIF Datatypes and Built-ins 1.0, W3C Recommendation (June 2010), http://www.w3.org/TR/rif-dtb
-
(2010)
W3C Recommendation
-
-
Polleres, A.1
Boley, H.2
Kifer, M.3
-
13
-
-
0242371012
-
Reasoning about anonymous resources and meta statements on the semantic web
-
Spaccapietra, S., March, S.T., Aberer, K. (eds.) LNCS Springer, Heidelberg
-
Yang, G., Kifer, M.: Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. In: Spaccapietra, S., March, S.T., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, Vol. 2800, pp. 69-97. Springer, Heidelberg (2003)
-
(2003)
Journal on Data Semantics I
, vol.2800
, pp. 69-97
-
-
Yang, G.1
Kifer, M.2
-
14
-
-
0242460388
-
FLORA-2: A rule-based knowledge representation and inference infrastructure for the semantic web
-
Chung, S., Schmidt, D.C. (eds.) LNCS Springer, Heidelberg
-
Yang, G., Kifer, M., Zhao, C.: FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. In: Chung, S., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, Vol. 2888, pp. 671-688. Springer, Heidelberg (2003)
-
(2003)
CoopIS 2003, DOA 2003, and ODBASE 2003
, vol.2888
, pp. 671-688
-
-
Yang, G.1
Kifer, M.2
Zhao, C.3
|