Proceedings of the 18th international conference on Applications of declarative programming and knowledge management

作者: Dietmar Seipel , Salvador Abreu

DOI:

关键词:

摘要:

参考文章(176)
Luc De Raedt, Maurice Bruynooghe, On negation and three-valued logic in interactive concept-learning european conference on artificial intelligence. pp. 207- 212 ,(1990)
Eugenia Ternovska, David G. Mitchell, A framework for representing and solving NP search problems national conference on artificial intelligence. pp. 430- 435 ,(2005)
Norman Walsh, RDF Twig: accessing RDF graphs in XSLT. Extreme Markup Languages®. ,(2003)
David S. Warren, Terrance Swift, An abstract machine for SLG resolution: definite programs international conference on logic programming. pp. 633- 652 ,(1994)
AnHai Doan, Robert McCann, Alexander Kramnik, Vanitha Varadarajan, Building Data Integration Systems via Mass Collaboration ,(2003)
Antonis Kakas, Fariba Sadri, Francesca Toni, Paolo Mancarella, Kostas Stathis, The KGP model of agency european conference on artificial intelligence. pp. 28- 32 ,(2004)
Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes, SLX—a top-down derivation procedure for programs with explicit negation international conference on logic programming. pp. 424- 438 ,(1994)
Vânia Maria Ponte Vidal, Bernadette Farias Lóscio, Ana Carolina Salgado, None, Using Correspondence Assertions for Specifying the Semantics of XML-Based Mediators. Workshop on Information Integration on the Web. pp. 3- 11 ,(2001)
Katsumi Inoue, Hiromasa Haneda, Learning Abductive and Nonmonotonic Logic Programs Springer, Dordrecht. pp. 213- 231 ,(2000) , 10.1007/978-94-017-0606-3_14