This paper defines an argumentation semantics for extended logic programming and shows its equivalence to the well-founded semantics with explicit negation. We set up a general framework in which we extensively compare this semantics to other argumenta-tion semantics, including those of Dung, and Prakken and Sartor. We present a general dialectical proof theory for these argumenta-tion semantics.

The following set of papers concerning contaminants in plastic were presented at a workshop held in association with the International Seminars on Planetary Emergencies, 36th Session, Erice, Sicily, 19th–24th August, 2006 (Ragiani, 2006). The World Federation of Scientists was founded in 1973, and since then the Erice International Seminars on Nuclear War and Planetary Emergencies have been hel...

Alison Brown is the Chairman and Chief Visionary Officer of NAVSYS Corporation. She founded NAVSYS in 1986 and served as President and Chief Executive Officer until 2006. She has a PhD in Mechanics, Aerospace, and Nuclear Engineering from UCLA, an MS in Aeronautics and Astronautics from MIT, and an MA in Engineering from Cambridge University. She was a member of the GPS-3 Independent Review Tea...

Industrial knowledge is complex, difficult to formalize and very dynamic in reason of the continuous development of techniques and technologies. The verification of the validity of the knowledge base at the time of its elaboration is not sufficient. To be exploitable, this knowledge must then be able to be used under conditions (slightly) different from the conditions in which it was formalized...

Alison Brown is the Chairman and Chief Visionary Officer of NAVSYS Corporation. She founded NAVSYS Corporation in 1986 and served as President and Chief Executive Officer until 2006. She has a PhD in Mechanics, Aerospace, and Nuclear Engineering from UCLA, an MS in Aeronautics and Astronautics from MIT, and an MA in Engineering from Cambridge University. She was a member of the GPS-3 Independen...