default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Eiter
Person information
- affiliation: TU Wien, Vienna, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j145]Thomas Eiter
, Markus Hecher, Rafael Kiesel:
aspmc: New frontiers of algebraic answer set counting. Artif. Intell. 330: 104109 (2024)- [j144]Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Dave Pfliegler, Daria Stepanova:
Adaptive large-neighbourhood search for optimisation in answer-set programming. Artif. Intell. 337: 104230 (2024) - [j143]Pieter Bonte, Jean-Paul Calbimonte, Daniel de Leng, Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Federico Giannini, Fredrik Heintz, Konstantin Schekotihin, Danh Le Phuoc, Alessandra Mileo, Patrik Schneider, Riccardo Tommasini, Jacopo Urbani, Giacomo Ziffer:
Grounding Stream Reasoning Research. TGDK 2(1): 2:1-2:47 (2024) - [j142]Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova:
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM. Theory Pract. Log. Program. 24(2): 421 (2024) - [c284]Thomas Eiter, Johannes Klaus Fichte, Markus Hecher, Stefan Woltran:
Epistemic Logic Programs: Non-Ground and Counting Complexity. IJCAI 2024: 3333-3341 - [c283]Thomas Eiter, Davide Soldà:
Computational Aspects of Progression for Temporal Equilibrium Logic. IJCAI 2024: 3342-3350 - [c282]Michele Collevati, Thomas Eiter, Nelson Higuera:
Leveraging Neurosymbolic AI for Slice Discovery. NeSy (1) 2024: 403-418 - [i49]Thomas Eiter, Jan Hadl, Nelson Higuera, Johannes Oetsch:
Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets. CoRR abs/2410.09428 (2024) - 2023
- [j141]Thomas Eiter, Rafael Kiesel:
Semiring Reasoning Frameworks in AI and Their Computational Complexity. J. Artif. Intell. Res. 77: 207-293 (2023) - [j140]Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin:
Witnesses for Answer Sets of Logic Programs. ACM Trans. Comput. Log. 24(2): 15:1-15:46 (2023) - [j139]Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski:
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II. Theory Pract. Log. Program. 23(1): 1 (2023) - [j138]Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova:
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. Theory Pract. Log. Program. 23(6): 1281-1306 (2023) - [c281]Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter:
Progression for Monitoring in Temporal ASP. ECAI 2023: 2170-2177 - [c280]Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova:
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures. ICLP Workshops 2023 - [c279]Thomas Eiter, Tobias Geibinger:
Explaining Answer-Set Programs with Abstract Constraint Atoms. IJCAI 2023: 3193-3202 - [c278]Thomas Eiter, Tobias Geibinger, Nelson Higuera, Johannes Oetsch:
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering. IJCAI 2023: 3668-3676 - [c277]Thomas Eiter, Tobias Geibinger, Johannes Oetsch:
Contrastive Explanations for Answer-Set Programs. JELIA 2023: 73-89 - [c276]Rafael Kiesel, Thomas Eiter:
Knowledge Compilation and More with SharpSAT-TD. KR 2023: 406-416 - [c275]Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch:
A Modular Neurosymbolic Approach for Visual Graph Question Answering. NeSy 2023: 139-149 - [c274]Christian Hatschka, Agata Ciabattoni, Thomas Eiter:
Deontic Paradoxes in ASP with Weak Constraints. ICLP 2023: 367-380 - [e19]David Scott Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert A. Kowalski, Francesca Rossi:
Prolog: The Next 50 Years. Lecture Notes in Computer Science 13900, Springer 2023, ISBN 978-3-031-35253-9 [contents] - [i48]Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova:
Contextual Reasoning for Scene Generation (Technical Report). CoRR abs/2305.02255 (2023) - 2022
- [j137]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning on with Defeasibility in ASP. Theory Pract. Log. Program. 22(2): 254-304 (2022) - [j136]Thomas Eiter, Nelson Higuera, Johannes Oetsch, Michael Pritz:
A Neuro-Symbolic ASP Pipeline for Visual Question Answering. Theory Pract. Log. Program. 22(5): 739-754 (2022) - [j135]Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski:
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP. Theory Pract. Log. Program. 22(6): 770-775 (2022) - [c273]Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova:
Large-Neighbourhood Search for Optimisation in Answer-Set Solving. AAAI 2022: 5616-5625 - [c272]Loris Bozzato, Thomas Eiter, Rafael Kiesel:
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract). Description Logics 2022 - [c271]Thomas Eiter:
Hybrid Answer Set Programming: Opportunities and Challenges (Joint DL+NMR Invited Talk Abstract). Description Logics 2022 - [c270]Yi-Dong Shen, Thomas Eiter:
Considering Constraint Monotonicity and Foundedness in Answer Set Programming. IJCAI 2022: 2741-2747 - [c269]Zeynep G. Saribatur, Thomas Eiter, Peter Schüller:
Abstraction for Non-Ground Answer Set Programs (Extended Abstract). IJCAI 2022: 5767-5771 - [c268]Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova:
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. KR 2022 - [c267]Jacopo Urbani, Markus Krötzsch, Thomas Eiter:
Chasing Streams with Existential Rules. KR 2022 - [c266]Thomas Eiter, Patrik Schneider:
A Qualitative Temporal Extension of Here-and-There Logic. LPNMR 2022: 159-176 - [c265]Thomas Eiter:
Hybrid Answer Set Programming: Opportunities and Challenges. NMR 2022: 1 - [i47]Anh Le-Tuan, Manh Nguyen Duc, Chien-Quang Le, Trung-Kien Tran, Manfred Hauswirth, Thomas Eiter, Danh Le Phuoc:
CQELS 2.0: Towards A Unified Framework for Semantic Stream Fusion. CoRR abs/2202.13958 (2022) - [i46]Jacopo Urbani, Markus Krötzsch, Thomas Eiter:
Chasing Streams with Existential Rules. CoRR abs/2205.02220 (2022) - [i45]Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch, Michael Pritz:
A Neuro-Symbolic ASP Pipeline for Visual Question Answering. CoRR abs/2205.07548 (2022) - [i44]Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovsky, Daria Stepanova:
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. CoRR abs/2212.09077 (2022) - 2021
- [j134]Thomas Eiter, Tobias Kaminski:
Pruning external minimality checking for answer set programs using semantic dependencies. Artif. Intell. 290: 103402 (2021) - [j133]Zeynep G. Saribatur, Thomas Eiter, Peter Schüller:
Abstraction for non-ground answer set programs. Artif. Intell. 300: 103563 (2021) - [j132]Thomas Eiter, Ryutaro Ichise, Josiane Xavier Parreira, Patrik Schneider, Lihua Zhao:
Deploying spatial-stream query answering in C-ITS scenarios. Semantic Web 12(1): 41-77 (2021) - [j131]Zeynep G. Saribatur, Thomas Eiter:
Omission-Based Abstraction for Answer Set Programs. Theory Pract. Log. Program. 21(2): 145-195 (2021) - [j130]Zeynep G. Saribatur, Thomas Eiter:
Omission-based Abstraction for Answer Set Programs - ERRATUM. Theory Pract. Log. Program. 21(2): 292 (2021) - [j129]Loris Bozzato, Thomas Eiter, Rafael Kiesel:
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. Theory Pract. Log. Program. 21(5): 593-609 (2021) - [c264]Danh Le Phuoc, Thomas Eiter, Anh Lê Tuán:
A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion. AAAI 2021: 4996-5005 - [c263]Thomas Eiter, Rafael Kiesel:
On the Complexity of Sum-of-Products Problems over Semirings. AAAI 2021: 6304-6311 - [c262]Thomas Eiter, Markus Hecher, Rafael Kiesel:
aspmc: An Algebraic Answer Set Counter. ICLP Workshops 2021 - [c261]Thomas Eiter, Aaron Hunter, François Schwarzentruber:
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. IJCAI 2021: 1866-1872 - [c260]Thomas Eiter, Markus Hecher, Rafael Kiesel:
Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. KR 2021: 269-279 - [c259]Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova:
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. KR 2021: 280-290 - [i43]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning on DL-LiteR with Defeasibility in ASP. CoRR abs/2106.14801 (2021) - [i42]Loris Bozzato, Thomas Eiter, Rafael Kiesel:
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. CoRR abs/2108.03100 (2021) - 2020
- [j128]Thomas Eiter, Marco Maratea, Mauro Vallati:
Preface. Fundam. Informaticae 174(3-4) (2020) - [j127]Alexander Artikis, Thomas Eiter, Alessandro Margara, Stijn Vansummeren:
Dagstuhl Seminar on the Foundations of Composite Event Recognition. SIGMOD Rec. 49(4): 24-27 (2020) - [j126]Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin:
Managing caching strategies for stream reasoning with reinforcement learning. Theory Pract. Log. Program. 20(5): 625-640 (2020) - [j125]Thomas Eiter, Rafael Kiesel:
ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints. Theory Pract. Log. Program. 20(6): 895-910 (2020) - [c258]Danh Le Phuoc, Thomas Eiter:
An Adaptive Semantic Stream Reasoning Framework for Deep Neural Networks. CIKM (Workshops) 2020 - [c257]Thomas Eiter, Rafael Kiesel:
Weighted LARS for Quantitative Stream Reasoning. ECAI 2020: 729-736 - [c256]Loris Bozzato, Luciano Serafini, Thomas Eiter:
Reasoning with Justifiable Exceptions in Contextual Hierarchies. ECAI 2020: 2889-2890 - [c255]Thomas Eiter, Andreas A. Falkner, Patrik Schneider, Peter Schüller:
ASP-Based Signal Plan Adjustments for Traffic Flow Optimization. ECAI 2020: 3026-3033 - [c254]Yi-Dong Shen, Thomas Eiter:
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract). IJCAI 2020: 5040-5044 - [c253]Zeynep G. Saribatur, Thomas Eiter:
A Semantic Perspective on Omission Abstraction in ASP. KR 2020: 733-737 - [i41]Zeynep G. Saribatur, Thomas Eiter:
Omission-based Abstraction for Answer Set Programs. CoRR abs/2004.01410 (2020) - [i40]Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin:
Managing caching strategies for stream reasoning with reinforcement learning. CoRR abs/2008.03212 (2020) - [i39]Thomas Eiter, Rafael Kiesel:
ASP(AC): Answer Set Programming with Algebraic Constraints. CoRR abs/2008.04008 (2020) - [i38]Yi-Dong Shen, Thomas Eiter:
Constraint Monotonicity, Epistemic Splitting and Foundedness Are Too Strong in Answer Set Programming. CoRR abs/2010.00191 (2020) - [i37]Alexander Artikis, Thomas Eiter, Alessandro Margara, Stijn Vansummeren:
Foundations of Composite Event Recognition (Dagstuhl Seminar 20071). Dagstuhl Reports 10(2): 19-49 (2020)
2010 – 2019
- 2019
- [j124]Yi-Dong Shen, Thomas Eiter:
Determining inference semantics for disjunctive logic programs. Artif. Intell. 277 (2019) - [j123]Thomas Eiter, Herbert Füreder, Fritz Kasslatter, Josiane Xavier Parreira, Patrik Schneider:
Towards a Semantically Enriched Local Dynamic Map. Int. J. Intell. Transp. Syst. Res. 17(1): 32-48 (2019) - [j122]Thomas Eiter, Gabriele Kern-Isberner:
A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective. Künstliche Intell. 33(1): 9-33 (2019) - [j121]Daniele Dell'Aglio, Thomas Eiter, Fredrik Heintz, Danh Le Phuoc:
Special issue on stream reasoning. Semantic Web 10(3): 453-455 (2019) - [j120]Thomas Eiter, Paul Ogris, Konstantin Schekotihin:
A Distributed Approach to LARS Stream Reasoning (System paper). Theory Pract. Log. Program. 19(5-6): 974-989 (2019) - [c252]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning with Justifiable Exceptions in Eℒ_\bot Contextualized Knowledge Repositories. Description Logic, Theory Combination, and All That 2019: 110-134 - [c251]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Justifiable Exceptions in General Contextual Hierarchies. CONTEXT 2019: 26-39 - [c250]Loris Bozzato, Thomas Eiter, Luciano Serafini:
A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility. Description Logics 2019 - [c249]Tobias Kaminski, Thomas Eiter, Katsumi Inoue:
Meta-Interpretive Learning Using HEX-Programs. IJCAI 2019: 6186-6190 - [c248]Zeynep G. Saribatur, Peter Schüller, Thomas Eiter:
Abstraction for Non-ground Answer Set Programs. JELIA 2019: 576-592 - [c247]Thomas Eiter, Tobias Kaminski:
Pruning External Minimality Checking for ASP Using Semantic Dependencies. LPNMR 2019: 326-339 - [c246]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP. RuleML+RR 2019: 19-35 - [i36]Loris Bozzato, Thomas Eiter, Luciano Serafini:
A Note on Reasoning on DL-LiteR with Defeasibility. CoRR abs/1905.09221 (2019) - [i35]Thomas Eiter, Paul Ogris, Konstantin Schekotihin:
A Distributed Approach to LARS Stream Reasoning (System paper). CoRR abs/1907.12344 (2019) - [i34]Thomas Eiter, Zeynep G. Saribatur, Peter Schüller:
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. CoRR abs/1909.04998 (2019) - 2018
- [j119]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Enhancing context knowledge repositories with justifiable exceptions. Artif. Intell. 257: 72-126 (2018) - [j118]Harald Beck, Minh Dao-Tran, Thomas Eiter:
LARS: A Logic-based framework for Analytic Reasoning over Streams. Artif. Intell. 261: 16-70 (2018) - [j117]Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar:
Alonzo Church Award 2018 - Call for Nominations. Bull. EATCS 124 (2018) - [j116]Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl:
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. J. Artif. Intell. Res. 62: 665-727 (2018) - [j115]Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl:
The DLVHEX System. Künstliche Intell. 32(2-3): 187-189 (2018) - [j114]Harald Beck, Minh Dao-Tran, Thomas Eiter, Christian Folie:
Stream Reasoning with LARS. Künstliche Intell. 32(2-3): 193-195 (2018) - [j113]Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl:
Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP. Künstliche Intell. 32(2-3): 197-198 (2018) - [j112]Tobias Kaminski, Thomas Eiter, Katsumi Inoue:
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Theory Pract. Log. Program. 18(3-4): 571-588 (2018) - [c245]Thomas Eiter, Ryutaro Ichise, Josiane Xavier Parreira, Patrik Schneider, Lihua Zhao:
Deploying Spatial-Stream Query Answering in C-ITS Scenarios. EKAW 2018: 386-406 - [c244]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract). IJCAI 2018: 5568-5572 - [c243]Thomas Eiter, Antonius Weinzierl:
Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract). IJCAI 2018: 5593-5597 - [c242]Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niederée, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle:
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI 2018: 357-365 - [c241]Zeynep G. Saribatur, Thomas Eiter:
Omission-Based Abstraction for Answer Set Programs. KR 2018: 42-51 - [c240]Loris Bozzato, Luciano Serafini, Thomas Eiter:
Reasoning with Justifiable Exceptions in Contextual Hierarchies. KR 2018: 329-338 - [c239]Harald Beck, Minh Dao-Tran, Thomas Eiter:
LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract). SOFSEM 2018: 87-93 - [r1]Alessandra Mileo, Minh Dao-Tran, Thomas Eiter, Michael Fink:
Stream Reasoning. Encyclopedia of Database Systems (2nd ed.) 2018 - [i33]Tobias Kaminski, Thomas Eiter, Katsumi Inoue:
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. CoRR abs/1805.00068 (2018) - [i32]Loris Bozzato, Luciano Serafini, Thomas Eiter:
Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix). CoRR abs/1808.01874 (2018) - [i31]Zeynep G. Saribatur, Thomas Eiter:
Towards Abstraction in ASP with an Application on Reasoning about Agent Policies. CoRR abs/1809.06638 (2018) - 2017
- [j111]Thomas Eiter, Antonius Weinzierl:
Preference-Based Inconsistency Management in Multi-Context Systems. J. Artif. Intell. Res. 60: 347-424 (2017) - [j110]Harald Beck, Thomas Eiter, Christian Folie:
Ticker: A system for incremental ASP-based stream reasoning. Theory Pract. Log. Program. 17(5-6): 744-763 (2017) - [c238]Zeynep G. Saribatur, Chitta Baral, Thomas Eiter:
Reactive Maintenance Policies over Equalized States in Dynamic Environments. EPIA 2017: 709-723 - [c237]Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider:
Spatial Ontology-Mediated Query Answering over Mobility Streams. ESWC (1) 2017: 219-237 - [c236]Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin:
Stream reasoning-based control of caching strategies in CCN routers. ICC 2017: 1-6 - [c235]Minh Dao-Tran, Thomas Eiter:
Streaming Multi-Context Systems. IJCAI 2017: 1000-1007 - [c234]Thomas Eiter, Tobias Kaminski, Antonius Weinzierl:
Lazy-Grounding for Answer Set Programs with External Source Access. IJCAI 2017: 1015-1022 - [c233]Yi-Dong Shen, Thomas Eiter:
Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract). IJCAI 2017: 5060-5064 - [c232]Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl:
Answer Set Programming with External Source Access. RW 2017: 204-275 - [c231]Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider:
Detecting Mobility Patterns using Spatial Query Answering over Streams. WSP/WOMoCoE@ISWC 2017: 17-32 - [e18]Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov:
IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing 1, EasyChair 2017 [contents] - [e17]Thomas Eiter, David Sands:
LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EPiC Series in Computing 46, EasyChair 2017 [contents] - [e16]Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao:
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures. Lecture Notes in Computer Science 9885, Springer 2017, ISBN 978-3-319-49492-0 [contents] - [e15]Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Markus Krötzsch, Maria Maleshkova, Ruben Verborgh, Federico M. Facca, Michael Mrissa:
Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 17th - to - 18th, 2016. CEUR Workshop Proceedings 1783, CEUR-WS.org 2017 [contents] - [e14]Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello:
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. CEUR Workshop Proceedings 1936, CEUR-WS.org 2017 [contents] - [i30]Harald Beck, Thomas Eiter, Christian Folie:
Ticker: A System for Incremental ASP-based Stream Reasoning. CoRR abs/1707.05304 (2017) - 2016
- [j109]