European Master's Program in Computational Logic

Search:

Publications by EMCL Students

This page only lists publications created in the course of the EMCL study.

[1] J. J. Alferes and G. E. Tagni. Implementation of a complex event engine for the web. In Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 18-22 September 2006, Chicago, Illinois, USA, pages 65-72. IEEE Computer Society, 2006. [ bib ]
[2] H. T. Anh, C. D. P. K. Ramli, and C. V. Damásio. An implementation of extended p-log using xasp. In M. G. de la Banda and E. Pontelli, editors, Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, volume 5366 of LNCS, pages 739-743. Springer, 2008. [ bib ]
[3] A. Artale, D. Calvanese, and A. Ibáñez-García. Full satisfiability of UML class diagrams (Extended Abstract). In Proc. of the Fourth International Workshop on Logic in Databases, LID'09, 2009. [ bib ]
[4] A. Artale, D. Calvanese, and A. Ibáñez-García. Checking full satisfiability of conceptual models. In Proc. of the 23rd Int. Workshop on Description Logics, DL-10, 2010. [ bib ]
[5] F. Baader, N. Novakovic, and B. Suntisrivaraporn. A proof-theoretic subsumption reasoner for hybrid EL-TBoxes. In Proceedings of the 2008 International Workshop on Description Logics, DL2008, volume 353 of CEUR Workshop Proceedings, 2008. [ bib ]
[6] S. Bader, S. Hölldobler, and V. Mayer-Eichberger. Extracting propositional rules from feed-forward neural networks - a new decompositional approach. In A. S. d'Avila Garcez, P. Hitzler, and G. Tamburrini, editors, Proceedings of the 3rd International Workshop on Neuro-Symbolic Learning and Reasoning, NESY, volume 230 of CEUR Workshop Proceedings, 2007. [ bib ]
[7] S. E.-D. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, and T. Krennwallner. Decomposition of Distributed Nonmonotonic Multi-Context Systems. In T. Meyer and E. Ternovska, editors, 13th International Workshop on Non-Monotonic Reasoning, 2010. To appear. [ bib ]
[8] S. E.-D. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, and T. Krennwallner. Decomposition of distributed nonmonotonic multi-context systems. In T. Meyer and E. Ternovska, editors, 13th International Workshop on Non-Monotonic Reasoning, NMR 2010, CEUR Workshop Proceedings, 2010. [ bib | .pdf ]
[9] D. Calvanese, C. Keet, W. Nutt, M. Rodríguez-Muro, and G. Stefanoni. Web-based graphical querying of databases through an ontology: the WONDER system. In Proceedings of ACM Symposium on Applied Computing, ACM SAC'10, pages 1389-1396. ACM, 2010. [ bib ]
[10] D. Calvanese, C. M. Keet, W. Nutt, M. Rodriguez-Muro, and G. Stefanoni. Web-based graphical querying of databases through an ontology: the Wonder system. In Proc. of the 25th ACM Symposium on Applied Computing (SAC 2010), 2010. [ bib ]
[11] M. Dao-Tran and T. Eiter. Default reasoning on top of ontologies with dl-programs. In H. Kaiser and R. Kirner, editors, Proceedings of the Junior Scientist Conference 2008, pages 83-84, Nov. 2008. [ bib ]
[12] M. Dao-Tran, T. Eiter, and T. Krennwallner. Realizing default logic over description logic knowledge bases. In C. Sossai and G. Chemello, editors, Proc. 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009, volume 5590 of LNCS, pages 602-613. Springer, 2009. [ bib ]
[13] M. Dao-Tran, T. Eiter, and T. Krennwallner. Realizing default logic over description logic knowledge bases. In C. Sossai and G. Chemello, editors, 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009, volume 5590 of LNAI, pages 602-613. Springer, 2009. [ bib | DOI | .pdf ]
[14] C. Drescher. Constraint answer set programming systems. In M. Hermenegildo and T. Schaub, editors, Technical Communications of the 26th International Conference on Logic Programming, volume 7 of Leibniz International Proceedings in Informatics (LIPIcs), pages 255-264, Dagstuhl, Germany, 2010. Schloss Dagstuhl-Leibniz-Zentrum für Informatik. [ bib ]
[15] C. Drescher, O. Tifrea, and T. Walsh. Symmetry-breaking answer set solving. In Proceedings of ICLP'10 Workshop on Answer Set Programming and Other Computing Paradigm, 2010. To appear. [ bib ]
[16] C. Drescher and T. Walsh. Reformulation of global constraints into answer set programming. In Proceedings of AAAI'10 Workshop on Abstraction, Reformulation, and Approximation, volume WS-10-08 of AAAI Technical Report, pages 14-19. AAAI Press, 2010. [ bib ]
[17] C. Drescher and T. Walsh. A translational approach to constraint answer set solving. Theory and Practice of Logic Programming, 10(4-6):465-480, 2010. [ bib ]
[18] T. Eiter, W. Faber, and M. Mushthofa. Space efficient evaluation of asp programs with bounded predicate arities. In Proceedings 24rd Conference on Artificial Intelligence, AAAI '10. AAAI Press, 2010. To appear. [ bib ]
[19] T. Eiter and M. F. J. Moura. Paracoherent answer set programming. In Proceedings 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), May 9-13, 2010, Toronto, Canada, 2010. To appear. [ bib ]
[20] M. Farooque and S. Muñoz-Hernandez. Easy fuzzy tool for emotion recognition - prototype from voice speech analysis. In Proceedings of the International Conference on Fuzzy Computation, Maderia, Portugal, October 2009. Springer. [ bib ]
[21] E. Franconi, P. Guagliardo, and M. Trevisan. An intelligent query interface based on ontology navigation. In Proceedings of the Workshop on Visual Interfaces to the Social and Semantic Web, VISSW 2010, 2010. [ bib ]
[22] S. M. Hernández and W. S. Wiguna. Fuzzy cognitive layer in robocupsoccer. In Foundations of Fuzzy Logic and Soft Computing, pages 635-645. Springer, 2007. [ bib | DOI ]
[23] S. M. Hernández and W. S. Wiguna. Fuzzy prolog as cognitive layer in robocupsoccer. In IEEE Symposium on Computational Intelligence and Games (2007 IEEE Symposia Series in Computational Intelligence), pages 340-345, 2007. [ bib ]
[24] S. Hölldobler, N. H. Nga, and T. D. Khang. The fuzzy description logic alcFLH. In A. del Pobil, editor, Proceedings of the Ninth IASTED International Conference on Artificial Intelligence and Soft Computing, pages 99-104. ACTA Press, 2005. [ bib ]
[25] S. Hölldobler and C. K. Ramli. Contraction properties of a semantic operator for human reasoning. In L. Li and K. K. Yen, editors, Proceedings of the Fifth International Conference on Information, pages 228-231. International Information Institute, 2009. [ bib ]
[26] S. Hölldobler and C. K. Ramli. Logic programs under three-valued Lukasiewicz's semantics. In P. Hill and D. Warren, editors, Logic Programming, volume 5649 of LNCS, pages 464-478. Springer, 2009. [ bib ]
[27] S. Hölldobler and C. K. Ramli. Logics and networks for human reasoning. In C. A. et. al., editor, ICANN, volume 5769 of LNCS, pages 85-94. Springer, 2009. [ bib ]
[28] S. Hölldobler, H.-P. Störr, T. Khang, and N. H. Nga. The subsumption problem in the fuzzy description logic ALCFH. In Proceedings Tenth International Conference IPMU 2004: Information Processing and Managment of Uncertainty in Knowledge-Based Systems, volume 1, pages 243-250, 2004. [ bib ]
[29] J. C. Jung, P. Barahona, G. Katsirelos, and T. Walsh. Two encodings of dnnf theories. In ECAI'08 Workshop on Inference methods based on Graphical Structures of Knowledge, 2008. [ bib | .pdf ]
[30] E. Lebedeva. Hypertree Decompositions for Combinatorial Auctions: Optimal Winner Determination. VDM Verlag, Saarbrücken, Germany, Germany, 2008. [ bib ]
[31] J. Leite, J. J. Alferes, and B. Mito. Resource allocation with answer-set programming. In C. Sierra, C. Castelfranchi, K. S. Decker, and J. S. Sichman, editors, 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pages 649-656. IFAAMAS, 2009. [ bib ]
[32] J. Mendez and B. Suntisrivaraporn. Reintroducing cel as an owl 2 el reasoner. In B. C. Grau, I. Horrocks, B. Motik, and U. Sattler, editors, Proceedings of the 2009 International Workshop on Description Logics, DL2009, volume 477 of CEUR Workshop Proceedings, 2009. [ bib ]
[33] J. Moura, P. Chainho, and C. V. Damásio. Semantically enabled framework for user centric profile description, search and match. In E. D. Nitto and M. Ripeanu, editors, Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers, volume 4907 of LNCS, pages 326-335. Springer, 2007. [ bib ]
[34] V. Nigam and J. Leite. A dynamic logic programming based system for agents with declarative goals. In M. Baldoni and U. Endriss, editors, Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers, volume 4327 of LNCS, pages 174-190. Springer, 2006. [ bib ]
[35] V. Nigam and J. Leite. Adding knowledge updates to 3APL. In R. H. Bordini, M. Dastani, J. Dix, and A. E. Fallah-Seghrouchni, editors, Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers, volume 4411 of LNCS, pages 165-181. Springer, 2007. [ bib ]
[36] N. Novakovic. A proof-theoretic approach to deciding subsumption and computing least common subsumer in w.r.t. hybrid tboxes. In S. Hölldobler, C. Lutz, and H. Wansing, editors, Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, volume 5293 of LNCS, pages 311-323. Springer, 2008. [ bib ]
[37] M. Ortiz. A fully internalized sequent calculus for Hybrid Categorial Logics. In J. Huitink and S. Katrenko, editors, Proceedings of the Student Session of the 18th European Summer School of Logic, Language and Information, ESSLLI'06, pages 136-147, Malaga, Spain, Aug. 2006. [ bib ]
[38] M. Ortiz. Extending Carin to the Description Logics of the SH family. In S. Hölldobler, C. Lutz, and H. Wansing, editors, Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, volume 5293 of LNCS, pages 324-337. Springer, 2008. [ bib | DOI ]
[39] M. Ortiz, D. Calvanese, and T. Eiter. Characterizing data complexity for Conjunctive Query answering in expressive Description Logics. In Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI'06), pages 275-280. AAAI Press, July 2006. [ bib ]
[40] M. Ortiz, D. Calvanese, and T. Eiter. Data complexity of answering unions of Conjunctive Queries in SHIQ. In B. Parsi, U. Sattler, and D. Toman, editors, Proceedings of the 2006 International Workshop on Description Logics, DL'06, volume 189 of CEUR Workshop Proceedings, pages 62-73, Lake District, UK, 2006. [ bib ]
[41] M. Ortiz, D. Calvanese, and T. Eiter. Data complexity of query answering in expressive description logics via tableaux. J. Autom. Reasoning, 41(1):61-98, 2008. [ bib | DOI ]
[42] L. M. Pereira and H. T. Anh. Elder care via intention recognition and evolution prospection. In S. Abreu and D. Siepel, editors, 18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management, INAP'09, pages 5-20, Évora, Portugal, November 2009. Univ. Évora. [ bib | .pdf ]
[43] L. M. Pereira and H. T. Anh. Evolution prospection. In K. Nakamatsu, editor, Procs. First KES Intl. Symp. on Intelligent Decision Technologies - KES-IDT'09, Engineering Series, Himeji, Japan, April 2009. Springer. [ bib ]
[44] L. M. Pereira and H. T. Anh. Evolution prospection in decision making. Intelligent Decision Technologies (IDT), 3(3):157-171, October 2009. [ bib | .pdf ]
[45] L. M. Pereira and H. T. Anh. Intention recognition via causal bayes networks plus plan generation. In L. S. Lopes, N. Lau, P. Mariano, and L. Rocha, editors, 14th Portuguese Intl.Conf. on Artificial Intelligence, EPIA'09, volume 5816 of LNAI, pages 138-149. Springer, October 2009. [ bib | .pdf ]
[46] L. M. Pereira and H. T. Anh. Intention recognition with evolution prospection and causal bayesian networks. In Z. Vale and A. Madureira, editors, Procs. Intl. Symp. on Computational Intelligence for Engineering Systems, CD-ROM, Porto, November 2009. ISEP - Instituto Superior de Engenharia do Porto. http://centria.di.fct.unl.pt/ lmp/publications/online-papers/IR-EPA-CBNs.pdf. [ bib | http ]
[47] L. M. Pereira and C. D. P. K. Ramli. Modelling probabilistic causation in decision making. In K. Nakamatsu, editor, Procs. First KES Intl. Symp. on Intelligent Decision Technologies - KES-IDT'09, Engineering Series, Himeji, Japan, April 2009. Springer. [ bib ]
[48] L. M. Pereira and C. D. P. K. Ramli. Modelling decision making with probabilistic causation. Intelligent Decision Technologies, Forthcoming, 2010, 2010. http://centria.di.fct.unl.pt/ lmp/publications/online-papers/IDT-Probabilistic-Causation.pdf. [ bib | http ]
[49] R. Pichler and V. Savenkov. Towards practical feasibility of core computation in data exchange. In I. Cervesato, H. Veith, and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, volume 5330 of LNCS, pages 62-78. Springer, 2008. [ bib ]
[50] R. Pichler and V. Savenkov. Demo: Data exchange modeling tool. PVLDB, 2(2):1606-1609, 2009. [ bib ]
[51] R. Pichler and V. Savenkov. Towards practical feasibility of core computation in data exchange. Theoretical Compututer Science, 411:935-957, 2010. [ bib ]
[52] R. J. Scherer, P. Katranuschkov, and K. Rybenko. Description logic based collaborative process management. In Y. Rafiq, P. de Wilde, and M. Borthwick, editors, ICE08 - Proceedings of the 15th Workshop of the European Group for Intelligent Computing in Engineering (EG-ICE), pages 291-302, Plymouth, UK, 2008. [ bib ]
[53] M. Šimkus and T. Eiter. FDNC: Decidable non-monotonic disjunctive logic programs with function symbols. In N. Dershowitz and A. Voronkov, editors, Proceedings 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2007, number 4790 in LNCS, pages 514-530. Springer, 2007. [ bib ]
[54] A. G.-S. Wiratna S. Wiguna, Juan J. Fernández-iébar. Using a fuzzy model for combining search results from different information sources to build a metasearch engine. In Computational Intelligence, Theory and Applications, pages 325-334. Springer, 2006. [ bib | DOI ]
[55] D. Zhao, S. Schiffel, and M. Thielscher. Decomposition of multi-player games. In AI '09: Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence, pages 475-484. Springer, 2009. [ bib | DOI ]
[56] D. Zheleznyakov, D. Calvanese, E. Kharlamov, and W. Nutt. Updating TBoxes in DL-Lite. In Proc. of the 23nd Int. Workshop on Description Logic (DL 2010), 2010. [ bib ]