Mark Kaminski - RankMe

59 papers A* 15A 4B 2Journal 24Unranked 13

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Stream reasoning with DatalogMTL. J. Web Semant. Przemyslaw Andrzej Walega, Mark Kaminski, Dingmin Wang, Bernardo Cuenca Grau
2022	J	`jnl`	The Complexity and Expressive Power of Limit Datalog. J. ACM Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2022	J	`jnl`	The delay and window size problems in rule-based stream reasoning. Artif. Intell. Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2020	A*	`conf`	Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. AAAI Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
2020	A*	`conf`	DatalogMTL over the Integer Timeline. KR Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2020	A*	`conf`	Tractable Fragments of Datalog with Metric Temporal Operators. IJCAI Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2019	—	`conf`	Bag Semantics of DL-Lite with Functionality Axioms. ISWC (1) Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2019	—	`conf`	Bagging the DL-Lite Family Further. Description Logics Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2019	A*	`conf`	DatalogMTL: Computational Complexity and Expressive Power. IJCAI Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2019	J	`jnl`	Foundations of ontology-based data access under bag semantics. Artif. Intell. Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2019	J	`jnl`	Limit Datalog: A Declarative Query Language for Data Analysis. SIGMOD Rec. Bernardo Cuenca Grau, Ian Horrocks, Mark Kaminski, Egor V. Kostylev, Boris Motik
2019	A*	`conf`	Reasoning over Streaming Data in Metric Temporal Datalog. AAAI Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau
2019	A*	`conf`	Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access. IJCAI Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks
2019	J	`jnl`	Subsumption of Weakly Well-Designed SPARQL Patterns is Undecidable. CoRR Mark Kaminski, Egor V. Kostylev
2018	J	`jnl`	Complexity and Expressive Power of Weakly Well-Designed SPARQL. Theory Comput. Syst. Mark Kaminski, Egor V. Kostylev
2018	A*	`conf`	Stratified Negation in Limit Datalog Programs. IJCAI Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2018	J	`jnl`	Stratified Negation in Limit Datalog Programs. CoRR Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2018	A*	`conf`	Stream Reasoning in Temporal Datalog. AAAI Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2018	A*	`conf`	The Window Validity Problem in Rule-Based Stream Reasoning. KR Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2018	J	`jnl`	The Window Validity Problem in Rule-Based Stream Reasoning. CoRR Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2017	A*	`conf`	Foundations of Declarative Data Analysis Using Limit Datalog Programs. IJCAI Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2017	J	`jnl`	Foundations of Declarative Data Analysis Using Limit Datalog Programs. CoRR Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2017	J	`jnl`	Query Nesting, Assignment, and Aggregation in SPARQL 1.1. ACM Trans. Database Syst. Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau
2017	J	`jnl`	Stream Reasoning in Temporal Datalog. CoRR Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2017	A*	`conf`	The Bag Semantics of Ontology-Based Data Access. IJCAI Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2017	J	`jnl`	The Bag Semantics of Ontology-Based Data Access. CoRR Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2016	A	`conf`	Beyond Well-designed SPARQL. ICDT Mark Kaminski, Egor V. Kostylev
2016	J	`jnl`	Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies. Artif. Intell. Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
2016	J	`jnl`	Module Extraction in Expressive Ontology Languages via Datalog Reasoning. J. Artif. Intell. Res. Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2016	—	`conf`	Ontology Module Extraction via Datalog Reasoning. Description Logics Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2016	A*	`conf`	Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1. WWW Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau
2015	A*	`conf`	Computing Horn Rewritings of Description Logics Ontologies. IJCAI Mark Kaminski, Bernardo Cuenca Grau
2015	J	`jnl`	Computing Horn Rewritings of Description Logics Ontologies. CoRR Mark Kaminski, Bernardo Cuenca Grau
2015	A*	`conf`	Ontology Module Extraction via Datalog Reasoning. AAAI Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2015	J	`jnl`	PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. J. Artif. Intell. Res. Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks
2015	—	`conf`	Polynomial Horn Rewritings for Description Logics Ontologies. Description Logics Mark Kaminski, Bernardo Cuenca Grau
2014	J	`jnl`	A Goal-Directed Decision Procedure for Hybrid PDL. J. Autom. Reason. Mark Kaminski, Gert Smolka
2014	—	`conf`	Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies. RR Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
2014	A*	`conf`	Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. AAAI Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
2014	J	`jnl`	Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. CoRR Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
2014	—	`conf`	Datalog Rewriting Techniques for Non-Horn Ontologies. Description Logics Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
2014	J	`jnl`	Ontology Module Extraction via Datalog Reasoning. CoRR Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2013	A	`conf`	InKreSAT: Modal Reasoning via Incremental Reduction to SAT. CADE Mark Kaminski, Tobias Tebbi
2013	—	`conf`	Sufficient Conditions for First-Order and Datalog Rewritability in ELU. Description Logics Mark Kaminski, Bernardo Cuenca Grau
2012	J	`jnl`	Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities CoRR Mark Kaminski, Gert Smolka
2012	—	`—`	Incremental decision procedures for modal logics with nominals and eventualities. Mark Kaminski
2011	—	`conf`	Clausal Tableaux for Hybrid PDL. M4M/LAMAS Mark Kaminski, Gert Smolka
2011	B	`conf`	Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics. TABLEAUX Mark Kaminski, Thomas Schneider, Gert Smolka
2011	J	`jnl`	Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies Log. Methods Comput. Sci. Mark Kaminski, Sigurd Schneider, Gert Smolka
2010	J	`jnl`	A Minimal Propositional Type Theory CoRR Mark Kaminski, Gert Smolka
2010	—	`conf`	Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference. LPAR (Yogyakarta) Mark Kaminski, Gert Smolka
2010	—	`conf`	Terminating Tableaux for IFIP TCS Mark Kaminski, Gert Smolka
2010	A	`conf`	Terminating Tableaux for Hybrid Logic with Eventualities. IJCAR Mark Kaminski, Gert Smolka
2009	—	`conf`	Spartacus: A Tableau Prover for Hybrid Logic. M4M Daniel Götzmann, Mark Kaminski, Gert Smolka
2009	J	`jnl`	Terminating Tableau Systems for Hybrid Logic with Difference and Converse. J. Log. Lang. Inf. Mark Kaminski, Gert Smolka
2009	B	`conf`	Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. TABLEAUX Mark Kaminski, Sigurd Schneider, Gert Smolka
2009	—	`conf`	Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles. Description Logics Mark Kaminski, Gert Smolka
2008	A	`conf`	Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse. IJCAR Mark Kaminski, Gert Smolka
2007	—	`conf`	Hybrid Tableaux for the Difference Modality. M4M Mark Kaminski, Gert Smolka