Transformation-Based Bottom-Up Computation of the Well-Founded Model

Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA

Journal of Automated Reasoning

Efficient Computation of the Well-Founded Model Using Update Propagation

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming

Integrating the Completion and the Well Founded Semantics

IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence

High-Level Logic Programming

FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems

Nonmonotonic reasoning: towards efficient calculi and implementations

Handbook of automated reasoning

DisLoP: a research project on Disjunctive Logic Programming

AI Communications

Possibilistic Well-Founded Semantics

MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence

A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory

Fundamenta Informaticae - Logic, Language, Information and Computation

A Possibilistic Argumentation Decision Making Framework with Default Reasoning

Fundamenta Informaticae - Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR)