Causal Models of Disjunctive Logic Programs

Causal Models of Disjunctive Logic Programs

Bibliographic Details
Main Authors:	Dix, J, Gottlob, G, Marek, V
Format:	Conference item
Published:	1994

Similar Items

Complexity and Expressive Power of Disjunctive Logic Programming
by: Gottlob, G
Published: (1994)

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
by: Eiter, T, et al.
Published: (1993)

Disjunctive Logic Programming over Finite Structures
by: Eiter, T, et al.
Published: (1994)

On the Computational Cost of Disjunctive Logic Programming: Propositional Case
by: Eiter, T, et al.
Published: (1995)

Disjunctive Datalog
by: Eiter, T, et al.
Published: (1997)

Causal Unfoldings and Disjunctive Causes
by: Marc de Visme, et al.
Published: (2023-04-01)

Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
by: Lukasiewicz, T
Published: (1999)

Adding Disjunction to Datalog
by: Eiter, T, et al.
Published: (1994)

Complexity Aspects of Various Semantics for Disjunctive Databases
by: Eiter, T, et al.
Published: (1993)

An alternative rule of disjunction in modal logic
by: Williamson, T
Published: (1992)

Mental Logic and the Denials of Conjunctions and Disjunctions
by: Miguel López-Astorga
Published: (2016-03-01)

Mental logic and its difficulties with disjunction
by: Miguel López-Astorga
Published: (2016-05-01)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
by: Kaminski, M, et al.
Published: (2014)

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies
by: Kaminski, M, et al.
Published: (2014)

Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
by: Lukasiewicz, T
Published: (2001)

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies
by: Kaminski, M, et al.
Published: (2014)

Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
by: Eiter, T, et al.
Published: (1994)

Disjunctive bases: normal forms and model theory for modal logics
by: Sebastian Enqvist, et al.
Published: (2022-08-01)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
by: Hustadt, U, et al.
Published: (2007)

Consequence-based reasoning for description logics with disjunctions and number restrictions
by: Bate, A, et al.
Published: (2018)

Consequence-based reasoning for description logics with disjunctions and number restrictions
by: Bate, A, et al.
Published: (2018)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
by: Cristina Feier, et al.
Published: (2019-05-01)

Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
by: Sopo Pkhakadze, et al.
Published: (2020-07-01)

Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information
by: Eiter, T, et al.
Published: (1993)

Logic Programming and Databases
by: Ceri, S, et al.
Published: (1990)

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions
by: Eiter, T, et al.
Published: (1997)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
by: Rudolph, S, et al.
Published: (2008)

Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals
by: Cucala, D, et al.
Published: (2017)

Logic + probabilistic programming + causal laws
by: Vaishak Belle
Published: (2023-09-01)

On the Indiscernibility of Individuals in Logic Programming
by: Eiter, T, et al.
Published: (1997)

Generalized Quantifiers in Logic Programs
by: Eiter, T, et al.
Published: (1997)

Visual Data Extraction Through Visual Logic Programming
by: Gottlob, G
Published: (2002)

Modular Logic Programming and Generalized Quantifiers
by: Eiter, T, et al.
Published: (1997)

Complexity Results for Abductive Logic Programming
by: Eiter, T, et al.
Published: (1995)

Architecture and disjunction /
by: 242620 Tschumi, Bernard
Published: (1994)

On disjunctive dependencies
by: Ignacio Bosque
Published: (2010-12-01)

The Disjunction and Conjunction Theses
by: Rodriguez-Pereyra, G
Published: (2009)

Tractable Disjunctive Constraints
by: D.A.Cohen, et al.
Published: (1997)

Abduction from Logic Programs: Semantics and Complexity
by: Eiter, T, et al.
Published: (1997)

Consequence-based reasoning for description logics with disjunction, inverse roles, number restrictions, and nominals
by: Cucala, D, et al.
Published: (2018)