The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Georg Gottlob" ( http://dblp.L3S.de/Authors/Georg_Gottlob )

URL (Homepage):  http://www.cs.ox.ac.uk/people/georg.gottlob/  Author page on DBLP  Author page in RDF  Community of Georg Gottlob in ASPL-2

Publication years (Num. hits)
1983-1988 (16) 1989-1992 (24) 1993-1994 (21) 1995-1996 (22) 1997 (15) 1998-1999 (18) 2000-2001 (24) 2002 (19) 2003-2004 (25) 2005 (15) 2006-2007 (23) 2008-2009 (35) 2010 (20) 2011 (31) 2012 (25) 2013 (16) 2014 (18) 2015-2016 (23) 2017-2018 (28) 2019 (14)
Publication types (Num. hits)
article(162) book(1) incollection(7) inproceedings(240) proceedings(22)
Venues (Conferences, Journals, ...)
CoRR(31) PODS(31) IJCAI(17) J. ACM(15) AMW(14) Artif. Intell.(12) J. Comput. Syst. Sci.(8) KR(8) AAAI(7) PVLDB(7) Reasoning Web(7) SEBD(7) Theor. Comput. Sci.(7) Description Logics(6) LICS(6) LPNMR(6) More (+10 of total 159)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 238 occurrences of 122 keywords

Results
Found 433 publication records. Showing 432 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Thomas Eiter, Georg Gottlob, Thomas Schwentick Second-Order Logic over Strings: Regular and Non-regular Fragments. Search on Bibsonomy Developments in Language Theory The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. Search on Bibsonomy SEBD The full citation details ... 2001 DBLP  BibTeX  RDF
1Georg Gottlob The Lixto Wrapper Generation Tool. Search on Bibsonomy SEBD The full citation details ... 2001 DBLP  BibTeX  RDF
1Robert Baumgartner, Sergio Flesca, Georg Gottlob Visual Web Information Extraction with Lixto. Search on Bibsonomy Semannot@K-CAP 2001 The full citation details ... 2001 DBLP  BibTeX  RDF
1Marcus Herzog, Georg Gottlob InfoPipes: A Flexible Framework for M-Commerce Applications. Search on Bibsonomy TES The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Thomas Eiter, Georg Gottlob Complexity of Nested Circumscription and Abnormality Theories. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1Robert Baumgartner, Sergio Flesca, Georg Gottlob Supervised Wrapper Generation with Lixto. Search on Bibsonomy VLDB The full citation details ... 2001 DBLP  BibTeX  RDF
1Robert Baumgartner, Sergio Flesca, Georg Gottlob Visual Web Information Extraction with Lixto. Search on Bibsonomy VLDB The full citation details ... 2001 DBLP  BibTeX  RDF
1Thomas Eiter, Georg Gottlob Complexity results for some eigenvector problems. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello A comparison of structural CSP decomposition methods. Search on Bibsonomy Artif. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Yuri Gurevich, Georg Gottlob Existential second-order logic over strings. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF S1S, existential fragment, finite satisfiability, finite words, prefix classes, model checking, strings, regular languages, descriptive complexity, finite model theory, decision problem, NP, second-order logic
1Georg Gottlob Report on PODS 2000. Search on Bibsonomy SIGACT News The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob On the Complexity of Theory Curbing. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick Existential Second-Order Logic over Graphs: Charting the Tractability Frontier. Search on Bibsonomy FOCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF existential second-order logic, existential second-order formula, prefix class, first-order quantifiers, polynomial-time solvable problem, computational complexity, computational complexity, graph theory, graphs, directed graphs, NP-complete problems, formal logic, undirected graphs, descriptive complexity, tractability
1Victor Vianu, Georg Gottlob (eds.) Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA Search on Bibsonomy 2000 DBLP  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello On the Complexity of Some Inductive Logic Programming Problems. Search on Bibsonomy New Generation Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone Enhancing Model Checking in Verification by AI Techniques. Search on Bibsonomy Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Helmut Veith Succinctness as a Source of Complexity in Logical Formalisms. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Christos H. Papadimitriou On the Complexity of Single-Rule Datalog Queries. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello On Tractable Queries and Constraints. Search on Bibsonomy DEXA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Reinhard Pichler Working with Arms: Complexity Results on Atomic Representations of Herbrand Models. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Automated Model Building, Herbrand Models, Complexity, Knowledge Representation, Logic Programming, Automated Deduction
1Georg Gottlob, Nicola Leone, Francesco Scarcello Computing LOGCFL Certificates. Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Francesco Scarcello, Martha Sideri Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Complexity, Logic Programming, Constraint Satisfaction, Nonmonotonic Reasoning, Fixed-parameter Tractability, Stable Models, Prime Implicants, Circumscription
1Georg Gottlob, Nicola Leone, Francesco Scarcello Hypertree Decompositions and Tractable Queries. Search on Bibsonomy PODS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello Hypertree Decompositions and Tractable Queries. Search on Bibsonomy SEBD The full citation details ... 1999 DBLP  BibTeX  RDF
1Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.) Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Robert Baumgartner, Georg Gottlob On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases. Search on Bibsonomy IJCAI The full citation details ... 1999 DBLP  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello A Comparison of Structural CSP Decomposition Methods. Search on Bibsonomy IJCAI The full citation details ... 1999 DBLP  BibTeX  RDF
1Thomas Eiter, Georg Gottlob On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Georg Gottlob, Lauri Hella Capturing Relativized Complexity Classes without Order. Search on Bibsonomy Math. Log. Q. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello Hypertree Decompositions and Tractable Queries Search on Bibsonomy CoRR The full citation details ... 1998 DBLP  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Yuri Gurevich Existential Second-Order Logic over Strings. Search on Bibsonomy LICS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello The Complexity of Acyclic Conjunctive Queries. Search on Bibsonomy FOCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF acyclic hypergraph, join tree, LOGCFL, parallel algorithms, computational complexity, database theory, constraint satisfaction problem, conjunctive query, subsumption, query containment, tree query
1Gerhard Brewka, Georg Gottlob Well-Founded Semantics for Default Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions. Search on Bibsonomy J. Log. Program. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Georg Gottlob Relativized Logspace and Generalized Quantifiers over Finite Ordered Structures. Search on Bibsonomy J. Symb. Log. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Nicola Leone Semantics and Complexity of Abduction from Default Theories. Search on Bibsonomy Artif. Intell. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Nicola Leone Abduction from Logic Programs: Semantics and Complexity. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Thomas Eiter, Georg Gottlob Default Logic as a Query Language. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Nicola Leone On the Indiscernibility of Individuals in Logic Programming. Search on Bibsonomy J. Log. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Heikki Mannila Disjunctive Datalog. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Datalog
1Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.) Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings Search on Bibsonomy Kurt Gödel Colloquium The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Helmut Veith Modular Logic Programming and Generalized Quantifiers. Search on Bibsonomy LPNMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Simona Citrigno, Thomas Eiter, Wolfgang Faber 0001, Georg Gottlob, Christoph Koch 0001, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello The dlv System: Model Generator and Advanced Frontends (system description). Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Thomas Eiter, Georg Gottlob The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic. Search on Bibsonomy FCT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello On the Complexity of Some Inductive Logic Programming Problems. Search on Bibsonomy ILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Helmut Veith Generalized Quantifiers in Logic Programs. Search on Bibsonomy ESSLLI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov Complexity and Expressive Power of Logic Programming. Search on Bibsonomy IEEE Conference on Computational Complexity The full citation details ... 1997 DBLP  DOI  BibTeX  RDF computational complexity, Logic programming, resolution, constraint logic programming, unification, expressive power
1Georg Gottlob, Miroslaw Truszczynski Approximating the Stable Model Semantics is Hard. Search on Bibsonomy Fundam. Inform. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Jürgen Dix, Georg Gottlob, V. Wiktor Marek Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. Search on Bibsonomy Fundam. Inform. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob Mächtigkeit von Logikprogrammierung über Datenbanken. Search on Bibsonomy KI The full citation details ... 1996 DBLP  BibTeX  RDF
1Georg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer, V. S. Subrahmanian A Non-Ground Realization of the Stable and Well-Founded Semantics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Michael Schrefl, Brigitte Röck Extending Object-Oriented Systems with Roles. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Yuri Gurevich Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Georg Gottlob Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract). Search on Bibsonomy KR The full citation details ... 1996 DBLP  BibTeX  RDF
1Georg Gottlob Collapsing Oracle-Tape Hierarchies. Search on Bibsonomy IEEE Conference on Computational Complexity The full citation details ... 1996 DBLP  DOI  BibTeX  RDF tape, logspace, logarithmic space, machine model, complexity, query, oracle, circuit, Turing machine, generalized quantifier, relativization, bounded queries
1Georg Gottlob, Guido Moerkotte, V. S. Subrahmanian The PARK Semantics for Active Rules. Search on Bibsonomy EDBT The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob On the Computational Cost of Disjunctive Logic Programming: Propositional Case. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Georg Gottlob NP Trees and Carnap's Modal Logic. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF bounded query computation, trees, modal logic, oracle, epistemic logic, NP, autoepistemic logic
1Thomas Eiter, Georg Gottlob The Complexity of Logic-Based Abduction. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF diagnosis, reasoning, abduction, complexity analysis, propositional logic
1Georg Gottlob Translating Default Logic into Standard Autoepistemic Logic. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF nonmonotonic modal logic, reasoning, translation, default logic, autoepistemic logic
1Georg Gottlob The Complexity of Default Reasoning under the Stationary Fixed Point Semantics Search on Bibsonomy Inf. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob Identifying the Minimal Transversals of a Hypergraph and Related Problems. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Georg Gottlob Relativized Logspace and Generalized Quantifiers over Finite Structures Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Helmut Veith Second Order Logic and the Weak Exponential Hierarchies. Search on Bibsonomy MFCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Nicola Leone Complexity Results for Abductive Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Moshe Y. Vardi (eds.) Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings Search on Bibsonomy ICDT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Gerti Kappel, Michael Schrefl The Evolving Algebra Semantics of Class and Role Hierarchies. Search on Bibsonomy Semantics in Databases The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Nicola Leone Semantics and Complexity of Abduction from Default Theories. Search on Bibsonomy IJCAI (1) The full citation details ... 1995 DBLP  BibTeX  RDF
1Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl Formalizing the Repair Process - Extended Report. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Zhang Mingyi Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity. Search on Bibsonomy Artif. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Georg Gottlob Complexity and Expressive Power of Disjunctive Logic Programming. Search on Bibsonomy ILPS The full citation details ... 1994 DBLP  BibTeX  RDF
1Jürgen Dix, Georg Gottlob, V. Wiktor Marek Causal Models of Disjunctive Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1994 DBLP  BibTeX  RDF
1Norbert E. Fuchs, Georg Gottlob (eds.) Proceedings of the Tenth Logic Programming Workshop, WLP 94, 5-7 Octobert 1994, Univerity of Zurich, Switzerland. Technical Report 94/10. Search on Bibsonomy WLP The full citation details ... 1994 DBLP  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Heikki Mannila Adding Disjunction to Datalog. Search on Bibsonomy PODS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Datalog
1Thomas Eiter, Georg Gottlob, Heikki Mannila Disjunctive Logic Programming over Finite Structures. Search on Bibsonomy GI Jahrestagung The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Georg Gottlob From Carnap's Modal Logic to Autoepistemic Logic. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Thomas Eiter, Georg Gottlob Default Logic as a Query Language. Search on Bibsonomy KR The full citation details ... 1994 DBLP  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Heikki Mannila Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics. Search on Bibsonomy IS/KI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Christian G. Fermüller Removing Redundancy from a Clause. Search on Bibsonomy Artif. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1Georg Gottlob NP Trees and Carnap's Modal Logic Search on Bibsonomy FOCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF propositional theory, NP trees, Carnap's modal logic, general dag, logarithmic number of queries, directed graph, polynomial time, complexity classes
1Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.) Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings Search on Bibsonomy Kurt Gödel Colloquium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Georg Gottlob Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract). Search on Bibsonomy LPNMR The full citation details ... 1993 DBLP  BibTeX  RDF
1Thomas Eiter, Georg Gottlob Complexity Aspects of Various Semantics for Disjunctive Databases. Search on Bibsonomy PODS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob The Complexity of Logic-Based Abduction. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Georg Gottlob The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. Search on Bibsonomy IJCAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Yuri Gurevich Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information. Search on Bibsonomy IJCAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Thomas Eiter, Georg Gottlob The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. Search on Bibsonomy IJCAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Thomas Eiter, Georg Gottlob Reasoning with parsimonious and moderately grounded expansions. Search on Bibsonomy Fundam. Inform. The full citation details ... 1992 DBLP  BibTeX  RDF
1Thomas Eiter, Georg Gottlob On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. Search on Bibsonomy Artif. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Thomas Eiter, Georg Gottlob An Efficient Method for Eliminating Varying Predicates from a Circumscription. Search on Bibsonomy Artif. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Michael Schrefl, Markus Stumptner Selective Inheritance of Attribute Values in Relational Databases. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Georg Gottlob Complexity Results for Nonmonotonic Logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob Complexity Results for Logic-Based Abduction. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
1Thomas Eiter, Georg Gottlob On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. Search on Bibsonomy PODS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Georg Gottlob The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. Search on Bibsonomy ECAI Workshop on Knowledge Representation and Reasoning The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #301 - #400 of 432 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license