User contributions for Tizio

18 August 2005

• 12:1812:18, 18 August 2005 diff hist +2‎ User:Paolo Liberatore~enwiki/Template ‎No edit summary
• 12:1512:15, 18 August 2005 diff hist +18‎ N User:Paolo Liberatore~enwiki/Template ‎No edit summary

16 August 2005

• 17:0217:02, 16 August 2005 diff hist +750‎ Default logic ‎ implemented systems + 2 new references + see also

10 August 2005

• 13:4213:42, 10 August 2005 diff hist +150‎ N User:Tizio ‎ link to home page
• 13:3513:35, 10 August 2005 diff hist +336‎ Talk:Default logic ‎ Relationships + systems
• 13:3013:30, 10 August 2005 diff hist −6‎ m Default logic ‎ problem with comments + link only first mention of Prolog
• 13:2613:26, 10 August 2005 diff hist +158‎ Default logic ‎ corrected many minor mistakes + specified what happens when defaults contain free variables

5 August 2005

• 18:2218:22, 5 August 2005 diff hist +101‎ Non-monotonic logic ‎ answer set programming link
• 18:1718:17, 5 August 2005 diff hist +1‎ m Answer set programming ‎ removed ugly newline
• 18:1518:15, 5 August 2005 diff hist +2,864‎ N Answer set programming ‎ short description of syntax, semantics, implementations, and some references
• 12:3912:39, 5 August 2005 diff hist +888‎ Default logic ‎ weak extensions

4 August 2005

• 12:4012:40, 4 August 2005 diff hist +494‎ Nixon diamond ‎ reference to first paper where this example appears

3 August 2005

• 18:5118:51, 3 August 2005 diff hist −37‎ Talk:Default logic ‎No edit summary
• 18:4818:48, 3 August 2005 diff hist +578‎ Default logic ‎ priorities on defaults
• 18:1818:18, 3 August 2005 diff hist +2‎ Default logic ‎ swapped references/external links
• 18:1618:16, 3 August 2005 diff hist +534‎ Default logic ‎ disjunctive default logic
• 18:0218:02, 3 August 2005 diff hist +643‎ Default logic ‎ some variants of default logic
• 14:0714:07, 3 August 2005 diff hist +12‎ m Default logic ‎ removed a newline
• 14:0114:01, 3 August 2005 diff hist +351‎ N Talk:Default logic ‎ what's to be done
• 13:5313:53, 3 August 2005 diff hist +943‎ Default logic ‎ complexity
• 13:2613:26, 3 August 2005 diff hist +1,749‎ Default logic ‎ entailment in default logic + alternative semantics based on the same syntax
• 13:0413:04, 3 August 2005 diff hist −8‎ m Default logic ‎ chaned first sentence of second paragraph

1 August 2005

• 11:4211:42, 1 August 2005 diff hist +16‎ m Raymond Reiter ‎No edit summary

30 July 2005

• 18:3718:37, 30 July 2005 diff hist +26‎ m Default logic ‎ fixed the fixed point link
• 18:2318:23, 30 July 2005 diff hist +848‎ Default logic ‎ added bibliography
• 18:0718:07, 30 July 2005 diff hist +118‎ Default logic ‎ removed "restrictions"; stuff moved to syntax and to semantics
• 18:0118:01, 30 July 2005 diff hist +1,658‎ Default logic ‎ Semantics -> Semantic of Default Logic + various changes
• 17:3417:34, 30 July 2005 diff hist +384‎ Default logic ‎ syntax of default logic
• 17:1617:16, 30 July 2005 diff hist +106‎ Default logic ‎ rewritten introductive paragraph with a classical example
• 16:5916:59, 30 July 2005 diff hist +28‎ N Ray Reiter ‎No edit summary current
• 16:5816:58, 30 July 2005 diff hist +756‎ N Raymond Reiter ‎No edit summary
• 16:1116:11, 30 July 2005 diff hist +239‎ Talk:Nixon diamond ‎No edit summary

12 March 2005

• 16:0116:01, 12 March 2005 diff hist +272‎ Default logic ‎ made the example more precise
• 15:4715:47, 12 March 2005 diff hist +432‎ Default logic ‎ rewritten introductive paragraph; from FOL to generic logic

8 March 2005

• 11:1911:19, 8 March 2005 diff hist −1‎ m Nixon diamond ‎No edit summary
• 11:1811:18, 8 March 2005 diff hist +534‎ Nixon diamond ‎No edit summary

7 March 2005

• 18:1918:19, 7 March 2005 diff hist +952‎ N Nixon diamond ‎No edit summary
• 18:0618:06, 7 March 2005 diff hist +109‎ m Default logic ‎ →‎Some Default Theories
• 17:5917:59, 7 March 2005 diff hist 0‎ m Default logic ‎ →‎Some Default Theories
• 17:5817:58, 7 March 2005 diff hist +14‎ m Default logic ‎ →‎Some Default Theories
• 17:5417:54, 7 March 2005 diff hist +44‎ m Default logic ‎ →‎Formal Definition of a Default Theory
• 17:5017:50, 7 March 2005 diff hist −26‎ m Default logic ‎ →‎Restrictions
• 17:4817:48, 7 March 2005 diff hist +48‎ m Default logic ‎ →‎Formal Definition of a Default Theory
• 17:4317:43, 7 March 2005 diff hist +449‎ Default logic ‎ →‎Some Default Theories
• 17:3617:36, 7 March 2005 diff hist +294‎ Default logic ‎ →‎Restrictions
• 17:3317:33, 7 March 2005 diff hist +204‎ m Default logic ‎ →‎Semantics
• 17:2617:26, 7 March 2005 diff hist +368‎ Default logic ‎ →‎Semantics
• 17:2217:22, 7 March 2005 diff hist +697‎ Default logic ‎ →‎Semantics
• 17:1517:15, 7 March 2005 diff hist +572‎ Default logic ‎No edit summary
• 17:0817:08, 7 March 2005 diff hist +299‎ m Default logic ‎No edit summary