Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models

Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models

Taispeáin leaganacha eile (1)

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Gottlob, G, Pichler, R
Formáid:	Journal article
Foilsithe / Cruthaithe:	2001

Míreanna comhchosúla

Working with Arms: Complexity Results on Atomic Representations of Herbrand Models
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (1999)

Herbrand-Confluence
de réir: Stefan Hetzl, et al.
Foilsithe / Cruthaithe: (2013-12-01)

On the Herbrand content of LK
de réir: Bahareh Afshari, et al.
Foilsithe / Cruthaithe: (2016-06-01)

Inter-procedural Two-Variable Herbrand Equalities
de réir: Stefan Schulze Frielinghaus, et al.
Foilsithe / Cruthaithe: (2017-05-01)

Herbrand expansions of some formulas of modal logic S4
de réir: Stanislovas Norgėla
Foilsithe / Cruthaithe: (2003-12-01)

On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
de réir: Federico Aschieri
Foilsithe / Cruthaithe: (2017-04-01)

Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2006)

Bounded treewidth as a key to tractability of knowledge representation and reasoning
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2010)

Complexity Results for Nonmonotonic Logics
de réir: Gottlob, G
Foilsithe / Cruthaithe: (1992)

The complexity of XPath query evaluation
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2003)

On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases
de réir: Baumgartner, R, et al.
Foilsithe / Cruthaithe: (1999)

Complexity Results for Logic−Based Abduction
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1992)

Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2001)

Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2004)

The complexity of XPath query evaluation and XML typing
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2005)

Complexity analysis of generalized and fractional hypertree decompositions
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2021)

Complexity Results for Abductive Logic Programming
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1995)

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1993)

Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning‚ and Why They Matter (Invited Talk Abstract)
de réir: Gottlob, G
Foilsithe / Cruthaithe: (1993)

The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1997)

Completeness of atomic structure representations
de réir: Jigyasa Nigam, et al.
Foilsithe / Cruthaithe: (2024-03-01)

Propositional default logics made easier: computational complexity of model checking
de réir: Baumgartner, R, et al.
Foilsithe / Cruthaithe: (2002)

General and fractional hypertree decompositions: hard and easy cases
de réir: Fischl, W, et al.
Foilsithe / Cruthaithe: (2018)

Normalization and optimization of schema mappings.
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2011)

Tractable database design through bounded treewidth
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2006)

Efficient Algorithms for Processing XPath Queries
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2002)

Efficient algorithms for processing XPath queries
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2005)

XPath Processing in a Nutshell
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2003)

Fast and parallel decomposition of constraint satisfaction problems
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2020)

Efficient Datalog Abduction through Bounded Treewidth
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2007)

XPath processing in a nutshell
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2003)

Monadic datalog over finite structures with bounded treewidth
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2007)

XPath Query Evaluation: Improving Time and Space Efficiency
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2003)

Fast and parallel decomposition of constraint satisfaction problems
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2022)

General and fractional hypertree decompositions: hard and easy cases
de réir: Fischl, W, et al.
Foilsithe / Cruthaithe: (2018)

Monadic datalog over finite structures of bounded treewidth.
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2010)

On the Complexity of Clause Condensing
de réir: Gottlob, G
Foilsithe / Cruthaithe: (1991)

Manufacturing “Arms” or Legs: An Analysis of the Representation of Soldiers’ Mutilated Bodies in the Colombian Armed Conflict
de réir: Chloe Rutter-Jensen
Foilsithe / Cruthaithe: (2018-03-01)

On the Complexity of Theory Curbing
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2000)

Distributed representations of atoms and materials for machine learning
de réir: Luis M. Antunes, et al.
Foilsithe / Cruthaithe: (2022-03-01)