| 2005 |
|---|
| 12 | EE | Thomas Eiter,
Michael Fink,
Giuliana Sabbatini,
Hans Tompits:
Reasoning about evolving nonmonotonic knowledge bases.
ACM Trans. Comput. Log. 6(2): 389-440 (2005) |
| 2003 |
|---|
| 11 | | Thomas Eiter,
Michael Fink,
Giuliana Sabbatini,
Hans Tompits:
Declarative Update Policies for Nonmonotonic Knowledge Bases.
Logics for Emerging Applications of Databases 2003: 85-129 |
| 2002 |
|---|
| 10 | | Thomas Eiter,
Michael Fink,
Giuliana Sabbatini,
Hans Tompits:
A Generic Approach for Knowledge-Based Information-Site Selection.
KR 2002: 459-469 |
| 9 | EE | Thomas Eiter,
Michael Fink,
Giuliana Sabbatini,
Hans Tompits:
Reasoning about Evolving Nonmonotonic Knowledge Bases
CoRR cs.AI/0209019: (2002) |
| 8 | | Thomas Eiter,
Michael Fink,
Giuliana Sabbatini,
Hans Tompits:
Using Methods of Declarative Logic Programming for Intelligent Information Agents.
TPLP 2(6): 645-709 (2002) |
| 7 | | Thomas Eiter,
Michael Fink,
Giuliana Sabbatini,
Hans Tompits:
On Properties of Update Sequences Based on Causal Rejection.
TPLP 2(6): 711-767 (2002) |
| 2001 |
|---|
| 6 | | Thomas Eiter,
Michael Fink,
Giuliana Sabbatini,
Hans Tompits:
A Framework for Declarative Update Specifications in Logic Programs.
IJCAI 2001: 649-654 |
| 5 | EE | Thomas Eiter,
Michael Fink,
Giuliana Sabbatini,
Hans Tompits:
Reasoning about Evolving Nonmonotonic Knowledge Bases.
LPAR 2001: 407-421 |
| 4 | EE | Thomas Eiter,
Michael Fink,
Giuliana Sabbatini,
Hans Tompits:
An Update Front-End for Extended Logic Programs.
LPNMR 2001: 397-401 |
| 3 | EE | Thomas Eiter,
Michael Fink,
Giuliana Sabbatini,
Hans Tompits:
On Properties of Update Sequences Based on Causal Rejection
CoRR cs.AI/0109006: (2001) |
| 2 | EE | Thomas Eiter,
Michael Fink,
Giuliana Sabbatini,
Hans Tompits:
Using Methods of Declarative Logic Programming for Intelligent Information Agents
CoRR cs.MA/0108008: (2001) |
| 2000 |
|---|
| 1 | EE | Thomas Eiter,
Michael Fink,
Giuliana Sabbatini,
Hans Tompits:
Considerations on Updates of Logic Programs.
JELIA 2000: 2-20 |
