| [16] |
A. Afeefi. Planning problems and fixpoint semantics. In S. Hölldobler, and S. Schwarz, editors, Proceedings of 29th Workshop on (Constraint) Logic Programming (WLP 2015), pages 2–16. 2015 |
| [17] |
M. Aleksandrov, and C. Strapparava. NgramQuery – smart information extraction from Google n-gram using external resources. In N. Calzolari, C. Chair, K. Choukri, T. Declerck, M. U. Doğan, B. Maegaard, J. Mariani, J. Odijk, and S. Piperidis, editors, Proceedings of the 8th International Conference on Language Resources and Evaluation (LREC 2012), pages 563–568. European Language Resources Association (ELRA), 2012 |
| [18] |
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), pages 65-72. IEEE Computer Society, 2006 |
| [19] |
E. Alfonso, and N. Manthey. New CNF features and formula classification. In D. L. Berre, editor, Proceedings of the International Workshop on Pragmatics of SAT 2014, volume 27 of EPiC, pages 57-71. EasyChair, 2014 |
| [20] |
H. T. Anh, C. D. P. K. Ramli, and C. V. Damásio. An implementation of extended p-log using XASP. In M. G. d. l. Banda, and E. Pontelli, editors, Proceedings of the 24th International Conference on Logic Programming (ICLP 2008), volume 5366 of Lecture Notes in Computer Science, pages 739-743. Springer, 2008 |
| [21] |
A. Artale, D. Calvanese, and A. Ibáñez-García. Full satisfiability of UML class diagrams. In L. Bertossi, and H. Christiansen, editors, Proceedings of the 4th International Workshop on Logic in Databases (LID 2009). Computer science research report #127, Roskilde University, Denmark, 2009 |
| [22] |
A. Artale, D. Calvanese, and A. Ibáñez-García. Checking full satisfiability of conceptual models. In V. Haarslev, D. Toman, and G. E. Weddell, editors, Proceedings of the 23rd International Workshop on Description Logics (DL 2010), volume 573 of CEUR Workshop Proceedings, pages 55–66. CEUR-WS.org, 2010 |
| [23] |
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 (DL 2008), volume 353 of CEUR Workshop Proceedings. 2008 |
| [24] |
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. Garcez, P. Hitzler, and G. Tamburrini, editors, Proceedings of the 3rd International Workshop on Neuro-Symbolic Learning and Reasoning (NESY 2009), volume 230 of CEUR Workshop Proceedings. 2007 |
| [25] |
S. E. 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, Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR 2010). 2010 |
| [26] |
A. Bauer, J. Küster, and G. Vegliach. From propositional to first-order monitoring. CoRR, abs/1303.3645, 2013 |
| [27] |
D. Buezas. Minimizing enzymes to differentiate between species. In Workshop on Constraint Based Methods for Bioinformatics. 2010 |
| [28] |
D. Calvanese, M. Montali, A. Syamsiyah, and W. v. d. Aalst. Ontology-driven extraction of event logs from relational databases. In Proceedings of the 11th International Workshop on Business Process Intelligence 2015 (BPI 2015), volume 1486 of CEUR Workshop Proceedings. CEUR-WS.org, 2015 |
| [29] |
D. Calvanese, M. Ortiz, M. Simkus, and G. Stefanoni. The complexity of conjunctive query abduction in DL-Lite. In R. Rosati, S. Rudolph, and M. Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR Electronic Workshop Proceedings. 2011 |
| [30] |
D. Calvanese, M. Ortiz, M. Simkus, and G. Stefanoni. The complexity of conjunctive query abduction in dl-lite. In R. Rosati, S. Rudolph, and M. Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, volume 745 of CEUR Workshop Proceedings. CEUR-WS.org, 2011 |
| [31] |
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 2010), pages 1389-1396. ACM, 2010 |
| [32] |
A. Calì, D. Martinenghi, and D. Carbotta. Query optimisation for web data sources: minimisation of the number of accesses. In M. Ceci, D. Malerba, and L. Tanca, editors, Proceedings of the 15th Italian Symposium on Advanced Database Systems (SEBD 2007), pages 316-323. 2007 |
| [33] |
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. Vienna University of Technology, 2008 |
| [34] |
M. Dao-Tran, T. Eiter, and T. Krennwallner. Realizing default logic over description logic knowledge bases. In C. Sossai, and G. Chemello, editors, Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), volume 5590 of Lecture Notes in Artificial Intelligence, pages 602–613. Springer, 2009 |
| [35] |
F. Darari, R. Prasojo, and W. Nutt. CORNER: a completeness reasoner for SPARQL queries over RDF data sources. In V. Presutti, E. Blomqvist, R. Troncy, H. Sack, I. Papadakis, and A. Tordai, editors, The Semantic Web: ESWC 2014 Satellite Events, volume 8798 of Lecture Notes in Computer Science, pages 310-314. Springer, 2014 |
| [36] |
F. Darari, R. Prasojo, and W. Nutt. Expressing no-value information in RDF. In S. Villata, J. Z. Pan, and M. Dragoni, editors, Proceedings of the 14th International Semantic Web Conference (ISWC 2015), volume 1486 of CEUR Workshop Proceedings. CEUR-WS.org, 2015 |
| [37] |
F. Darari, W. Nutt, G. Pirrò, and S. Razniewski. Completeness statements about RDF data sources and their use for query answering. In H. Alani, L. Kagal, A. Fokoue, P. T. Groth, C. Biemann, J. X. Parreira, L. Aroyo, N. F. Noy, C. Welty, and K. Janowicz, editors, Proceedings of the 12th International Semantic Web Conference (ISWC 2014), volume 8218 of Lecture Notes in Computer Science. Springer, 2013 |
| [38] |
F. Darari. Representing and querying negative knowledge in RDF. In P. Cimiano, M. Fernández, V. Lopez, S. Schlobach, and J. Völker, editors, The Semantic Web: ESWC 2013 Satellite Events: ESWC 2013 Satellite Events, Revised Selected Papers, pages 275–276. Springer, 2013 |
| [39] |
F. Darari, and R. Manurung. Linkedlab: a Linked Data platform for research communities. In Proceedings of the International Conference on Advanced Computer Science and Information System (ICACSIS 2011), pages 253-258. IEEE, 2011 |
| [40] |
F. Darari, A. A. Krisnadhi, and R. Manurung. OWLizr: knowledge representation system for Bahasa Indonesia based on web ontology language description logic (OWL DL). In Proceedings of the International Conference on Advanced Computer Science and Information System (ICACSIS 2010), pages 293-298. 2010 |
| [41] |
E. Dietz, S. Hölldobler, and L. Palacios. A connectionist network for skeptical abduction. In L. C. L. Tarek R. Besold, and R. Miikkulainen, editors, Proceedings of the 10th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2015). 2015 |
| [42] |
C. Drescher, O. Tifrea, and T. Walsh. Symmetry-breaking answer set solving. CoRR, abs/1008.1809, 2010 |
| [43] |
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 |
| [44] |
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. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2010 |
| [45] |
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 |
| [46] |
T. Eiter, and M. F. J. Moura. Paracoherent answer set programming. In F. Lin, U. Sattler, and M. Truszczynski, editors, Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010). AAAI Press, 2010 |
| [47] |
N. A. Ekowati. Adjustment of 4g technology usage as a pillar in development of country. In Proceedings of the 1st International Conference of Integrated Intellectual Community Conference (ICONIC 2014). 2014 |
| [48] |
M. Farooque, and S. Muñoz-Hernández. Easy fuzzy tool for emotion recognition – prototype from voice speech analysis. In A. Dourado, A. C. Rosa, and K. Madani, editors, Proceedings of the International Joint Conference on Computational Intelligence (IJCCI 2009), pages 85-88. INSTICC Press, 2009 |
| [49] |
Á. Fernández Díaz, C. Benac Earle, and L. Fredlund. Implementing a multiagent negotiation protocol in Erlang. In Proceedings of the 9th ACM SIGPLAN Workshop on Erlang, pages 69–74. ACM, 2010 |
| [50] |
E. Franconi, C. Gardent, X. I. Juarez-Castro, and L. Perez-Beltrachini. Quelo natural language interface: generating queries and answer descriptions. In Natural Language Interfaces for Web of Data Workshop (NLIWoD 2014). 2014 |
| [51] |
E. Franconi, T. Meyer, and I. Varzinczak. Semantic diff as the basis for knowledge base versioning. In Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR 2010). 2010 |
| [52] |
E. Franconi, A. Mosca, A. Siena, and D. Solomakhin. On the logical foundations of business rules. In Proceedings of the First Workshop on Law Compliancy Issues in Organisational Systems and Strategies. 2011 |
| [53] |
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, (ISSW 2010). 2010 |
| [54] |
S. M. Hernández, and W. S. Wiguna. Fuzzy Prolog as cognitive layer in RoboCupSoccer. In Proceedings of the IEEE Symposium on Computational Intelligence and Games (CIG 2007), pages 340–345. IEEE, 2007 |
| [55] |
S. Hölldobler, and F. Jovan. Advanced Petri nets and the fluent calculus. In Proceedings of the Young Scientists International Workshop on Trends in Information Processing (YSIP 2014), pages 15. 2014 |
| [56] |
S. Hölldobler, and C. D. P. 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 |
| [57] |
S. Hölldobler, and C. D. P. K. Ramli. Logics and networks for human reasoning. In C. Alippi, M. M. Polycarpou, C. G. Panayiotou, and G. Ellinas, editors, Proceedings of the 19th International Conference on Artificial Neural Networks (ICANN 2009), volume 5769 of Lecture Notes in Computer Science, pages 85–94. Springer, 2009 |
| [58] |
S. Hölldobler, and C. D. P. K. Ramli. Logic programs under three-valued lukasiewicz's semantics. In P. M. Hill, and D. S. Warren, editors, Proceedings of the 25th International Conference on Logic Programming (LP 2009), volume 5649 of Lecture Notes in Computer Science, pages 464-478. Springer, 2009 |
| [59] |
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 |
| [60] |
D. Lanti, and N. Manthey. Sharing information in parallel search with search space partitioning. In Proceedings of the 7th International Conference on Learning and Intelligent Optimization (LION 7). Springer, 2013 |
| [61] |
E. Lebedeva. Hypertree decompositions for combinatorial auctions: optimal winner determination. VDM Verlag, 2008 |
| [62] |
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, Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), pages 649-656. IFAAMAS, 2009 |
| [63] |
Y. Ma, and A. Syamsiyah. A hybrid approach to learn description logic ontology from texts. In M. Horridge, M. Rospocher, and J. v. Ossenbruggen, editors, Proceedings of the ISWC 2014 Posters & Demonstrations Track, a track within the 13th International Semantic Web Conference (ISWC 2013), volume 1272 of CEUR Workshop Proceedings, pages 421–424. CEUR-WS.org, 2014 |
| [64] |
F. Darari, and R. Manurung. Linkedlab: a data management platform for research communities using Linked Data approach. Jurnal Ilmu Komputer dan Informasi, 5(1):9-15, 2012 |
| [65] |
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 (DL 2009), volume 477 of CEUR Workshop Proceedings. 2009 |
| [66] |
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, Proceedings of the International Workshop on Service-Oriented Computing (ICSOC 2007), Revised Selected Papers, volume 4907 of Lecture Notes in Computer Science, pages 326-335. Springer, 2007 |
| [67] |
S. Muñoz-Hernandez, and W. Sari Wiguna. Fuzzy cognitive layer in robocupsoccer. In P. Melin, O. Castillo, L. T. Aguilar, J. Kacprzyk, and W. Pedrycz, editors, Proceedings of the 12th International Congress on the Foundations of Fuzzy Logic and Soft Computing (IFSA 2007), pages 635–645. Springer Berlin Heidelberg, 2007 |
| [68] |
V. Nigam, and J. Leite. A dynamic logic programming based system for agents with declarative goals. In M. Baldoni, and U. Endriss, editors, Proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies (DALT 2006), Selected, Revised and Invited Papers, volume 4327 of Lecture Notes in Computer Science, pages 174-190. Springer, 2006 |
| [69] |
V. Nigam, and J. Leite. Adding knowledge updates to 3APL. In R. H. Bordini, M. Dastani, J. Dix, and A. E. Fallah-Seghrouchni, editors, Proceedings of the 4th International Workshop on Programming Multi-Agent Systems (ProMAS 2006), Revised and Invited Papers, volume 4411 of Lecture Notes in Computer Science, pages 165-181. Springer, 2007 |
| [70] |
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, Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 2008), volume 5293 of Lecture Notes in Computer Science, pages 311-323. Springer, 2008 |
| [71] |
W. Nutt, S. Razniewski, and G. Vegliach. Incomplete databases: missing records and missing values. In H. Yu, G. Yu, W. Hsu, Y. Moon, R. Unland, and J. Yoo, editors, Proceedings of the 17th International Conference on Database Systems for Advanced Applications (DASFAA 2012), volume 7240 of Lecture Notes in Computer Science, pages 298-310. Springer, 2012 |
| [72] |
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 2006), volume 189 of CEUR Workshop Proceedings, pages 62–73. 2006 |
| [73] |
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 2006), pages 136–147. 2006 |
| [74] |
M. Ortiz. Extending Carin to the description logics of the SH family. In S. Hölldobler, C. Lutz, and H. Wansing, editors, Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 2008), volume 5293 of Lecture Notes in Computer Science, pages 324-337. Springer, 2008 |
| [75] |
A. R. Pardo. Refutationally complete hierarchic theorem proving with definitions. In S. Hölldobler, and S. Schwarz, editors, Proceedings of the Workshop in (Constraint) Logic Programming 2015, pages 51–65. 2015 |
| [76] |
A. R. Pardo. Sufficient (in)completeness for definitions in hierarchic superposition. In M. Kaeshammer, and P. Schulz, editors, Proceedings of the ESSLLI Student Session 2015, pages 25–36. 2015 |
| [77] |
L. M. Pereira, and C. D. P. K. Ramli. Modelling decision making with probabilistic causation. Intelligent Decision Technologies, 4(2):133–148, IOS Press, 2010 |
| [78] |
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, Proceedings of the 14th Portuguese Conference on Artificial Intelligence (EPIA 2009), volume 5816 of Lecture Notes in Artificial Intelligence, pages 138-149. Springer, 2009 |
| [79] |
L. M. Pereira, and H. T. Anh. Evolution prospection in decision making. Intelligent Decision Technologies (IDT), 3(3):157-171, IOS Press, 2009 |
| [80] |
L. M. Pereira, and H. T. Anh. Intention recognition with evolution prospection and causal Bayesian networks. In Z. Vale, and A. Madureira, editors, Proceedings of the International Symposium on Computational Intelligence for Engineering Systems. ISEP - Instituto Superior de Engenharia do Porto, 2009 |
| [81] |
L. M. Pereira, and H. T. Anh. Elder care via intention recognition and evolution prospection. In S. Abreu, and D. Siepel, editors, Proceedings of the 18th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2009), pages 5-20. University Évora, 2009 |
| [82] |
L. M. Pereira, and C. D. P. K. Ramli. Modelling probabilistic causation in decision making. In K. Nakamatsu, editor, Proceedings of the First KES International Symposium on Intelligent Decision Technologies (KES-IDT 2009). Springer, 2009 |
| [83] |
L. M. Pereira, and H. T. Anh. Evolution prospection. In K. Nakamatsu, editor, Proceedings of the First KES International Symposium on Intelligent Decision Technologies (KES-IDT 2009). Springer, 2009 |
| [84] |
L. Perez-Beltrachini, E. Franconi, C. Gardent, and X. I. Juarez-Castro. Generating knowledge base queries and answer descriptions. In 1st International Workshop on Data-to-text Generation (D2T 2015). 2015 |
| [85] |
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 Lecture Notes in Computer Science, pages 62-78. Springer, 2008 |
| [86] |
R. Pichler, and V. Savenkov. DEMo: data exchange modeling tool. PVLDB, 2(2):1606-1609, 2009 |
| [87] |
R. Pichler, and V. Savenkov. Towards practical feasibility of core computation in data exchange. Theoretical Computer Science, 411, 935-957, 2010 |
| [88] |
D. Pordel, L. Petersson, S. Namin, and A. Rebola-Pardo. Modeling the cost and coverage of an ad-hoc asset management system based on existing fleet vehicles. In Proceedings of the IEEE Intelligent Vehicles Symposium (IV 2015), pages 1068–1073. 2015 |
| [89] |
R. Prasojo, F. Darari, and M. Kacimi. ORCAESTRA: organizing news comments using aspect, entity and sentiment extraction. In IEEE Information Visualization (InfoVis) 2015. 2015 |
| [90] |
O. Savković, M. Paramita, S. Paramonov, and W. Nutt. MAGIK: managing completeness of data. In X. Chen, G. Lebanon, H. Wang, and M. J. Zaki, editors, Proceedings of the 21st ACM International Conference on Information and Knowledge Management, pages 2725–2727. ACM, 2012 |
| [91] |
R. J. Scherer, P. Katranuschkov, and K. Rybenko. Description logic based collaborative process management. In Y. Rafiq, P. d. Wilde, and M. Borthwick, editors, Proceedings of the 15th Workshop of the European Group for Intelligent Computing in Engineering (ICE 2008), pages 291–302. 2008 |
| [92] |
M. Simkus, and T. Eiter. FDNC: decidable non-monotonic disjunctive logic programs with function symbols. In N. Dershowitz, and A. Voronkov, editors, Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2007), pages 514–530. Springer, 2007 |
| [93] |
D. Solomakhin, A. Mosca, and E. Franconi. Logic-based reasoning support for SBVR. In Proceedings of the 26mo Convegno Italiano di Logica Computazionale (CILC 2011). 2011 |
| [94] |
D. Solomakhin, A. Mosca, E. Franconi, and A. Siena. On the logical foundations of business rules. In Proceedings of 1st Workshop on Law Compliancy Issues in Organisational Systems and Strategies. 2010 |
| [95] |
L. Y. Stefanus, and A. Santoso. A Prolog-based proof tool for type theory ta-lampda and implicational intuitionistic-logic. In Proceedings of the 8th International Workshop on the Implementation of Logics, pages 34-41. 2010 |
| [96] |
W. S. Wiguna, J. J. Fernández-iébar, and A. García-Serrano. Using a fuzzy model for combining search results from different information sources to build a metasearch engine. In B. Reusch, editor, Proceedings of the 9th International Conference on Computational Intelligence, Theory and Applications, pages 325–334. Springer Berlin Heidelberg, 2006 |
| [97] |
D. Zheleznyakov, D. Calvanese, E. Kharlamov, and W. Nutt. Updating TBoxes in DL-Lite. In Proceedings of the 23nd International Workshop on Description Logic (DL~2010). 2010 |
