Georg Gottlob (gottlob-g)
Contributi a Philosophie.ch
No contributions yet
Bibliography
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 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.
Gottlob, Georg. 1993. “The Power of Beliefs: Or Translating Default Logic Into Standard Autoepistemic Logic.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy, pp. 570–575. San Francisco, California: Morgan Kaufmann Publishers.
Gottlob, Georg. 1994. “From Carnap’s Modal Logic to Autoepistemic Logic.” in JELIA’94. Logics in Artificial Intelligence European Workshop, York, UK, September 5-8, 1994, edited by Craig MacNish, Luı́s Moniz Pereira, and David A. Pearce, pp. 1–18. Lecture Notes in Computer Science. Berlin: Springer.
Gottlob, Georg. 1996. “Complexity and Power of KR Formalisms (Abstract).” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 647–649. San Francisco, California: Morgan Kaufmann Publishers.
Gottlob, Georg. 1999. “Remarks on a Carnapian Extension of S5.” in Alfred Tarski and the Vienna Circle – Austro-Polish Connections in Logical Empiricism, edited by Jan Woleński and Eckehart Köhler, pp. 243–259. Vienna Circle Institute Yearbook n. 6. Dordrecht: Springer.
Gottlob, Georg and Fermüller, Christian G. 1993. “Removing Redundancy from a Clause.” Artificial Intelligence 61(2): 263–289.
Gottlob, Georg, Grädel, Erich and Veith, Helmut. 2000. “Linear Time Datalog and Branching Time Logic.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 443–467. Dordrecht: Kluwer Academic Publishers.
Gottlob, Georg, Leitsch, Alexander and Mundici, Daniele, eds. 1993. Computational Logic and Proof Theory. Lecture Notes in Computer Science n. 713. Berlin: Springer.
Gottlob, Georg, Leone, Nicola and Scarello, Francesco. 2000. “A Comparison of Structural CSP Decomposition Methods.” Artificial Intelligence 124(2): 243–282.