The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martin Homola" ( http://dblp.L3S.de/Authors/Martin_Homola )

URL (Homepage):  http://ii.fmph.uniba.sk/~homola/  Author page on DBLP  Author page in RDF  Community of Martin Homola in ASPL-2

Publication years (Num. hits)
2004-2012 (16) 2013-2014 (18) 2015-2017 (16) 2018-2019 (6)
Publication types (Num. hits)
article(7) incollection(1) inproceedings(45) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 57 publication records. Showing 56 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Katarína Fabianová, Júlia Pukancová, Martin Homola Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Dana Suníková, Zuzana Kubincová, Martin Homola A Badge for Reducing Open Answers in Peer Assessment. Search on Bibsonomy ICWL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kristijonas Cyras, Tiago Oliveira 0001, Matthew Williams 0001, Loris Bozzato, Martin Homola, Till Mossakowski, Antoine Zimmermann (eds.) Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018) co-located with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, USA, October 29th, 2018. Search on Bibsonomy MedRACER+WOMoCoE@KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Júlia Pukancová, Martin Homola ABox Abduction for Description Logics: The Case of Multiple Observations. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Peter Paulovics, Júlia Pukancová, Martin Homola SIVA: An Educational Tool for the Tableau Reasoning Algorithm. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Drahomír Mrózek, Júlia Pukancová, Martin Homola ABox Abduction Solver Exploiting Multiple DL Reasoners. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Martin Homola, Zuzana Kubincová, Jan Kluka, Martin Svolik, Milan Darjanin, Peter Zapalac Team workflow and peer review in a virtual learning environment. Search on Bibsonomy ITHET The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vojtech Svátek, Jan Kluka, Miroslav Vacura, Martin Homola Pattern Alternatives for Referring to Multiple Indirectly Specified Objects. Search on Bibsonomy WOP@ISWC The full citation details ... 2017 DBLP  BibTeX  RDF
1Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello (eds.) Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017. Search on Bibsonomy WSP/WOMoCoE@ISWC The full citation details ... 2017 DBLP  BibTeX  RDF
1Zuzana Kubincová, Martin Homola Code Review in Computer Science Courses: Take One. Search on Bibsonomy ICWL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nadia Labai, Martin Homola, Magdalena Ortiz Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report). Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Júlia Pukancová, Martin Homola Tableau-Based ABox Abduction for the ALCHO Description Logic. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Zuzana Kubincová, Veronika Dropcová, Martin Homola Students' acceptance of peer review in Computer Science course. Search on Bibsonomy ICST Trans. e-Education e-Learning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zuzana Kubincová, Martin Homola, Veronika Dropcová Peer Reviews in a Web Design Course: Now Students like Them Too. Search on Bibsonomy SETE@ICWL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Petra Kubincová, Jan Kluka, Martin Homola Expressive Description Logic with Instantiation Metamodelling. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Oliver Kutz, Sergio de Cesare, Maria M. Hedblom, Tarek Richard Besold, Tony Veale, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Michael Grüninger, Fabian Neuhaus, Till Mossakowski, Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola, Frank Loebe, Adrien Barton, Jean-Rémi Bourguet (eds.) Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016. Search on Bibsonomy JOWO@FOIS The full citation details ... 2016 DBLP  BibTeX  RDF
1Júlia Pukancová, Martin Homola Tableau-Based ABox Abduction for Description Logics: Preliminary Report. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Martin Homola, Theodore Patkos, Giorgos Flouris, Ján Sefránek, Alexander Simko, Jozef Frtús, Dimitra Zografistou, Martin Baláz Resolving conflicts in knowledge for ambient intelligence. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Popescu, Zuzana Kubincová, Martin Homola Blogging Activities in Higher Education: Comparing Learning Scenarios in Multiple Course Experiences. Search on Bibsonomy ICWL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Veronika Dropcová, Martin Homola, Zuzana Kubincová Students' Acceptance of Peer Review. Search on Bibsonomy eLEOT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Petra Kubincová, Jan Kluka, Martin Homola Towards Expressive Metamodelling with Instantiation. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Júlia Pukancová, Martin Homola Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Matthias Knorr, Martin Slota, João Leite, Martin Homola What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. Search on Bibsonomy J. Log. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Fink 0001, Martin Homola, Alessandra Mileo Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014). Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Martin Homola, Theodore Patkos Different Types of Conflicting Knowledge in AmI Environments. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Martin Baláz, Jozef Frtús, Martin Homola, Ján Sefránek, Giorgos Flouris Embedding Defeasible Logic Programs into Generalized Logic Programs. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Vojtech Svátek, Simone Serra, Miroslav Vacura, Martin Homola, Jan Kluka B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing. Search on Bibsonomy WoDOOM The full citation details ... 2014 DBLP  BibTeX  RDF
1Veronika Bejdová, Martin Homola, Zuzana Kubincová Blogging in Obligatory Course: A Bitter Victory. Search on Bibsonomy ICWL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Homola, Jan Kluka, Vojtech Svátek, Miroslav Vacura Typed Higher-Order Variant of SROIQ - Why Not? Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Martin Baláz, Jozef Frtús, Giorgos Flouris, Martin Homola, Ján Sefránek Conflict Resolution in Assumption-Based Frameworks. Search on Bibsonomy EUMAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dimitra Zografistou, Giorgos Flouris, Theodore Patkos, Dimitris Plexousakis, Martin Baláz, Martin Homola, Alexander Simko A Dialogical Model for Collaborative Decision Making Based on Compromises. Search on Bibsonomy EUMAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Veronika Bejdová, Zuzana Kubincová, Martin Homola Are Students Reliable Peer-Reviewers? Search on Bibsonomy ICALT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandra Mileo, Martin Homola, Michael Fink 0001 Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014). Search on Bibsonomy EKAW (Satellite Events) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Homola, Theodore Patkos Different Types of Conflicting Knowledge in AmI Environments. Search on Bibsonomy EKAW (Satellite Events) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vojtech Svátek, Martin Homola, Jan Kluka, Miroslav Vacura Mapping structural design patterns in OWL to ontological background models. Search on Bibsonomy K-CAP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Loris Bozzato, Martin Homola, Luciano Serafini ExpTime Tableaux Algorithm for Contextualized ALC. Search on Bibsonomy CONTEXT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martin Baláz, Jozef Frtús, Martin Homola Conflict Resolution in Structured Argumentation. Search on Bibsonomy LPAR (short papers) The full citation details ... 2013 DBLP  BibTeX  RDF
1Zuzana Kubincová, Martin Homola, Veronika Bejdová Motivational Effect of Peer Review in Blog-Based Activities. Search on Bibsonomy ICWL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martin Homola, Jan Kluka, Vojtech Svátek, Miroslav Vacura Towards Typed Higher-Order Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Vojtech Svátek, Martin Homola, Jan Kluka, Miroslav Vacura Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models. Search on Bibsonomy OWLED The full citation details ... 2013 DBLP  BibTeX  RDF
1Luciano Serafini, Martin Homola Contextualized knowledge repositories for the Semantic Web. Search on Bibsonomy J. Web Semant. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zuzana Kubincová, Martin Homola, Roman Janajev Tool-supported Assessment of Wiki-based Assignments. Search on Bibsonomy CSEDU (2) The full citation details ... 2012 DBLP  BibTeX  RDF
1Martin Homola, Matthias Knorr, João Leite, Martin Slota MKNF Knowledge Bases in Multi-Context Systems. Search on Bibsonomy CLIMA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zuzana Kubincová, Martin Homola How to Get Around with Wikis in Teaching. Search on Bibsonomy ICWL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Loris Bozzato, Martin Homola, Luciano Serafini Towards More Effective Tableaux Reasoning for CKR. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Luciano Serafini, Martin Homola Contextual Representation and Reasoning with Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Martin Homola, Luciano Serafini Augmenting Subsumption Propagation in Distributed Description Logics. Search on Bibsonomy Applied Artificial Intelligence The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Homola, Luciano Serafini Towards Formal Comparison of Ontology Linking, Mapping and Importing. Search on Bibsonomy Description Logics The full citation details ... 2010 DBLP  BibTeX  RDF
1Martin Homola, Andrei Tamilin, Luciano Serafini Modeling Contextualized Knowledge. Search on Bibsonomy CIAO@EKAW The full citation details ... 2010 DBLP  BibTeX  RDF
1Luciano Serafini, Martin Homola Modular Knowledge Representation and Reasoning in the Semantic Web. Search on Bibsonomy Semantic Web Information Management The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Homola, Zuzana Kubincová Practising Web Design Essentials by Iterative Blog Development within a Community Portal. Search on Bibsonomy CSEDU (1) The full citation details ... 2009 DBLP  BibTeX  RDF
1Juraj Frank, Renate Motschnig, Martin Homola Towards an "Intelligent" Tagging Tool for Blogs. Search on Bibsonomy WSKS (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF usability, tagging, blog, categorization
1Martin Homola Subsumption Propagation between Remote Ontologies in Distributed Description Logic. Search on Bibsonomy Description Logics The full citation details ... 2008 DBLP  BibTeX  RDF
1Martin Homola Towards Distributed Ontologies with Description Logics. Search on Bibsonomy KWEPSY The full citation details ... 2007 DBLP  BibTeX  RDF
1Martin Homola Distributed Description Logics Revisited. Search on Bibsonomy Description Logics The full citation details ... 2007 DBLP  BibTeX  RDF
1Martin Homola Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs. Search on Bibsonomy CLIMA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #56 of 56 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license