default search action

combined dblp search
author search
venue search
publication search

ask others

Thomas Eiter

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j145]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ai/EiterHK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterHK24
Thomas Eiter, Markus Hecher, Rafael Kiesel:
aspmc: New frontiers of algebraic answer set counting. Artif. Intell. 330: 104109 (2024)
[j144]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterGRMOPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterGRMOPS24
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tgdk/BonteCLDVEGHSPM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tgdk/BonteCLDVEGHSPM24
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterGMOSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterGMOSS24
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]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterFHW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterFHW24
Thomas Eiter, Johannes Klaus Fichte, Markus Hecher, Stefan Woltran:
Epistemic Logic Programs: Non-Ground and Counting Complexity. IJCAI 2024: 3333-3341
[c283]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterS24
Thomas Eiter, Davide Soldà:
Computational Aspects of Progression for Temporal Equilibrium Logic. IJCAI 2024: 3342-3350
[c282]
- view
  authority control:
- export record
  dblp key:
  - conf/nesy/CollevatiEH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nesy/CollevatiEH24
Michele Collevati, Thomas Eiter, Nelson Higuera:
Leveraging Neurosymbolic AI for Slice Discovery. NeSy (1) 2024: 403-418
2023
[j141]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/EiterK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/EiterK23
Thomas Eiter, Rafael Kiesel:
Semiring Reasoning Frameworks in AI and Their Computational Complexity. J. Artif. Intell. Res. 77: 207-293 (2023)
[j140]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/WangEZL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/WangEZL23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterMPRT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterMPRT23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterGMOSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterGMOSS23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/SoldaLBE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/SoldaLBE23
Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter:
Progression for Monitoring in Temporal ASP. ECAI 2023: 2170-2177
[c280]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/BozzatoEK023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/BozzatoEK023
Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova:
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures. ICLP Workshops 2023
[c279]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/EiterG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterG23
Thomas Eiter, Tobias Geibinger:
Explaining Answer-Set Programs with Abstract Constraint Atoms. IJCAI 2023: 3193-3202
[c278]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/EiterGHO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterGHO23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EiterGO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EiterGO23
Thomas Eiter, Tobias Geibinger, Johannes Oetsch:
Contrastive Explanations for Answer-Set Programs. JELIA 2023: 73-89
[c276]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/KieselE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/KieselE23
Rafael Kiesel, Thomas Eiter:
Knowledge Compilation and More with SharpSAT-TD. KR 2023: 406-416
[c275]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nesy/EiterRO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nesy/EiterRO23
Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch:
A Modular Neurosymbolic Approach for Visual Graph Question Answering. NeSy 2023: 139-149
[c274]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-15870
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-15870
Christian Hatschka, Agata Ciabattoni, Thomas Eiter:
Deontic Paradoxes in ASP with Weak Constraints. ICLP 2023: 367-380
[e19]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/13900
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/13900
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-02255
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-02255
Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova:
Contextual Reasoning for Scene Generation (Technical Report). CoRR abs/2305.02255 (2023)
2022
[j137]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BozzatoES22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BozzatoES22
Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning on with Defeasibility in ASP. Theory Pract. Log. Program. 22(2): 254-304 (2022)
[j136]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterHOP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterHOP22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterMPRT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterMPRT22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/EiterGRMO022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EiterGRMO022
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BozzatoEK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BozzatoEK22
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/Eiter22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/Eiter22
Thomas Eiter:
Hybrid Answer Set Programming: Opportunities and Challenges (Joint DL+NMR Invited Talk Abstract). Description Logics 2022
[c270]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/ShenE22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ShenE22
Yi-Dong Shen, Thomas Eiter:
Considering Constraint Monotonicity and Foundedness in Answer Set Programming. IJCAI 2022: 2741-2747
[c269]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/SaribaturES22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/SaribaturES22
Zeynep G. Saribatur, Thomas Eiter, Peter Schüller:
Abstraction for Non-Ground Answer Set Programs (Extended Abstract). IJCAI 2022: 5767-5771
[c268]
- view
  - electronic edition @ kr.org
  - no references & citations available
- export record
  dblp key:
  - conf/kr/EiterGRMO022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterGRMO022
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova:
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. KR 2022
[c267]
- view
  - electronic edition @ kr.org
  - no references & citations available
- export record
  dblp key:
  - conf/kr/UrbaniKE22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/UrbaniKE22
Jacopo Urbani, Markus Krötzsch, Thomas Eiter:
Chasing Streams with Existential Rules. KR 2022
[c266]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterS22
Thomas Eiter, Patrik Schneider:
A Qualitative Temporal Extension of Here-and-There Logic. LPNMR 2022: 159-176
[c265]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nmr/Eiter22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/Eiter22
Thomas Eiter:
Hybrid Answer Set Programming: Opportunities and Challenges. NMR 2022: 1
[i47]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-13958
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-13958
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-02220
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-02220
Jacopo Urbani, Markus Krötzsch, Thomas Eiter:
Chasing Streams with Existential Rules. CoRR abs/2205.02220 (2022)
[i45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-07548
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-07548
Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch, Michael Pritz:
A Neuro-Symbolic ASP Pipeline for Visual Question Answering. CoRR abs/2205.07548 (2022)
[i44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-09077
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-09077
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ai/EiterK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterK21
Thomas Eiter, Tobias Kaminski:
Pruning external minimality checking for answer set programs using semantic dependencies. Artif. Intell. 290: 103402 (2021)
[j133]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/SaribaturES21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/SaribaturES21
Zeynep G. Saribatur, Thomas Eiter, Peter Schüller:
Abstraction for non-ground answer set programs. Artif. Intell. 300: 103563 (2021)
[j132]
- view
  authority control:
- export record
  dblp key:
  - journals/semweb/EiterIPSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/semweb/EiterIPSZ21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/SaribaturE21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/SaribaturE21
Zeynep G. Saribatur, Thomas Eiter:
Omission-Based Abstraction for Answer Set Programs. Theory Pract. Log. Program. 21(2): 145-195 (2021)
[j130]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/SaribaturE21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/SaribaturE21a
Zeynep G. Saribatur, Thomas Eiter:
Omission-based Abstraction for Answer Set Programs - ERRATUM. Theory Pract. Log. Program. 21(2): 292 (2021)
[j129]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BozzatoEK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BozzatoEK21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/PhuocEL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/PhuocEL21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/EiterK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EiterK21
Thomas Eiter, Rafael Kiesel:
On the Complexity of Sum-of-Products Problems over Semirings. AAAI 2021: 6304-6311
[c262]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/EiterHK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/EiterHK21
Thomas Eiter, Markus Hecher, Rafael Kiesel:
aspmc: An Algebraic Answer Set Counter. ICLP Workshops 2021
[c261]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/EiterHS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterHS21
Thomas Eiter, Aaron Hunter, François Schwarzentruber:
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. IJCAI 2021: 1866-1872
[c260]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/EiterHK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterHK21
Thomas Eiter, Markus Hecher, Rafael Kiesel:
Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. KR 2021: 269-279
[c259]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/EiterGMOS021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterGMOS021
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-14801
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-14801
Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning on DL-Lite_R with Defeasibility in ASP. CoRR abs/2106.14801 (2021)
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-03100
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-03100
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/EiterMV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/EiterMV20
Thomas Eiter, Marco Maratea, Mauro Vallati:
Preface. Fundam. Informaticae 174(3-4) (2020)
[j127]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmod/ArtikisEMV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmod/ArtikisEMV20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/DodaroEOS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/DodaroEOS20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterK20
Thomas Eiter, Rafael Kiesel:
ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints. Theory Pract. Log. Program. 20(6): 895-910 (2020)
[c258]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cikm/PhuocE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/PhuocE20
Danh Le Phuoc, Thomas Eiter:
An Adaptive Semantic Stream Reasoning Framework for Deep Neural Networks. CIKM (Workshops) 2020
[c257]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/EiterK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/EiterK20
Thomas Eiter, Rafael Kiesel:
Weighted LARS for Quantitative Stream Reasoning. ECAI 2020: 729-736
[c256]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/BozzatoSE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BozzatoSE20
Loris Bozzato, Luciano Serafini, Thomas Eiter:
Reasoning with Justifiable Exceptions in Contextual Hierarchies. ECAI 2020: 2889-2890
[c255]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/EiterFSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/EiterFSS20
Thomas Eiter, Andreas A. Falkner, Patrik Schneider, Peter Schüller:
ASP-Based Signal Plan Adjustments for Traffic Flow Optimization. ECAI 2020: 3026-3033
[c254]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/ShenE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ShenE20
Yi-Dong Shen, Thomas Eiter:
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract). IJCAI 2020: 5040-5044
[c253]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/kr/SaribaturE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/SaribaturE20
Zeynep G. Saribatur, Thomas Eiter:
A Semantic Perspective on Omission Abstraction in ASP. KR 2020: 733-737
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-01410
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-01410
Zeynep G. Saribatur, Thomas Eiter:
Omission-based Abstraction for Answer Set Programs. CoRR abs/2004.01410 (2020)
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-03212
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-03212
Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin:
Managing caching strategies for stream reasoning with reinforcement learning. CoRR abs/2008.03212 (2020)
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-04008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-04008
Thomas Eiter, Rafael Kiesel:
ASP(AC): Answer Set Programming with Algebraic Constraints. CoRR abs/2008.04008 (2020)
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-00191
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-00191
Yi-Dong Shen, Thomas Eiter:
Constraint Monotonicity, Epistemic Splitting and Foundedness Are Too Strong in Answer Set Programming. CoRR abs/2010.00191 (2020)
[i37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/ArtikisEMV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/ArtikisEMV20
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j124]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ai/ShenE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ShenE19
Yi-Dong Shen, Thomas Eiter:
Determining inference semantics for disjunctive logic programs. Artif. Intell. 277 (2019)
[j123]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/itsr/EiterFKPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/itsr/EiterFKPS19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ki/EiterK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/EiterK19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/semweb/DellAglioEHP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/semweb/DellAglioEHP19
Daniele Dell'Aglio, Thomas Eiter, Fredrik Heintz, Danh Le Phuoc:
Special issue on stream reasoning. Semantic Web 10(3): 453-455 (2019)
[j120]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterOS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterOS19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BozzatoES19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BozzatoES19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/context/BozzatoES19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/context/BozzatoES19
Loris Bozzato, Thomas Eiter, Luciano Serafini:
Justifiable Exceptions in General Contextual Hierarchies. CONTEXT 2019: 26-39
[c250]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BozzatoES19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BozzatoES19
Loris Bozzato, Thomas Eiter, Luciano Serafini:
A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility. Description Logics 2019
[c249]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/KaminskiEI19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/KaminskiEI19
Tobias Kaminski, Thomas Eiter, Katsumi Inoue:
Meta-Interpretive Learning Using HEX-Programs. IJCAI 2019: 6186-6190
[c248]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/SaribaturSE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/SaribaturSE19
Zeynep G. Saribatur, Peter Schüller, Thomas Eiter:
Abstraction for Non-ground Answer Set Programs. JELIA 2019: 576-592
[c247]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterK19
Thomas Eiter, Tobias Kaminski:
Pruning External Minimality Checking for ASP Using Semantic Dependencies. LPNMR 2019: 326-339
[c246]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/BozzatoES19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/BozzatoES19
Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP. RuleML+RR 2019: 19-35
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-09221
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-09221
Loris Bozzato, Thomas Eiter, Luciano Serafini:
A Note on Reasoning on DL-Lite_R with Defeasibility. CoRR abs/1905.09221 (2019)
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-12344
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-12344
Thomas Eiter, Paul Ogris, Konstantin Schekotihin:
A Distributed Approach to LARS Stream Reasoning (System paper). CoRR abs/1907.12344 (2019)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-04998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-04998
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BozzatoES18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BozzatoES18
Loris Bozzato, Thomas Eiter, Luciano Serafini:
Enhancing context knowledge repositories with justifiable exceptions. Artif. Intell. 257: 72-126 (2018)
[j118]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BeckDE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BeckDE18
Harald Beck, Minh Dao-Tran, Thomas Eiter:
LARS: A Logic-based framework for Analytic Reasoning over Streams. Artif. Intell. 261: 16-70 (2018)
[j117]
- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/EiterEPPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/EiterEPPS18
Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar:
Alonzo Church Award 2018 - Call for Nominations. Bull. EATCS 124 (2018)
[j116]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/EiterKRW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/EiterKRW18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ki/EiterGIKRSW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/EiterGIKRSW18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ki/BeckDEF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/BeckDEF18
Harald Beck, Minh Dao-Tran, Thomas Eiter, Christian Folie:
Stream Reasoning with LARS. Künstliche Intell. 32(2-3): 193-195 (2018)
[j113]
- view
  authority control:
- export record
  dblp key:
  - journals/ki/EiterFTW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/EiterFTW18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/KaminskiEI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/KaminskiEI18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ekaw/EiterIPSZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ekaw/EiterIPSZ18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BozzatoES18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BozzatoES18
Loris Bozzato, Thomas Eiter, Luciano Serafini:
Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract). IJCAI 2018: 5568-5572
[c243]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/EiterW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterW18
Thomas Eiter, Antonius Weinzierl:
Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract). IJCAI 2018: 5593-5597
[c242]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/TimmSSSSS0RNMKJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/TimmSSSSS0RNMKJ18
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]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/SaribaturE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/SaribaturE18
Zeynep G. Saribatur, Thomas Eiter:
Omission-Based Abstraction for Answer Set Programs. KR 2018: 42-51
[c240]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BozzatoSE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BozzatoSE18
Loris Bozzato, Luciano Serafini, Thomas Eiter:
Reasoning with Justifiable Exceptions in Contextual Hierarchies. KR 2018: 329-338
[c239]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/BeckDE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/BeckDE18
Harald Beck, Minh Dao-Tran, Thomas Eiter:
LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract). SOFSEM 2018: 87-93
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/db/MileoDE018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/db/MileoDE018
Alessandra Mileo, Minh Dao-Tran, Thomas Eiter, Michael Fink:
Stream Reasoning. Encyclopedia of Database Systems (2nd ed.) 2018
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-00068
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-00068
Tobias Kaminski, Thomas Eiter, Katsumi Inoue:
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. CoRR abs/1805.00068 (2018)
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-01874
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-01874
Loris Bozzato, Luciano Serafini, Thomas Eiter:
Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix). CoRR abs/1808.01874 (2018)
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1809-06638
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-06638
Zeynep G. Saribatur, Thomas Eiter:
Towards Abstraction in ASP with an Application on Reasoning about Agent Policies. CoRR abs/1809.06638 (2018)
2017
[j111]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/EiterW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/EiterW17
Thomas Eiter, Antonius Weinzierl:
Preference-Based Inconsistency Management in Multi-Context Systems. J. Artif. Intell. Res. 60: 347-424 (2017)
[j110]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BeckEB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BeckEB17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/SaribaturBE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/SaribaturBE17
Zeynep G. Saribatur, Chitta Baral, Thomas Eiter:
Reactive Maintenance Policies over Equalized States in Dynamic Environments. EPIA 2017: 709-723
[c237]
- view
  authority control:
- export record
  dblp key:
  - conf/esws/EiterPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esws/EiterPS17
Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider:
Spatial Ontology-Mediated Query Answering over Mobility Streams. ESWC (1) 2017: 219-237
[c236]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/BeckBDEHS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/BeckBDEHS17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Dao-TranE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Dao-TranE17
Minh Dao-Tran, Thomas Eiter:
Streaming Multi-Context Systems. IJCAI 2017: 1000-1007
[c234]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/EiterKW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterKW17
Thomas Eiter, Tobias Kaminski, Antonius Weinzierl:
Lazy-Grounding for Answer Set Programs with External Source Access. IJCAI 2017: 1015-1022
[c233]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/ShenE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ShenE17
Yi-Dong Shen, Thomas Eiter:
Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract). IJCAI 2017: 5060-5064
[c232]
- view
  authority control:
- export record
  dblp key:
  - conf/rweb/EiterKRSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rweb/EiterKRSW17
Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl:
Answer Set Programming with External Source Access. RW 2017: 204-275
[c231]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/EiterPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/EiterPS17
Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider:
Detecting Mobility Patterns using Spatial Query Answering over Streams. WSP/WOMoCoE@ISWC 2017: 17-32
[e18]
- view
- export record
  dblp key:
  - conf/lpar/2017iwil
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/2017iwil
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]
- view
- export record
  dblp key:
  - conf/lpar/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/2017
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rweb/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rweb/2016
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]
- view
- export record
  dblp key:
  - conf/semweb/2016srswit
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/2016srswit
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]
- view
- export record
  dblp key:
  - conf/semweb/2017wsp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/2017wsp
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BeckEB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeckEB17
Harald Beck, Thomas Eiter, Christian Folie:
Ticker: A System for Incremental ASP-based Stream Reasoning. CoRR abs/1707.05304 (2017)
2016
[j109]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterFKR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterFKR16
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Domain expansion for ASP-programs with external sources. Artif. Intell. 233: 84-121 (2016)
[j108]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/AmendolaEFLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/AmendolaEFLM16
Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone, João Moura:
Semi-equilibrium models for paracoherent answer set programs. Artif. Intell. 234: 219-271 (2016)
[j107]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ai/ShenE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ShenE16
Yi-Dong Shen, Thomas Eiter:
Evaluating epistemic negation in answer set programming. Artif. Intell. 237: 115-135 (2016)
[j106]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterFS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterFS16
Thomas Eiter, Michael Fink, Daria Stepanova:
Data repair of inconsistent nonmonotonic description logic programs. Artif. Intell. 239: 7-53 (2016)
[j105]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/BrewkaEL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/BrewkaEL16
Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski:
Answer Set Programming: An Introduction to the Special Issue. AI Mag. 37(3): 5-6 (2016)
[j104]
- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/EiterZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/EiterZ16
Thomas Eiter, Richard Zach:
Helmut Veith (1971-2016). Bull. EATCS 119 (2016)
[j103]
- view
  authority control:
- export record
  dblp key:
  - journals/itsr/EiterKPRSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/itsr/EiterKPRSS16
Thomas Eiter, Thomas Krennwallner, Matthias Prandtstetter, Christian Rudloff, Patrik Schneider, Markus Straub:
Semantically Enriched Multi-Modal Routing. Int. J. Intell. Transp. Syst. Res. 14(1): 20-35 (2016)
[j102]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/EiterFS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/EiterFS16
Thomas Eiter, Michael Fink, Daria Stepanova:
Computing Repairs of Inconsistent DL-Programs over EL Ontologies. J. Artif. Intell. Res. 56: 463-515 (2016)
[j101]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterFIKRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterFIKRS16
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller:
A model building framework for answer set programming with external computations. Theory Pract. Log. Program. 16(4): 418-464 (2016)
[c230]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/EiterRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/EiterRS16
Thomas Eiter, Christoph Redl, Peter Schüller:
Problem Solving Using the HEX Family. Computational Models of Rationality 2016: 150-174
[c229]
- view
  authority control:
- export record
  dblp key:
  - conf/ekaw/MossburgerBDE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ekaw/MossburgerBDE16
Andreas Moßburger, Harald Beck, Minh Dao-Tran, Thomas Eiter:
A Benchmarking Framework for Stream Processors. EKAW (Satellite Events) 2016: 153-157
[c228]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/gi/Eiter16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/Eiter16
Thomas Eiter:
Artificial intelligence at the gates of dawn? GI-Jahrestagung 2016: 37-38
[c227]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BeckDE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BeckDE16
Harald Beck, Minh Dao-Tran, Thomas Eiter:
Equivalent Stream Reasoning Programs. IJCAI 2016: 929-935
[c226]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterKRW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterKRW16
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl:
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. IJCAI 2016: 1058-1065
[c225]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EiterK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EiterK16
Thomas Eiter, Tobias Kaminski:
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. JELIA 2016: 223-239
[c224]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/SaribaturE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/SaribaturE16
Zeynep G. Saribatur, Thomas Eiter:
Reactive Policies with Planning for Action Languages. JELIA 2016: 463-480
[c223]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BeckBDEHS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BeckBDEHS16
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin:
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks. JELIA 2016: 522-528
[c222]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/EiterLP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterLP16
Thomas Eiter, Thomas Lukasiewicz, Livia Predoiu:
Generalized Consistent Query Answering under Existential Rules. KR 2016: 359-368
[c221]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/EiterPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/EiterPS16
Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider:
Towards Spatial Ontology-Mediated Query Answering over Mobility Streams. SR+SWIT@ISWC 2016: 13-24
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SaribaturE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SaribaturE16
Zeynep G. Saribatur, Thomas Eiter:
Reactive Policies with Planning for Action Languages. CoRR abs/1603.09495 (2016)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BeckBDEHS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeckBDEHS16
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin:
Stream Reasoning-Based Control of Caching Strategies in CCN Routers. CoRR abs/1610.04005 (2016)
2015
[j100]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/Dao-TranEFK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/Dao-TranEFK15
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Distributed Evaluation of Nonmonotonic Multi-context Systems. J. Artif. Intell. Res. 52: 543-600 (2015)
[j99]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterT15
Thomas Eiter, Francesca Toni:
Introduction to the 31st International Conference on Logic Programming special issue. Theory Pract. Log. Program. 15(4-5): 413-418 (2015)
[c220]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BeckDEF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BeckDEF15
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink:
LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. AAAI 2015: 1431-1438
[c219]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/EiterSTW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/EiterSTW14
Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran:
A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 1-16
[c218]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/EiterFW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/EiterFW14
Thomas Eiter, Michael Fink, Antonius Weinzierl:
Preference-Based Diagnosis Selection in Multi-Context Systems. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 233-248
[c217]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BeckDE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BeckDE15
Harald Beck, Minh Dao-Tran, Thomas Eiter:
Answer Update for Rule-Based Stream Reasoning. IJCAI 2015: 2741-2747
[c216]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/FeierE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/FeierE15
Cristina Feier, Thomas Eiter:
Reasoning with Forest Logic Programs Using Fully Enriched Automata. JOWO@IJCAI 2015
[c215]
- view
  authority control:
- export record
  dblp key:
  - conf/jist/Dao-TranBE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jist/Dao-TranBE15
Minh Dao-Tran, Harald Beck, Thomas Eiter:
Contrasting RDF Stream Processing Semantics. JIST 2015: 289-298
[c214]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ki/Dao-TranBE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Dao-TranBE15
Minh Dao-Tran, Harald Beck, Thomas Eiter:
Towards Comparing RDF Stream Processing Semantics. HiDeSt@KI 2015: 15-27
[c213]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterS15
Thomas Eiter, Mantas Simkus:
Linking Open-World Knowledge Bases Using Nonmonotonic Rules. LPNMR 2015: 294-308
[c212]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/FeierE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/FeierE15
Cristina Feier, Thomas Eiter:
Reasoning with Forest Logic Programs Using Fully Enriched Automata. LPNMR 2015: 346-353
[c211]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/EiterPSSX15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/EiterPSSX15
Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus, Guohui Xiao:
A Rule-based Framework for Creating Instance Data from OpenStreetMap. RR 2015: 93-104
[e13]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2014brewka
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2014brewka
Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran:
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9060, Springer 2015, ISBN 978-3-319-14725-3 [contents]
[e12]
- view
- export record
  dblp key:
  - conf/iclp/2015tc
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/2015tc
Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni:
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. CEUR Workshop Proceedings 1433, CEUR-WS.org 2015 [contents]
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BeckDEF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeckDEF15
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink:
Towards Ideal Semantics for Analyzing Stream Reasoning. CoRR abs/1505.05365 (2015)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/EiterFIKRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EiterFIKRS15
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller:
A model building framework for Answer Set Programming with external computations. CoRR abs/1507.01451 (2015)
2014
[j98]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ai/ShenWEFRKD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ShenWEFRKD14
Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng:
FLP answer set semantics without circular justifications for general logic programs. Artif. Intell. 213: 1-41 (2014)
[j97]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterFSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterFSW14
Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl:
Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216: 233-274 (2014)
[j96]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CalvaneseEO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CalvaneseEO14
Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
Answering regular path queries in expressive Description Logics via alternating tree-automata. Inf. Comput. 237: 12-55 (2014)
[j95]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/EiterFKRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/EiterFKRS14
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Efficient HEX-Program Evaluation Based on Unfounded Sets. J. Artif. Intell. Res. 49: 269-321 (2014)
[c210]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/EiterFR014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EiterFR014
Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova:
Exploiting Support Sets for Answer Set Programs with External Evaluations. AAAI 2014: 1041-1048
[c209]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/BozzatoES14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/BozzatoES14
Loris Bozzato, Thomas Eiter, Luciano Serafini:
Defeasibility in Contextual Reasoning with CKR. CILC 2014: 132-146
[c208]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BozzatoES14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BozzatoES14
Loris Bozzato, Thomas Eiter, Luciano Serafini:
Contextualized Knowledge Repositories with Justifiable Exceptions. Description Logics 2014: 112-123
[c207]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/EiterF014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/EiterF014
Thomas Eiter, Michael Fink, Daria Stepanova:
Towards Practical Deletion Repair of Inconsistent DL-programs. Description Logics 2014: 169-180
[c206]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/EiterF014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/EiterF014
Thomas Eiter, Michael Fink, Daria Stepanova:
Towards Practical Deletion Repair of Inconsistent DL-programs. ECAI 2014: 285-290
[c205]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EiterF014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EiterF014
Thomas Eiter, Michael Fink, Daria Stepanova:
Computing Repairs for Inconsistent DL-programs over EL Ontologies. JELIA 2014: 426-441
[c204]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/AmendolaEL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/AmendolaEL14
Giovanni Amendola, Thomas Eiter, Nicola Leone:
Modular Paracoherent Answer Sets. JELIA 2014: 457-471
[c203]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BaazEV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BaazEV14
Matthias Baaz, Thomas Eiter, Helmut Veith:
Vienna Summer of Logic. KR 2014
[c202]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ore/EiterSSX14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ore/EiterSSX14
Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao:
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners. ORE 2014: 51-57
[e11]
- view
- export record
  dblp key:
  - conf/kr/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/2014
Chitta Baral, Giuseppe De Giacomo, Thomas Eiter:
Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press 2014, ISBN 978-1-57735-657-8 [contents]
2013
[j94]
- view
  authority control:
- export record
  dblp key:
  - journals/ia/EiterG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ia/EiterG13
Thomas Eiter, Georg Gottlob:
Marco Cadoli's work on nonmonotonic reasoning. Intelligenza Artificiale 7(1): 7-17 (2013)
[j93]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/EiterFPTW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/EiterFPTW13
Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran:
Model-based recasting in answer-set programming. J. Appl. Non Class. Logics 23(1-2): 75-104 (2013)
[j92]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterEEF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterEEF13
Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink:
Finding similar/diverse solutions in answer set programming. Theory Pract. Log. Program. 13(3): 303-359 (2013)
[c201]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/EiterFKR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EiterFKR13
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Liberal Safety for Answer Set Programs with External Sources. AAAI 2013: 267-275
[c200]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esws/EiterKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esws/EiterKS13
Thomas Eiter, Thomas Krennwallner, Patrik Schneider:
Lightweight Spatial Conjunctive Query Answering Using Keywords. ESWC 2013: 243-258
[c199]
- view
- export record
  dblp key:
  - conf/ijcai/EiterF013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterF013
Thomas Eiter, Michael Fink, Daria Stepanova:
Data Repair of Inconsistent DL-Programs. IJCAI 2013: 869-876
[c198]
- view
  authority control:
- export record
  dblp key:
  - conf/inap/EiterFKR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/EiterFKR13
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
hex-Programs with Existential Quantification. KDPD 2013: 99-117
[c197]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/AnticEF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/AnticEF13
Christian Antic, Thomas Eiter, Michael Fink:
Hex Semantics via Approximation Fixpoint Theory. LPNMR 2013: 102-115
[c196]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/EiterF013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/EiterF013
Thomas Eiter, Michael Fink, Daria Stepanova:
Inconsistency Management for Description Logic Programs and Beyond. RR 2013: 1-3
[c195]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/WangEYYS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/WangEYYS13
Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen:
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. RR 2013: 168-182
[e10]
- view
- export record
  dblp key:
  - conf/dlog/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/2013
Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch:
Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. CEUR Workshop Proceedings 1014, CEUR-WS.org 2013 [contents]
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1301-0566
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-0566
Thomas Eiter, Thomas Lukasiewicz:
Causes and Explanations in the Structural-Model Approach: Tractable Cases. CoRR abs/1301.0566 (2013)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1301-1390
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-1390
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Eliminating Unfounded Set Checking for HEX-Programs. CoRR abs/1301.1390 (2013)
2012
[j91]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/EiterOS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/EiterOS12
Thomas Eiter, Magdalena Ortiz, Mantas Simkus:
Conjunctive query answering in the description logic SH using knots. J. Comput. Syst. Sci. 78(1): 47-85 (2012)
[j90]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterFKR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterFKR12
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Conflict-driven ASP solving with external sources. Theory Pract. Log. Program. 12(4-5): 659-679 (2012)
[c194]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/BeckEK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BeckEK12
Harald Beck, Thomas Eiter, Thomas Krennwallner:
Inconsistency Management for Traffic Regulations. Semantic Cities @ AAAI 2012
[c193]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/EiterOSTX12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EiterOSTX12
Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao:
Query Rewriting for Horn-SHIQ Plus Rules. AAAI 2012: 726-733
[c192]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/EiterFF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/EiterFF12
Thomas Eiter, Cristina Feier, Michael Fink:
Simulating Production Rules Using ACTHEX. Correct Reasoning 2012: 211-228
[c191]
- view
  authority control:
- export record
  dblp key:
  - conf/csemws/XiaoEH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csemws/XiaoEH12
Guohui Xiao, Thomas Eiter, Stijn Heymans:
The DReW System for Nonmonotonic DL-Programs. CSWS 2012: 383-390
[c190]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/EiterOSTX12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/EiterOSTX12
Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao:
Towards Practical Query Answering for Horn-SHIQ. Description Logics 2012
[c189]
- view
  authority control:
- export record
  dblp key:
  - conf/foiks/EiterKSX12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foiks/EiterKSX12
Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao:
Uniform Evaluation of Nonmonotonic DL-Programs. FoIKS 2012: 1-22
[c188]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BeckEK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BeckEK12
Harald Beck, Thomas Eiter, Thomas Krennwallner:
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. JELIA 2012: 80-93
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EiterFKRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EiterFKRS12
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Exploiting Unfounded Sets for HEX-Program Evaluation. JELIA 2012: 160-175
[c186]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/Dao-TranEFWW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/Dao-TranEFWW12
Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl:
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. JELIA 2012: 480-483
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/AntoniouEW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/AntoniouEW12
Grigoris Antoniou, Thomas Eiter, Kewen Wang:
Forgetting for Defeasible Logic. LPAR 2012: 77-91
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/EiterFS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/EiterFS12
Thomas Eiter, Michael Fink, Daria Stepanova:
Semantic Independence in DL-Programs. RR 2012: 58-74
[c183]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/PhuocDPBEF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/PhuocDPBEF12
Danh Le Phuoc, Minh Dao-Tran, Minh-Duc Pham, Peter A. Boncz, Thomas Eiter, Michael Fink:
Linked Stream Data Processing Engines: Facts and Figures. ISWC (2) 2012: 300-312
[c182]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/womo/Eiter12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/womo/Eiter12
Thomas Eiter:
Distribution and Modularity in Nonmonotonic Logic Programming. WoMO 2012
[e9]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/kr/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/2012
Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith:
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press 2012, ISBN 978-1-57735-560-1 [contents]
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/rweb/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rweb/2012
Thomas Eiter, Thomas Krennwallner:
Reasoning Web. Semantic Technologies for Advanced Query Answering - 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings. Lecture Notes in Computer Science 7487, Springer 2012, ISBN 978-3-642-33157-2 [contents]
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1210-1649
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-1649
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Conflict-driven ASP Solving with External Sources. CoRR abs/1210.1649 (2012)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1212-2461
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-2461
Thomas Eiter, Thomas Lukasiewicz:
Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories. CoRR abs/1212.2461 (2012)
2011
[j89]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/BrewkaET11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/BrewkaET11
Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski:
Answer set programming at a glance. Commun. ACM 54(12): 92-103 (2011)
[j88]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/EiterILS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/EiterILS11
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer:
Well-founded semantics for description logic programs in the semantic web. ACM Trans. Comput. Log. 12(2): 11:1-11:41 (2011)
[j87]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BruijnEPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BruijnEPT11
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits:
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination. ACM Trans. Comput. Log. 12(3): 20:1-20:39 (2011)
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BrewkaEF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BrewkaEF11
Gerhard Brewka, Thomas Eiter, Michael Fink:
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 233-258
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/BrewkaEFW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BrewkaEFW11
Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl:
Managed Multi-Context Systems. IJCAI 2011: 786-791
[c179]
- view
  authority control:
- export record
  dblp key:
  - conf/inap/EiterFIS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/EiterFIS11
Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller:
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. INAP/WLP 2011: 3-26
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/inap/EiterKR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/EiterKR11
Thomas Eiter, Thomas Krennwallner, Christoph Redl:
HEX-Programs with Nested Program Calls. INAP/WLP 2011: 269-278
[c177]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lpnmr/Eiter11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Eiter11
Thomas Eiter:
Nonmonotonic Multi-Context Systems in Dynamic Environments. Log-IC@LPNMR 2011: 5
[c176]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lpnmr/Dao-TranEFK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Dao-TranEFK11
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Model Streaming for Distributed Multi-Context Systems. Log-IC@LPNMR 2011: 11-22
[c175]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lpnmr/EiterFIS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterFIS11
Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller:
Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. Log-IC@LPNMR 2011: 23-35
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/DrescherEFKW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/DrescherEFKW11
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh:
Symmetry Breaking for Distributed Multi-Context Systems. LPNMR 2011: 26-39
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterFIKS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterFIKS11
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller:
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR 2011: 93-106
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterFS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterFS11
Thomas Eiter, Michael Fink, Peter Schüller:
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. LPNMR 2011: 107-119
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/RedlEK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/RedlEK11
Christoph Redl, Thomas Eiter, Thomas Krennwallner:
Declarative Belief Set Merging Using Merging Plans. PADL 2011: 99-114
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/XiaoE11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/XiaoE11
Guohui Xiao, Thomas Eiter:
Inline Evaluation of Hybrid Knowledge Bases - PhD Description. RR 2011: 300-305
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1104-3931
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-3931
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh:
Symmetry Breaking for Distributed Multi-Context Systems. CoRR abs/1104.3931 (2011)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1106-5257
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-5257
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning Under Action Costs. CoRR abs/1106.5257 (2011)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1108-3260
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-3260
Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink:
Finding Similar/Diverse Solutions in Answer Set Programming. CoRR abs/1108.3260 (2011)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1108-5626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-5626
Thomas Eiter, Thomas Krennwallner, Christoph Redl:
Nested HEX-Programs. CoRR abs/1108.5626 (2011)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1111-1486
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-1486
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter:
Embedding Description Logic Programs into Default Logic. CoRR abs/1111.1486 (2011)
2010
[j86]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterEFS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterEFS10
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Updating action domain descriptions. Artif. Intell. 174(15): 1172-1221 (2010)
[j85]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/EiterS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/EiterS10
Thomas Eiter, Mantas Simkus:
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols. ACM Trans. Comput. Log. 11(2): 14:1-14:50 (2010)
[c169]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/EiterFM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EiterFM10
Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa:
Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. AAAI 2010: 303-308
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/EiterGS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/EiterGS10
Thomas Eiter, Georg Gottlob, Thomas Schwentick:
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey. Fields of Logic and Computation 2010: 227-250
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/datalog/Dao-TranEFK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/datalog/Dao-TranEFK10
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
First-Order Encodings for Modular Nonmonotonic Datalog Programs. Datalog 2010: 59-77
[c166]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BienvenuELOS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BienvenuELOS10
Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
Query Answering in the Description Logic S. Description Logics 2010
[c165]
- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/HeymansEX10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/HeymansEX10
Stijn Heymans, Thomas Eiter, Guohui Xiao:
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. ECAI 2010: 35-40
[c164]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esws/PuhrerHE10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esws/PuhrerHE10
Jörg Pührer, Stijn Heymans, Thomas Eiter:
Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. ESWC (1) 2010: 183-197
[c163]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip12/VicovacREER10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip12/VicovacREER10
Tanja Vicovac, Alexander Reiterer, Uwe Egly, Thomas Eiter, Dirk Rieke-Zapp:
Knowledge-Based Geo-risk Assessment for an Intelligent Measurement System. IFIP AI 2010: 215-224
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BairakdarDEFK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BairakdarDEFK10
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Decomposition of Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 24-37
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EiterFW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EiterFW10
Thomas Eiter, Michael Fink, Antonius Weinzierl:
Preference-Based Inconsistency Assessment in Multi-Context Systems. JELIA 2010: 143-155
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BairakdarDEFK10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BairakdarDEFK10a
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 352-355
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BoglEFS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BoglEFS10
Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller:
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. JELIA 2010: 356-359
[c158]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/Dao-TranEFK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/Dao-TranEFK10
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Distributed Nonmonotonic Multi-Context Systems. KR 2010
[c157]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/EiterFM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterFM10
Thomas Eiter, Michael Fink, João Moura:
Paracoherent Answer Set Programming. KR 2010
[c156]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/EiterFSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterFSW10
Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl:
Finding Explanations of Inconsistency in Multi-Context Systems. KR 2010
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/webi/HeymansKEPE10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webi/HeymansKEPE10
Stijn Heymans, Roman Korf, Michael Erdmann, Jörg Pührer, Thomas Eiter:
F-Logic#: Loosely Coupling F-Logic Rules and Ontologies. Web Intelligence 2010: 248-255
[c154]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wwv/Eiter10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wwv/Eiter10
Thomas Eiter:
Answer Set Programming in a Nutshell. WWV 2010: 1

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/Dao-TranEK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/Dao-TranEK09
Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner:
Realizing Default Logic over Description Logic Knowledge Bases. ECSQARU 2009: 602-613
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/EiterBDFIK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/EiterBDFIK09
Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner:
Combining Nonmonotonic Knowledge Bases with External Sources. FroCoS 2009: 18-42
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/Dao-TranEFK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Dao-TranEFK09
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Modular Nonmonotonic Logic Programming Revisited. ICLP 2009: 145-159
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/EiterEEF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/EiterEEF09
Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink:
Finding Similar or Diverse Solutions in Answer Set Programming. ICLP 2009: 342-356
[c149]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/CalvaneseEO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CalvaneseEO09
Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
Regular Path Queries in Expressive Description Logics with Nominals. IJCAI 2009: 714-720
[c148]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterFK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterFK09
Thomas Eiter, Michael Fink, Thomas Krennwallner:
Decomposition of Declarative Knowledge Bases with External Functions. IJCAI 2009: 752-758
[c147]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterLOS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterLOS09
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
Query Answering in Description Logics with Transitive Roles. IJCAI 2009: 759-764
[c146]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterS09
Thomas Eiter, Mantas Simkus:
Bidirectional Answer Set Programs with Function Symbols. IJCAI 2009: 765-771
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/BrewkaE09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/BrewkaE09
Gerhard Brewka, Thomas Eiter:
Argumentation Context Systems: A Framework for Abstract Group Argumentation. LPNMR 2009: 44-57
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Dao-TranEFK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Dao-TranEFK09
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. LPNMR 2009: 87-100
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/BrewkaE09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/BrewkaE09a
Gerhard Brewka, Thomas Eiter:
From Data Integration towards Knowledge Mediation. LPNMR 2009: 610-612
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/HeymansFE09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/HeymansFE09
Stijn Heymans, Cristina Feier, Thomas Eiter:
A Reasoner for Simple Conceptual Logic Programs. RR 2009: 55-70
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/rweb/EiterIK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rweb/EiterIK09
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner:
Answer Set Programming: A Primer. Reasoning Web 2009: 40-110
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/EiterLOS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/EiterLOS09
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
Query Answering in Description Logics: The Knots Approach. WoLLIC 2009: 26-36
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/DrabentEIKLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/DrabentEIKLM09
Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski:
Hybrid Reasoning with Rules and Ontologies. REWERSE 2009: 1-49
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/rweb/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rweb/2009
Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt:
Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures. Lecture Notes in Computer Science 5689, Springer 2009, ISBN 978-3-642-03753-5 [contents]
2008
[j84]
- view
  authority control:
- export record
  dblp key:
  - journals/aes/ReitererEEK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aes/ReitererEEK08
Alexander Reiterer, Uwe Egly, Thomas Eiter, Heribert Kahmen:
A knowledge-based videotheodolite measurement system for object representation/monitoring. Adv. Eng. Softw. 39(10): 821-827 (2008)
[j83]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BaralEBN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BaralEBN08
Chitta Baral, Thomas Eiter, Marcus Bjäreland, Mutsumi Nakamura:
Maintenance goals of agents in a dynamic environment: Formulation and policy construction. Artif. Intell. 172(12-13): 1429-1469 (2008)
[j82]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterILST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterILST08
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits:
Combining answer set programming with description logics for the Semantic Web. Artif. Intell. 172(12-13): 1495-1539 (2008)
[j81]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterW08
Thomas Eiter, Kewen Wang:
Semantic forgetting in answer set programming. Artif. Intell. 172(14): 1644-1672 (2008)
[j80]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/EiterIKS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/EiterIKS08
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer:
Exploiting conjunctive queries in description logic programs. Ann. Math. Artif. Intell. 53(1-4): 115-152 (2008)
[j79]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dam/EiterMG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dam/EiterMG08
Thomas Eiter, Kazuhisa Makino, Georg Gottlob:
Computational aspects of monotone dualization: A brief survey. Discret. Appl. Math. 156(11): 2035-2049 (2008)
[j78]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/japll/EiterEF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/EiterEF08
Thomas Eiter, Esra Erdem, Wolfgang Faber:
Undoing the effects of action sequences. J. Appl. Log. 6(3): 380-415 (2008)
[j77]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/OrtizCE08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/OrtizCE08
Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
Data Complexity of Query Answering in Expressive Description Logics via Tableaux. J. Autom. Reason. 41(1): 61-98 (2008)
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/tods/EiterFGL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/EiterFGL08
Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo:
Repair localization for query answering from inconsistent databases. ACM Trans. Database Syst. 33(2): 10:1-10:51 (2008)
[c139]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/OrtizSE08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/OrtizSE08
Magdalena Ortiz, Mantas Simkus, Thomas Eiter:
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. AAAI 2008: 504-510
[c138]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/EiterFS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EiterFS08
Thomas Eiter, Michael Fink, Ján Senko:
Error Classification in Action Descriptions: A Heuristic Approach. AAAI 2008: 905-910
[c137]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/OrtizSE08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/OrtizSE08
Magdalena Ortiz, Mantas Simkus, Thomas Eiter:
Conjunctive Query Answering in SH using Knots. Description Logics 2008
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/EiterM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/EiterM08
Thomas Eiter, Kazuhisa Makino:
New Results for Horn Cores and Envelopes of Horn Disjunctions. ECAI 2008: 60-64
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/Eiter08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Eiter08
Thomas Eiter:
SMS and ASP: Hype or TST?. ICLP 2008: 77-82
[c134]
- view
  - electronic edition @ unl.edu (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/isaim/EiterKSI08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isaim/EiterKSI08
Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni:
Exploiting Conjunctive Queries in Description Logic Programs. ISAIM 2008
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EiterGOS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EiterGOS08
Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus:
Query Answering in the Description Logic Horn-. JELIA 2008: 166-179
[c132]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BruijnET08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BruijnET08
Jos de Bruijn, Thomas Eiter, Hans Tompits:
Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic. KR 2008: 485-495
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/EiterOS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/EiterOS08
Thomas Eiter, Magdalena Ortiz, Mantas Simkus:
Reasoning Using Knots. LPAR 2008: 377-390
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/rweb/EiterIKP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rweb/EiterIKP08
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres:
Rules and Ontologies for the Semantic Web. Reasoning Web 2008: 1-53
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0811-0359
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0811-0359
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits:
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination. CoRR abs/0811.0359 (2008)
2007
[j75]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/EiterEFS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/EiterEFS07
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Comparing action descriptions based on semantic preferences. Ann. Math. Artif. Intell. 50(3-4): 273-304 (2007)
[j74]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/EiterFFW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/EiterFFW07
Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran:
Complexity results for answer set programming with bounded predicate arities and implications. Ann. Math. Artif. Intell. 51(2-4): 123-165 (2007)
[j73]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/EiterEFS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/EiterEFS07
Thomas Eiter, Esra Erdem, Wolfgang Faber, Ján Senko:
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. Fundam. Informaticae 79(1-2): 25-69 (2007)
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/EiterM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/EiterM07
Thomas Eiter, Kazuhisa Makino:
On computing all abductive explanations from a propositional Horn theory. J. ACM 54(5): 24 (2007)
[j71]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EiterL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EiterL07
Thomas Eiter, Leonid Libkin:
Preface. Theor. Comput. Sci. 371(3): 147 (2007)
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/EiterFW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/EiterFW07
Thomas Eiter, Michael Fink, Stefan Woltran:
Semantical characterizations and complexity of equivalences in answer set programming. ACM Trans. Comput. Log. 8(3): 17 (2007)
[j69]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterFT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterFT07
Thomas Eiter, Michael Fink, Hans Tompits:
A knowledge-based approach for selecting information sources. Theory Pract. Log. Program. 7(3): 249-300 (2007)
[c129]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/BrewkaE07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BrewkaE07
Gerhard Brewka, Thomas Eiter:
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. AAAI 2007: 385-390
[c128]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/CalvaneseEO07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CalvaneseEO07
Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. AAAI 2007: 391-396
[c127]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/EiterIKS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/EiterIKS07
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer:
Exploiting Conjunctive Queries in Description Logic Programs. Description Logics 2007
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/Eiter07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Eiter07
Thomas Eiter:
Answer Set Programming for the Semantic Web. ICLP 2007: 23-26
[c125]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BruijnEPT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BruijnEPT07
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits:
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination. IJCAI 2007: 304-309
[c124]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterFTW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterFTW07
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
Complexity Results for Checking Equivalence of Stratified Logic Programs. IJCAI 2007: 330-335
[c123]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterEF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterEF07
Thomas Eiter, Esra Erdem, Wolfgang Faber:
On Reversing Actions: Algorithms and Complexity. IJCAI 2007: 336-341
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/SimkusE07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/SimkusE07
Mantas Simkus, Thomas Eiter:
\mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols. LPAR 2007: 514-530
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/NieuwenborghEV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/NieuwenborghEV07
Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir:
Conditional Planning with External Functions. LPNMR 2007: 214-227
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/rweb/BryEEFGLLPW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rweb/BryEEFGLLPW07
François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei:
Foundations of Rule-Based Query Answering. Reasoning Web 2007: 1-153
2006
[j68]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterL06
Thomas Eiter, Thomas Lukasiewicz:
Causes and explanations in the structural-model approach: Tractable cases. Artif. Intell. 170(6-7): 542-580 (2006)
[j67]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EiterG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EiterG06
Thomas Eiter, Georg Gottlob:
Reasoning under minimal upper bounds in propositional logic. Theor. Comput. Sci. 369(1-3): 82-115 (2006)
[j66]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/LeonePFEGPS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/LeonePFEGPS06
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello:
The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3): 499-562 (2006)
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/tods/EiterL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/EiterL06
Thomas Eiter, Leonid Libkin:
Introduction to special ICDT section. ACM Trans. Database Syst. 31(3): 769 (2006)
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterP06
Thomas Eiter, Axel Polleres:
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. Theory Pract. Log. Program. 6(1-2): 23-60 (2006)
[c119]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/EiterW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EiterW06
Thomas Eiter, Kewen Wang:
Forgetting and Conflict Resolving in Disjunctive Logic Programming. AAAI 2006: 238-243
[c118]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/OrtizCE06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/OrtizCE06
Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. AAAI 2006: 275-280
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/ChengERSW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/ChengERSW06
Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang:
LPForget: A System of Forgetting in Answer Set Programming. Australian Conference on Artificial Intelligence 2006: 1101-1105
[c116]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/OrtizCE06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/OrtizCE06
Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. Description Logics 2006
[c115]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/EiterEFS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/EiterEFS06
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Resolving Conflicts in Action Descriptions. ECAI 2006: 367-371
[c114]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esws/EiterIST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esws/EiterIST06
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits:
Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. ESWC 2006: 273-287
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/icip/ReitererE06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icip/ReitererE06
Alexander Reiterer, Thomas Eiter:
A Distance-Based Method for the Evaluation of Interest point Detection Algorithms. ICIP 2006: 2745-2748
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EiterEFS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EiterEFS06
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Comparing Action Descriptions Based on Semantic Preferences. JELIA 2006: 124-137
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EiterFS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EiterFS06
Thomas Eiter, Michael Fink, Ján Senko:
A Tool for Answering Queries on Action Descriptions. JELIA 2006: 473-476
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EiterTW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EiterTW06
Thomas Eiter, Patrick Traxler, Stefan Woltran:
An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs. JELIA 2006: 477-480
[c109]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/EiterFTTW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterFTTW06
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran:
Replacements in Non-Ground Answer-Set Programming. KR 2006: 340-351
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/ksem/BruijnEPT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ksem/BruijnEPT06
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits:
On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules. KSEM 2006: 1-22
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/rweb/EiterIPST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rweb/EiterIPST06
Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, Hans Tompits:
Reasoning with Rules and Ontologies. Reasoning Web 2006: 93-127
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/webi/EiterISTW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webi/EiterISTW06
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Kewen Wang:
Forgetting in Managing Rules and Ontologies. Web Intelligence 2006: 411-419
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/webi/EiterIST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webi/EiterIST06
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits:
dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. Web Intelligence 2006: 1073-1074
[c104]
- view
  - electronic edition @ tuwien.ac.at
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/EiterFTTW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/EiterFTTW06
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran:
Replacements in Non-Ground Answer-Set Programming. WLP 2006: 145-153
[c103]
- view
  - electronic edition @ tuwien.ac.at
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/EiterIST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/EiterIST06
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits:
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. WLP 2006: 206-210
[e6]
- view
- export record
  dblp key:
  - conf/ruleml/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/2006
Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens:
Rules and Rule Markup Languages for the Semantic Web, Second International Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006, Proceedings. IEEE Computer Society 2006, ISBN 0-7695-2652-7 [contents]
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0604086
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0604086
Thomas Eiter, Michael Fink, Hans Tompits:
A Knowledge-Based Approach for Selecting Information Sources. CoRR abs/cs/0604086 (2006)
2005
[j63]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/japll/EiterL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/EiterL05
Thomas Eiter, Domenico Lembo:
Preface. J. Appl. Log. 3(1): 251-252 (2005)
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/CadoliEG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/CadoliEG05
Marco Cadoli, Thomas Eiter, Georg Gottlob:
Complexity of propositional nested circumscription and nested abnormality theories. ACM Trans. Comput. Log. 6(2): 232-272 (2005)
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/EiterFST05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/EiterFST05
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Reasoning about evolving nonmonotonic knowledge bases. ACM Trans. Comput. Log. 6(2): 389-440 (2005)
[c102]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/BaralEZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BaralEZ05
Chitta Baral, Thomas Eiter, Jicheng Zhao:
Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains. AAAI 2005: 578-583
[c101]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/EiterFTW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EiterFTW05
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. AAAI 2005: 695-700
[c100]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterIST05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterIST05
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits:
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. IJCAI 2005: 90-96
[c99]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterTW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterTW05
Thomas Eiter, Hans Tompits, Stefan Woltran:
On Solution Correspondences in Answer-Set Programming. IJCAI 2005: 97-102
[c98]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterEFS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterEFS05
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Updating Action Domain Descriptions. IJCAI 2005: 418-423
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Eiter05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Eiter05
Thomas Eiter:
Data Integration and Answer Set Programming. LPNMR 2005: 13-25
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/LeoneEFFGGGKILLLNRRST05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/LeoneEFFGGGKILLLNRRST05
Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina:
Data Integration: a Challenging ASP Application. LPNMR 2005: 379-383
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterFS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterFS05
Thomas Eiter, Michael Fink, Ján Senko:
KMonitor - A Tool for Monitoring Plan Execution in Action Theories. LPNMR 2005: 416-421
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterFT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterFT05
Thomas Eiter, Wolfgang Faber, Patrick Traxler:
Testing Strong Equivalence of Datalog Programs - Implementation and Examples. LPNMR 2005: 437-441
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/rweb/BaumgartnerEGHK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rweb/BaumgartnerEGHK05
Robert Baumgartner, Thomas Eiter, Georg Gottlob, Marcus Herzog, Christoph Koch:
Information Extraction for the Semantic Web. Reasoning Web 2005: 275-289
[c92]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sebd/LeoneEFFGG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/LeoneEFFGG05
Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco:
Boosting Information Integration: The INFOMIX System. SEBD 2005: 55-66
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/LeoneGILTEFFGRLLRKNS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/LeoneGILTEFFGRLLRKNS05
Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis:
The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference 2005: 915-917
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/2005
Thomas Eiter, Leonid Libkin:
Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings. Lecture Notes in Computer Science 3363, Springer 2005, ISBN 3-540-24288-0 [contents]
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0501084
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0501084
Thomas Eiter, Axel Polleres:
Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications. CoRR abs/cs/0501084 (2005)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0502078
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0502078
Thomas Eiter, Michael Fink, Stefan Woltran:
Semantical Characterizations and Complexity of Equivalences in Answer Set Programming. CoRR abs/cs/0502078 (2005)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0507059
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0507059
Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi:
Data complexity of answering conjunctive queries over SHIQ knowledge bases. CoRR abs/cs/0507059 (2005)
2004
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterL04
Thomas Eiter, Thomas Lukasiewicz:
Complexity results for explanations in the structural-model approach. Artif. Intell. 154(1-2): 145-198 (2004)
[j59]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/EiterS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/EiterS04
Thomas Eiter, Klaus-Dieter Schewe:
Preface. Ann. Math. Artif. Intell. 40(1-2): 1-3 (2004)
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/EiterFLPP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/EiterFLPP04
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Trans. Comput. Log. 5(2): 206-263 (2004)
[c90]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aips/BaralE04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/BaralE04
Chitta Baral, Thomas Eiter:
A Polynomial Time Algorithm for Constructing k-Maintainable Policies. ICAPS 2004: 111-121
[c89]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/EiterLST04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterLST04
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits:
Combining Answer Set Programming with Description Logics for the Semantic Web. KR 2004: 141-151
[c88]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/EiterFFPW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterFFPW04
Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran:
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. KR 2004: 377-387
[c87]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/EiterFTW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterFTW04
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
On Eliminating Disjunctions in Stable Logic Programming. KR 2004: 447-458
[c86]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BaralE04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BaralE04
Chitta Baral, Thomas Eiter:
A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. KR 2004: 720-730
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/EiterIST04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/EiterIST04
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits:
Nonmonotonic Description Logic Programs: Implementation and Experiments. LPAR 2004: 511-527
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterFTW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterFTW04
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
Simplifying Logic Programs Under Uniform and Strong Equivalence. LPNMR 2004: 87-99
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterP04
Thomas Eiter, Axel Polleres:
Towards Automated Integration of Guess and Check Programs in Answer Set Programming. LPNMR 2004: 100-113
[c82]
- view
  - electronic edition @ math.ca
  - no references & citations available
- export record
  dblp key:
  - conf/nmr/EiterEF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/EiterEF04
Thomas Eiter, Esra Erdem, Wolfgang Faber:
Plan reversals for recovery in execution monitoring. NMR 2004: 147-154
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/EiterLST04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/EiterLST04
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits:
Well-Founded Semantics for Description Logic Programs in the Semantic Web. RuleML 2004: 81-97
[e4]
- view
- export record
  dblp key:
  - conf/dagstuhl/2004P4171
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2004P4171
Jürgen Dix, Thomas Eiter, Enrico Franconi:
Logic Based Information Agents, 18.04. - 23.04.2004. Dagstuhl Seminar Proceedings 04171, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents]
[i11]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/DixEF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/DixEF04
Jürgen Dix, Thomas Eiter, Enrico Franconi:
04171 Abstracts Collection - Logic Based Information Agents. Logic Based Information Agents 2004
2003
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterFLPP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterFLPP03
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
A logic programming approach to knowledge-state planning, II: The DLV^K system. Artif. Intell. 144(1-2): 157-211 (2003)
[j56]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/DixEFPZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DixEFPZ03
Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang:
Monitoring Agents using Declarative Planning. Fundam. Informaticae 57(2-4): 345-370 (2003)
[j55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/EiterFLPP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/EiterFLPP03
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning Under Action Costs. J. Artif. Intell. Res. 19: 25-71 (2003)
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/EiterGM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/EiterGM03
Thomas Eiter, Georg Gottlob, Kazuhisa Makino:
New Results on Monotone Dualization and Generating Hypergraph Transversals. SIAM J. Comput. 32(2): 514-537 (2003)
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterFLP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterFLP03
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Computing preferred answer sets by meta-interpretation in answer set programming. Theory Pract. Log. Program. 3(4-5): 463-498 (2003)
[c80]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/EiterP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/EiterP03
Thomas Eiter, Axel Polleres:
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation. APPIA-GULP-PRODE 2003: 410-421
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/alt/Eiter03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alt/Eiter03
Thomas Eiter:
Abduction and the Dualization Problem. ALT 2003: 1-2
[c78]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/asp/EiterFFPW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asp/EiterFFPW03
Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran:
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Answer Set Programming 2003
[c77]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/asp/EiterFTW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asp/EiterFTW03
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation. Answer Set Programming 2003
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/EiterM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/EiterM03
Thomas Eiter, Kazuhisa Makino:
Generating All Abductive Explanations for Queries on Propositional Horn Theories. CSL 2003: 197-211
[c75]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/EiterFST03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/EiterFST03
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Declarative Update Policies for Nonmonotonic Knowledge Bases. Logics for Emerging Applications of Databases 2003: 85-129
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/dis/EiterM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dis/EiterM03
Thomas Eiter, Kazuhisa Makino:
Abduction and the Dualization Problem. Discovery Science 2003: 1-20
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/EiterFGL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/EiterFGL03
Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo:
Efficient Evaluation of Logic Programs for Querying Data Integration Systems. ICLP 2003: 163-177
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/EiterF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/EiterF03
Thomas Eiter, Michael Fink:
Uniform Equivalence of Logic Programs under the Stable Model Semantics. ICLP 2003: 224-238
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/DixEFPZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/DixEFPZ03
Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang:
Monitoring Agents Using Declarative Planning. KI 2003: 646-660
[c70]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/EiterL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/EiterL03
Thomas Eiter, Thomas Lukasiewicz:
Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories. UAI 2003: 192-199
2002
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterL02
Thomas Eiter, Thomas Lukasiewicz:
Complexity results for structure-based causality. Artif. Intell. 142(1): 53-89 (2002)
[j51]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/aicom/EiterM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/EiterM02
Thomas Eiter, Viviana Mascardi:
Comparing environments for developing software agents. AI Commun. 15(4): 169-197 (2002)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/EiterIM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/EiterIM02
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino:
Recognition and dualization of disguised bidual Horn functions. Inf. Process. Lett. 82(6): 283-291 (2002)
[j49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EiterIM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EiterIM02
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino:
Decision lists and related Boolean functions. Theor. Comput. Sci. 270(1-2): 493-524 (2002)
[j48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EiterV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EiterV02
Thomas Eiter, Helmut Veith:
On the complexity of data disjunctions. Theor. Comput. Sci. 288(1): 101-128 (2002)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterFST02a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterFST02a
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Using Methods of Declarative Logic Programming for Intelligent Information Agents. Theory Pract. Log. Program. 2(6): 645-709 (2002)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterFST02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterFST02
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
On Properties of Update Sequences Based on Causal Rejection. Theory Pract. Log. Program. 2(6): 711-767 (2002)
[c69]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/EiterM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EiterM02
Thomas Eiter, Kazuhisa Makino:
On Computing all Abductive Explanations. AAAI/IAAI 2002: 62-67
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/EiterMS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/EiterMS02
Thomas Eiter, Viviana Mascardi, V. S. Subrahmanian:
Error-Tolerant Agents. Computational Logic: Logic Programming and Beyond 2002: 586-625
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EiterFLPP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EiterFLPP02
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning under Action Costs. JELIA 2002: 186-197
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/LeonePFCDEGIIKPP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/LeonePFCDEGIIKPP02
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres:
The DLV System. JELIA 2002: 537-540
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EiterFLPP02a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EiterFLPP02a
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
The DLV^K Planning System: Progress Report. JELIA 2002: 541-544
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EiterG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EiterG02
Thomas Eiter, Georg Gottlob:
Hypergraph Transversal Computation and Related Problems in Logic and AI. JELIA 2002: 549-564
[c63]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/EiterL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterL02
Thomas Eiter, Thomas Lukasiewicz:
Complexity Results for Explanations in the Structural-Model Approach. KR 2002: 49-60
[c62]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/EiterFST02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterFST02
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
A Generic Approach for Knowledge-Based Information-Site Selection. KR 2002: 459-469
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/EiterGM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/EiterGM02
Thomas Eiter, Georg Gottlob, Kazuhisa Makino:
New results on monotone dualization and generating hypergraph transversals. STOC 2002: 14-22
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/EiterKTW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/EiterKTW02
Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran:
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. TABLEAUX 2002: 100-114
[c59]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/EiterL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/EiterL02
Thomas Eiter, Thomas Lukasiewicz:
Causes and Explanations in the Structural-Model Approach : Tractable Cases. UAI 2002: 146-153
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/foiks/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foiks/2002
Thomas Eiter, Klaus-Dieter Schewe:
Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002, Proceedings. Lecture Notes in Computer Science 2284, Springer 2002, ISBN 3-540-43220-5 [contents]
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0207072
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0207072
Marco Cadoli, Thomas Eiter, Georg Gottlob:
Complexity of Nested Circumscription and Nested Abnormality Theories. CoRR cs.AI/0207072 (2002)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0209019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0209019
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Reasoning about Evolving Nonmonotonic Knowledge Bases. CoRR cs.AI/0209019 (2002)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0211004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0211004
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello:
The DLV System for Knowledge Representation and Reasoning. CoRR cs.AI/0211004 (2002)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-DS-0204009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-DS-0204009
Thomas Eiter, Georg Gottlob, Kazuhisa Makino:
New Results on Monotone Dualization and Generating Hypergraph Transversals. CoRR cs.DS/0204009 (2002)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0201013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0201013
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming. CoRR cs.LO/0201013 (2002)
2001
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/EiterLW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/EiterLW01
Thomas Eiter, Thomas Lukasiewicz, Michael Walter:
A data model and algebra for probabilistic complex values. Ann. Math. Artif. Intell. 33(2-4): 205-252 (2001)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/DantsinEGV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/DantsinEGV01
Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov:
Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3): 374-425 (2001)
[j43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/BuccafurriEGL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/BuccafurriEGL01
Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone:
On ACTL Formulas Having Linear Counterexamples. J. Comput. Syst. Sci. 62(3): 463-515 (2001)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/EiterIM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/EiterIM01
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino:
Disjunctions of Horn Theories and Their Cores. SIAM J. Comput. 31(1): 269-288 (2001)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/tods/EiterLLS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/EiterLLS01
Thomas Eiter, James J. Lu, Thomas Lukasiewicz, V. S. Subrahmanian:
Probabilistic object bases. ACM Trans. Database Syst. 26(3): 264-312 (2001)
[c58]
- view
  - electronic edition @ nmsu.edu (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/asp/EglyEKTW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asp/EglyEKTW01
Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran:
Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results. Answer Set Programming 2001
[c57]
- view
  - electronic edition @ nmsu.edu (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/asp/EiterFLP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asp/EiterFLP01
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. Answer Set Programming 2001
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/dawak/EiterVMS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dawak/EiterVMS01
Thomas Eiter, Daniel Veit, Jörg P. Müller, Martin Schneider:
Matchmaking for Structured Objects. DaWaK 2001: 186-194
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/dlt/EiterGS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlt/EiterGS01
Thomas Eiter, Georg Gottlob, Thomas Schwentick:
Second-Order Logic over Strings: Regular and Non-regular Fragments. Developments in Language Theory 2001: 37-56
[c54]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterL01
Thomas Eiter, Thomas Lukasiewicz:
Complexity Results for Structure-Based Causality. IJCAI 2001: 35-42
[c53]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/CadoliEG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CadoliEG01
Marco Cadoli, Thomas Eiter, Georg Gottlob:
Complexity of Nested Circumscription and Abnormality Theories. IJCAI 2001: 169-174
[c52]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterFST01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterFST01
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
A Framework for Declarative Update Specifications in Logic Programs. IJCAI 2001: 649-654
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/EiterFST01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/EiterFST01
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Reasoning about Evolving Nonmonotonic Knowledge Bases. LPAR 2001: 407-421
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterFST01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterFST01
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
An Update Front-End for Extended Logic Programs. LPNMR 2001: 397-401
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterFLPP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterFLPP01
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
System Description: The DLV^K Planning System. LPNMR 2001: 429-433
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/2001
Franz Baader, Gerhard Brewka, Thomas Eiter:
KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings. Lecture Notes in Computer Science 2174, Springer 2001, ISBN 3-540-42612-4 [contents]
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/2001
Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski:
Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings. Lecture Notes in Computer Science 2173, Springer 2001, ISBN 3-540-42593-4 [contents]
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0109006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0109006
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
On Properties of Update Sequences Based on Causal Rejection. CoRR cs.AI/0109006 (2001)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0112006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0112006
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity. CoRR cs.AI/0112006 (2001)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-MA-0108008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-MA-0108008
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Using Methods of Declarative Logic Programming for Intelligent Information Agents. CoRR cs.MA/0108008 (2001)
2000
[b1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/mit/Subrahmanian2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mit/Subrahmanian2000
V. S. Subrahmanian, Piero A. Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert B. Ross:
Heterogenous Active Agents. MIT Press 2000, ISBN 0-262-19436-8
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterSR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterSR00
Thomas Eiter, V. S. Subrahmanian, Timothy J. Rogers:
Heterogeneous active agents, III: Polynomially implementable agents. Artif. Intell. 117(1): 107-167 (2000)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterL00
Thomas Eiter, Thomas Lukasiewicz:
Default reasoning from conditional knowledge bases: Complexity and tractable cases. Artif. Intell. 124(2): 169-241 (2000)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcm/EiterG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcm/EiterG00
Thomas Eiter, Georg Gottlob:
Complexity results for some eigenvector problems. Int. J. Comput. Math. 76(1): 59-74 (2000)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/EiterGG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/EiterGG00
Thomas Eiter, Yuri Gurevich, Georg Gottlob:
Existential second-order logic over strings. J. ACM 47(1): 77-131 (2000)
[j36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/EiterIM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/EiterIM00
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino:
On the Difference of Horn Theories. J. Comput. Syst. Sci. 61(3): 478-507 (2000)
[c48]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/EglyETW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EglyETW00
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran:
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas. AAAI/IAAI 2000: 417-422
[c47]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/BrewkaE00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BrewkaE00
Gerhard Brewka, Thomas Eiter:
Prioritizing Default Logic. Intellectics and Computational Logic 2000: 27-45
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/cl/EiterFLPP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cl/EiterFLPP00
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Planning under Incomplete Knowledge. Computational Logic 2000: 807-821
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/foiks/EiterLW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foiks/EiterLW00
Thomas Eiter, Thomas Lukasiewicz, Michael Walter:
Extension of the Relational Algebra to Probabilistic Complex Values. FoIKS 2000: 94-115
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EiterFST00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EiterFST00
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Considerations on Updates of Logic Programs. JELIA 2000: 2-20
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/EiterL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/EiterL00
Thomas Eiter, Thomas Lukasiewicz:
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases. JELIA 2000: 313-328
[c42]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/EiterL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterL00
Thomas Eiter, Thomas Lukasiewicz:
Complexity Results for Default Reasoning from Conditional Knowledge Bases. KR 2000: 62-73
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/EiterG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/EiterG00
Thomas Eiter, Georg Gottlob:
On the Complexity of Theory Curbing. LPAR 2000: 1-19
[c40]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/EglyEKTW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/EglyEKTW00
Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran:
Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP. WLP 2000: 113-122
[c39]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/EiterFLPP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/EiterFLPP00
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Using the dlv System for Planning and Diagnostic Reasoning. WLP 2000: 125-134
[c38]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/EglyETW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/EglyETW00
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran:
Implementing Default Reasoning Using Quantified Boolean Formulae. WLP 2000: 223-228
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0003036
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0003036
Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer:
DLV - A System for Declarative Problem Solving. CoRR cs.AI/0003036 (2000)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0003037
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0003037
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran:
QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks. CoRR cs.AI/0003037 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterSP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterSP99
Thomas Eiter, V. S. Subrahmanian, George Pick:
Heterogeneous Active Agents, I: Semantics. Artif. Intell. 108(1-2): 179-255 (1999)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterS99
Thomas Eiter, V. S. Subrahmanian:
Heterogeneous Active Agents, II: Algorithms and Complexity. Artif. Intell. 108(1-2): 257-307 (1999)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BrewkaE99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BrewkaE99
Gerhard Brewka, Thomas Eiter:
Preferred Answer Sets for Extended Logic Programs. Artif. Intell. 109(1-2): 297-356 (1999)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterIM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterIM99
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino:
Computing Intersections of Horn Theories for Reasoning with Models. Artif. Intell. 110(1): 57-101 (1999)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BuccafurriEGL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BuccafurriEGL99
Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone:
Enhancing Model Checking in Verification by AI Techniques. Artif. Intell. 112(1-2): 57-104 (1999)
[j30]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/aicom/EiterFLP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/EiterFLP99
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
The Diagnosis Frontend of the dlv System. AI Commun. 12(1-2): 99-111 (1999)
[j29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dam/EiterIM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dam/EiterIM99
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino:
Bidual Horn Functions and Extensions. Discret. Appl. Math. 96-97: 55-88 (1999)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/expert/ArishaORSEK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/expert/ArishaORSEK99
Khaled A. Arisha, Fatma Özcan, Robert B. Ross, V. S. Subrahmanian, Thomas Eiter, Sarit Kraus:
Impact: a platform for collaborating agents. IEEE Intell. Syst. 14(2): 64-72 (1999)
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/EiterIM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/EiterIM99
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino:
On the Difference of Horn Theories. STACS 1999: 467-477
1998
[j27]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/aicom/EiterLS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/EiterLS98
Thomas Eiter, James J. Lu, V. S. Subrahmanian:
A First-Order Representation of Stable Models. AI Commun. 11(1): 53-73 (1998)
[j26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/EiterIM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/EiterIM98
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino:
Double Horn Functions. Inf. Comput. 144(2): 155-190 (1998)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/EiterG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/EiterG98
Thomas Eiter, Georg Gottlob:
On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic. J. Symb. Log. 63(1): 73-82 (1998)
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EiterLS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EiterLS98
Thomas Eiter, Nicola Leone, Domenico Saccà:
Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases. Theor. Comput. Sci. 206(1-2): 181-218 (1998)
[c36]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/EiterIM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EiterIM98
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino:
Computing Intersections of Horn Theories for Reasoning with Models. AAAI/IAAI 1998: 292-297
[c35]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fmldo/EiterS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmldo/EiterS98
Thomas Eiter, V. S. Subrahmanian:
Deontic Action Programs. FMLDO 1998: 37-54
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/fqas/EiterLMPS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fqas/EiterLMPS98
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
Progress Report on the Disjunctive Deductive Database System dlv. FQAS 1998: 148-163
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/isaac/EiterIM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isaac/EiterIM98
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino:
Disjunctions of Horn Theories and Their Cores. ISAAC 1998: 49-58
[c32]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BrewkaE98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BrewkaE98
Gerhard Brewka, Thomas Eiter:
Preferred Answer Sets for Extended Logic Programs. KR 1998: 86-97
[c31]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/EiterLMPS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/EiterLMPS98
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
The KR System dlv: Progress Report, Comparisons and Benchmarks. KR 1998: 406-417
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/EiterGG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/EiterGG98
Thomas Eiter, Georg Gottlob, Yuri Gurevich:
Existential Second-Order Logic over Strings. LICS 1998: 16-27
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/EiterIM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/EiterIM98
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino:
On Disguised Double Horn Functions and Extensions. STACS 1998: 50-60
1997
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/EiterM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/EiterM97
Thomas Eiter, Heikki Mannila:
Distance Measures for Point Sets and their Computation. Acta Informatica 34(2): 109-133 (1997)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterGL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterGL97
Thomas Eiter, Georg Gottlob, Nicola Leone:
Semantics and Complexity of Abduction from Default Theories. Artif. Intell. 90(1-2): 177-223 (1997)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/EiterLS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/EiterLS97
Thomas Eiter, Nicola Leone, Domenico Saccà:
On the Partial Semantics for Disjunctive Deductive Databases. Ann. Math. Artif. Intell. 19(1-2): 59-96 (1997)
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/EiterG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/EiterG97
Thomas Eiter, Georg Gottlob:
Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions. J. Log. Program. 33(2): 167-178 (1997)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/EiterGL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/EiterGL97
Thomas Eiter, Georg Gottlob, Nicola Leone:
On the Indiscernibility of Individuals in Logic Programming. J. Log. Comput. 7(6): 805-824 (1997)
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EiterGL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EiterGL97
Thomas Eiter, Georg Gottlob, Nicola Leone:
Abduction from Logic Programs: Semantics and Complexity. Theor. Comput. Sci. 189(1-2): 129-177 (1997)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tkde/CadoliEG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tkde/CadoliEG97
Marco Cadoli, Thomas Eiter, Georg Gottlob:
Default Logic as a Query Language. IEEE Trans. Knowl. Data Eng. 9(3): 448-463 (1997)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tods/EiterGM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/EiterGM97
Thomas Eiter, Georg Gottlob, Heikki Mannila:
Disjunctive Datalog. ACM Trans. Database Syst. 22(3): 364-418 (1997)
[c28]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/EiterLMPS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/EiterLMPS97
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
The Architecture of a Disjunctive Deductive Database System. APPIA-GULP-PRODE 1997: 141-152
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/coco/DantsinEGV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coco/DantsinEGV97
Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov:
Complexity and Expressive Power of Logic Programming. CCC 1997: 82-101
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/esslli/EiterGV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esslli/EiterGV97
Thomas Eiter, Georg Gottlob, Helmut Veith:
Generalized Quantifiers in Logic Programs. ESSLLI 1997: 72-98
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/EiterG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/EiterG97
Thomas Eiter, Georg Gottlob:
The Complexity Class Theta₂^p: Recent Results and Applications in AI and Modal Logic. FCT 1997: 1-18
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/isaac/EiterIM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isaac/EiterIM97
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino:
Two-Face Horn Extensions. ISAAC 1997: 112-121
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterLS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterLS97
Thomas Eiter, James J. Lu, V. S. Subrahmanian:
Computing Non-Ground Representations of Stable Models. LPNMR 1997: 198-217
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterGV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterGV97
Thomas Eiter, Georg Gottlob, Helmut Veith:
Modular Logic Programming and Generalized Quantifiers. LPNMR 1997: 290-309
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterLMPS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterLMPS97
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
A Deductive System for Non-Monotonic Reasoning. LPNMR 1997: 364-375
[c20]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/CitrignoEFGKLMPS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/CitrignoEFGKLMPS97
Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
The dlv System: Model Generator and Advanced Frontends (system description). WLP 1997
1996
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/EiterGG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/EiterGG96
Thomas Eiter, Georg Gottlob, Yuri Gurevich:
Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems. Ann. Pure Appl. Log. 78(1-3): 111-125 (1996)
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/EiterG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/EiterG96
Thomas Eiter, Georg Gottlob:
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. J. Comput. Syst. Sci. 53(3): 497-512 (1996)
[j13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/ki/EiterG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/EiterG96
Thomas Eiter, Georg Gottlob:
Mächtigkeit von Logikprogrammierung über Datenbanken. Künstliche Intell. 10(3): 32-39 (1996)
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BonattiE96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BonattiE96
Piero A. Bonatti, Thomas Eiter:
Querying Disjunctive Databases Through Nonmonotonic Logics. Theor. Comput. Sci. 160(1&2): 321-363 (1996)
[c19]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/EiterLS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/EiterLS96
Thomas Eiter, Nicola Leone, Domenico Saccà:
Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases. APPIA-GULP-PRODE 1996: 271-282
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/dexa/EiterLS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexa/EiterLS96
Thomas Eiter, Nicola Leone, Domenico Saccà:
Partial Semantics for Disjunctive Deductive Databases. DEXA 1996: 564-573
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/lid/EiterLS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lid/EiterLS96
Thomas Eiter, Nicola Leone, Domenico Saccà:
The Expressive Power of Partial Models in Disjunctive Deductive Databases. Logic in Databases 1996: 245-264
1995
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/Eiter95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Eiter95
Thomas Eiter:
Generating Boolean mu-Expressions. Acta Informatica 32(2): 171-187 (1995)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/EiterG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/EiterG95
Thomas Eiter, Georg Gottlob:
On the Computational Cost of Disjunctive Logic Programming: Propositional Case. Ann. Math. Artif. Intell. 15(3-4): 289-323 (1995)
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dam/EiterKM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dam/EiterKM95
Thomas Eiter, Pekka Kilpeläinen, Heikki Mannila:
Recognizing Renamable Generalized Propositional Horn Formulas Is NP-complete. Discret. Appl. Math. 59(1): 23-31 (1995)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/EiterG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/EiterG95
Thomas Eiter, Georg Gottlob:
The Complexity of Logic-Based Abduction. J. ACM 42(1): 3-42 (1995)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/EiterG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/EiterG95
Thomas Eiter, Georg Gottlob:
Identifying the Minimal Transversals of a Hypergraph and Related Problems. SIAM J. Comput. 24(6): 1278-1304 (1995)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/BonattiE95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/BonattiE95
Piero A. Bonatti, Thomas Eiter:
Querying Disjunctive Database Through Nonmonotonic Logics. ICDT 1995: 68-81
[c15]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterGL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterGL95
Thomas Eiter, Georg Gottlob, Nicola Leone:
Semantics and Complexity of Abduction from Default Theories. IJCAI (1) 1995: 870-877
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterGL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterGL95
Thomas Eiter, Georg Gottlob, Nicola Leone:
Complexity Results for Abductive Logic Programming. LPNMR 1995: 1-14
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/EiterL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/EiterL95
Thomas Eiter, Nicola Leone:
On Modularity Properties of Partial Semantics for Disjunctive Logic Programs. WLP 1995: 217-226
1994
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Eiter94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Eiter94
Thomas Eiter:
Exact Transversal Hypergraphs and Application to Boolean µ-Functions. J. Symb. Comput. 17(3): 215-225 (1994)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/gi/EiterGM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/EiterGM94
Thomas Eiter, Georg Gottlob, Heikki Mannila:
Disjunctive Logic Programming over Finite Structures. GI Jahrestagung 1994: 69-73
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/iski/EiterGM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iski/EiterGM94
Thomas Eiter, Georg Gottlob, Heikki Mannila:
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics. IS/KI 1994: 83-103
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/CadoliEG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CadoliEG94
Marco Cadoli, Thomas Eiter, Georg Gottlob:
Default Logic as a Query Language. KR 1994: 99-108
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/EiterGM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/EiterGM94
Thomas Eiter, Georg Gottlob, Heikki Mannila:
Adding Disjunction to Datalog. PODS 1994: 267-278
1993
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EiterG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EiterG93
Thomas Eiter, Georg Gottlob:
Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete. Theor. Comput. Sci. 114(2): 231-245 (1993)
[c8]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterG93
Thomas Eiter, Georg Gottlob:
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. IJCAI 1993: 526-533
[c7]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EiterGG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EiterGG93
Thomas Eiter, Georg Gottlob, Yuri Gurevich:
Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information. IJCAI 1993: 634-639
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/EiterG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/EiterG93
Thomas Eiter, Georg Gottlob:
Complexity Aspects of Various Semantics for Disjunctive Databases. PODS 1993: 158-167
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/slp/EiterG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/EiterG93
Thomas Eiter, Georg Gottlob:
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics. ILPS 1993: 266-278
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/EiterG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/EiterG93
Thomas Eiter, Georg Gottlob:
The Complexity of Logic-Based Abduction. STACS 1993: 70-79
1992
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/CadoliEG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/CadoliEG92
Marco Cadoli, Thomas Eiter, Georg Gottlob:
An Efficient Method for Eliminating Varying Predicates from a Circumscription. Artif. Intell. 54(2): 397-410 (1992)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/EiterG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/EiterG92
Thomas Eiter, Georg Gottlob:
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. Artif. Intell. 57(2-3): 227-270 (1992)
[j2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/EiterG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/EiterG92
Thomas Eiter, Georg Gottlob:
Reasoning with parsimonious and moderately grounded expansions. Fundam. Informaticae 17(1-2): 31-53 (1992)
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/cnkbs/EiterG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cnkbs/EiterG92
Thomas Eiter, Georg Gottlob:
Complexity of Propositional Knowledge Base Revision. CNKBS 1992: 38-40
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/EiterG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/EiterG92
Thomas Eiter, Georg Gottlob:
Complexity Results for Logic-Based Abduction. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 29-44
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/EiterG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/EiterG92
Thomas Eiter, Georg Gottlob:
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. PODS 1992: 261-273
1991
[j1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/insk/EiterSS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/insk/EiterSS91
Thomas Eiter, Michael Schrefl, Markus Stumptner:
Sperrverfahren für B-Bäume im Vergleich. Inform. Spektrum 14(4): 183-200 (1991)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.