Search results: Sage Journals

Restricted accessResearch articleFirst published October, 1999

Processing Deductive Databases under the Disjunctive Stable Model Semantics

C.A. Johnson

Fundamenta Informaticae

Restricted accessResearch articleFirst published February, 1999

The Diagnosis Frontend of the dlv system

Thomas Eiter, Wolfgang Faber, Nicola Leone [...]

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published June, 1994

SEMANTICS FOR DISJUNCTIVE LOGIC PROGRAMS WITH EXPLICIT AND DEFAULT NEGATION

Jack Minker, Carolina Ruiz

Fundamenta Informaticae

Open accessResearch articleFirst published November 12, 2024

Assumption-based argumentation for extended disjunctive logic programming and its relation to nonmonotonic reasoning

Toshiko Wakaki

Argument & Computation

Restricted accessResearch articleFirst published May, 2006

A backjumping technique for Disjunctive Logic Programming

Francesco Ricca, Wolfgang Faber, Nicola Leone

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published February, 2011

A long tour from theory to practice

Sergio Greco, Nicola Leone, Luigi Palopoli [...]

Intelligenza Artificiale

Restricted accessResearch articleFirst published August, 2006

Template programs for Disjunctive Logic Programming: An operational semantics

Francesco Calimeri, Giovambattista Ianni

The European Journal on Artificial Intelligence

Free accessResearch articleFirst published November, 1996

Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations

Jürgen Dix, Georg Gottlob, Wiktor Marek

Fundamenta Informaticae

Restricted accessResearch articleFirst published 1990

Well-Founded Semantics Coincides with Three-Valued Stable Semantics 1

Teodor Przymusinski

Fundamenta Informaticae

Restricted accessResearch articleFirst published October, 2009

Normal Form Nested Programs

Annamaria Bria, Wolfgang Faber, Nicola Leone

Fundamenta Informaticae

Restricted accessResearch articleFirst published October, 1999

Processing Deductive Databases under the Disjunctive Stable Model Semantics

C.A. Johnson

Fundamenta Informaticae

Restricted accessResearch articleFirst published February, 1999

The Diagnosis Frontend of the dlv system

Thomas Eiter, Wolfgang Faber, Nicola Leone [...]

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published June, 1994

SEMANTICS FOR DISJUNCTIVE LOGIC PROGRAMS WITH EXPLICIT AND DEFAULT NEGATION

Jack Minker, Carolina Ruiz

Fundamenta Informaticae

Open accessResearch articleFirst published November 12, 2024

Assumption-based argumentation for extended disjunctive logic programming and its relation to nonmonotonic reasoning

Toshiko Wakaki

Argument & Computation

Restricted accessResearch articleFirst published May, 2006

A backjumping technique for Disjunctive Logic Programming

Francesco Ricca, Wolfgang Faber, Nicola Leone

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published February, 2011

A long tour from theory to practice

Sergio Greco, Nicola Leone, Luigi Palopoli [...]

Intelligenza Artificiale

Restricted accessResearch articleFirst published August, 2006

Template programs for Disjunctive Logic Programming: An operational semantics

Francesco Calimeri, Giovambattista Ianni

The European Journal on Artificial Intelligence

Free accessResearch articleFirst published November, 1996

Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations

Jürgen Dix, Georg Gottlob, Wiktor Marek

Fundamenta Informaticae

Restricted accessResearch articleFirst published 1990

Well-Founded Semantics Coincides with Three-Valued Stable Semantics 1

Teodor Przymusinski

Fundamenta Informaticae

Restricted accessResearch articleFirst published October, 2009

Normal Form Nested Programs

Annamaria Bria, Wolfgang Faber, Nicola Leone

Fundamenta Informaticae