1. Minimal founded semantics for disjunctive logic programs and deductive databases - Furfaro, Filippo; Greco, Gianluigi; Greco, Sergio
In this paper, we propose a variant of stable model semantics for disjunctivelogic programming and deductive databases.

2. Domain restrictions in standard deductive logic. - Swiggart, Peter

3. El razonamiento común: un obstáculo epistemológico en geometría - Héctor Bohórquez; Ana Ismenia Hernández de Rincón
Artículo que propone y analiza el obstáculo del razonamiento lógico deductivo en geometría y para su aprendizaje.

4. El razonamiento común: un obstáculo epistemológico en geometría - Héctor Bohórquez; Ana Ismenia Henández de Rincón
En este artículo se propone y analiza el obstáculo del razonamiento común, esto es, la constitución del razonamiento utilizado en la interacción social diaria como obstáculo para el razonamiento lógico deductivo en geometría y por tanto para su aprendizaje.

5. Methods of Partial Logic for Knowledge Representation & Deductive Reasoning in Incompletely Specified Domains - Prihozhaya, L.; Prihozhy, A.

6. Extending Classical Logic with Inductive Definitions - Denecker, Marc
The goal of this paper is to extend classical logic with a generalized notionof inductive definition supporting positive and negative induction, toinvestigate the properties of this logic, its relationships to other logics inthe area of non-monotonic reasoning, logic programming and deductive databases,and to show its application for knowledge representation by giving a typologyof definitional knowledge.

7. Continuations, proofs and tests - Guerrini, Stefano; Masini, Andrea
Continuation Passing Style (CPS) is one of the most important issues in thefield of functional programming languages, and the quest for a primitive notionof types for continuation is still open.

8. Evaluating Defaults - Kyburg Jr., Henry E.; Teng, Choh Man
The criteria of adequacy for a defaultinference can be extended by thresholding to criteria of adequacy for anextension.

9. “Are We There Yet?”: Deciding When One Has Demonstrated Specific Genetic Causation in Complex Diseases and Quantitative Traits - Page, Grier P.; George, Varghese; Go, Rodney C.; Page, Patricia Z.; Allison, David B.
If causation cannot be proven, however, what does constitute sufficient evidence for causation.

10. “Are We There Yet?”: Deciding When One Has Demonstrated Specific Genetic Causation in Complex Diseases and Quantitative Traits - Page, Grier P.; George, Varghese; Go, Rodney C.; Page, Patricia Z.; Allison, David B.
If causation cannot be proven, however, what does constitute sufficient evidence for causation.

11. Reasoning in a logic with definitions and induction - McDowell, Raymond Charles
We present a logic for the specification and analysis of deductive systems.