Thomas Eiter (eiter)

Contributi a Philosophie.ch

Bibliography

Brewka, Gerhard and Eiter, Thomas. 1998. “Preferred Answer Sets for Extended Logic Programs.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 86–97. San Francisco, California: Morgan Kaufmann Publishers.
Brewka, Gerhard and Eiter, Thomas. 1999. “Preferred Answer Sets for Extended Logic Programs.” Artificial Intelligence 109(1–2): 297–356.
Brewka, Gerhard and Eiter, Thomas. 2000. “Prioritizing Default Logic.” in Intellectics and Computational Logic, Papers in Honor of Wolfgang Bibel, edited by Steffen Hölldobler, pp. 27–45. Dordrecht: Kluwer Academic Publishers.
Buccafurri, Francesco, Eiter, Thomas, Gottlob, Georg and Leone, Nicola. 1999. “Enhancing Model Checking in Verification by AI Techniques.” Artificial Intelligence 112(1–2): 57–104.
Cadoli, Marco, Eiter, Thomas and Gottlob, Georg. 1992. “An Efficient Method for Eliminating Varying Predicates from a Circumscription.” Artificial Intelligence 54(3): 397–410.
Cadoli, Marco, Eiter, Thomas and Gottlob, Georg. 1994. “Default Logic as a Query Language.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 99–108. San Francisco, California: Morgan Kaufmann Publishers.
Eiter, Thomas. 2002. “On Computing All Abductive Explanations.” in AAAI-02. Proceedings of the Eighteenth National Conference on Artificial Intelligence, edited by Rina Dechter, Richard S. Sutton, and Michael J. Kearns. Menlo Park, California: The AAAI Press.
Eiter, Thomas, Faber, Wolfgang, Leone, Nicola and Pfeifer, Gerald. 2000. “Declarative Problem-Solving in DLV.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 79–103. Dordrecht: Kluwer Academic Publishers.
Eiter, Thomas, Fink, Michael, Sabbatini, Giuliana and Tompits, Hans. 2002. “A Generic Approach to Knowledge-Based Information-Site Selection.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 459–469. San Francisco, California: Morgan Kaufmann Publishers.
Eiter, Thomas and Gottlob, Georg. 1992. “On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals.” Artificial Intelligence 57(2–3): 227–270.
Eiter, Thomas and Gottlob, Georg. 1993. “The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revision.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy, pp. 526–531. San Francisco, California: Morgan Kaufmann Publishers.
Eiter, Thomas and Gottlob, Georg. 1995. “Semantics and Complexity of Abduction from Default Theories.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 870–877. San Francisco, California: Morgan Kaufmann Publishers.
Eiter, Thomas and Gottlob, Georg. 1998. “On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic.” The Journal of Symbolic Logic 63(1): 73–82.
Eiter, Thomas, Gottlob, Georg and Leone, Nicola. 1997. “Semantics and Complexity of Abduction from Default Theories.” Artificial Intelligence 90(1–2): 177–233.
Eiter, Thomas, Ibaraki, Toshihide and Makino, Kazuhisa. 1999. “Computing Intersections of Horn Theories for Reasoning with Models.” Artificial Intelligence 110(1): 57–101.
Eiter, Thomas, Leone, Nicola, Mateis, Cristinel, Pfeifer, Gerald and Scarcello, Francesco. 1998. “The KR System dlv: Progress Report, Comparisons and Benchmarks.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 406–417. San Francisco, California: Morgan Kaufmann Publishers.
Eiter, Thomas and Łukasiewicz, Thomas. 2000a. “Complexity Results for Default Reasoning from Conditional Knowledge Bases.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 62–73. San Francisco, California: Morgan Kaufmann Publishers. Reprinted as Eiter and Łukasiewicz (2000b).
Eiter, Thomas and Łukasiewicz, Thomas. 2000b. “Complexity Results for Default Reasoning from Conditional Knowledge Bases.” Artificial Intelligence 124(2): 169–241.
Eiter, Thomas and Łukasiewicz, Thomas. 2002a. “Complexity Results for Structure-Based Causality.” Artificial Intelligence 142(1): 53–89.
Eiter, Thomas and Łukasiewicz, Thomas. 2002b. “Complexity Results for Explanations in the Structural-Model Approach.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 49–60. San Francisco, California: Morgan Kaufmann Publishers. Republished as Eiter and Łukasiewicz (2004).
Eiter, Thomas and Łukasiewicz, Thomas. 2004. “Complexity Results for Explanations in the Structural-Model Approach.” Artificial Intelligence 154(1–2): 145–198.
Eiter, Thomas and Subramanian, V. S. 1999. “Heterogeneous Active Agents, II: Algorithms and Complexity.” Artificial Intelligence 108(1–2): 257–307.
Eiter, Thomas, Subramanian, V. S. and Pick, George. 1999. “Heterogeneous Active Agents, I: Semantics.” Artificial Intelligence 108(1–2): 179–255.
Eiter, Thomas, Subramanian, V. S. and Rogers, T. J. 2000. “Heterogeneous Active Agents, III: Polynomially Implementable Agents.” Artificial Intelligence 117(1): 107–167.