User contributions for Robert Kowalski
A user with 583 edits. Account created on 13 December 2006.
9 October 2024
- 16:0416:04, 9 October 2024 diff hist +7 m Pat Hayes No edit summary
- 15:3815:38, 9 October 2024 diff hist +49 m Pat Hayes →Career: links
- 15:2715:27, 9 October 2024 diff hist −1 m Pat Hayes No edit summary
- 15:2615:26, 9 October 2024 diff hist +1,285 Pat Hayes →Career and research: Separate Career and Research
- 12:5112:51, 9 October 2024 diff hist +50 Pat Hayes →Career and research: artwork on flickr
- 12:4212:42, 9 October 2024 diff hist +281 Pat Hayes →Career and research: spare time activities
- 12:3612:36, 9 October 2024 diff hist −80 Pat Hayes →Career and research: No evidence that John McCarthy was the first to use the term "ontology", at least not in any readily available publications.
- 12:2812:28, 9 October 2024 diff hist +137 Pat Hayes →Career and research: The Simon Newcomb Awards.
- 11:5511:55, 9 October 2024 diff hist +94 Pat Hayes →Career and research: citation for "reputation for being provocative but also quite humorous"
- 10:4610:46, 9 October 2024 diff hist +5 m Pat Hayes →Career and research
- 09:2609:26, 9 October 2024 diff hist +92 Alessandra Russo →Career: Head of Department of Computing, Imperial College London current
- 09:2309:23, 9 October 2024 diff hist +34 Department of Computing, Imperial College London →Heads of Department: Alessandra Russo current
- 08:5608:56, 9 October 2024 diff hist +7 m Pat Hayes AAAI = Association for the Advancement of Artificial Intelligence
- 08:5308:53, 9 October 2024 diff hist +155 Pat Hayes →Career and research: dates
- 08:0408:04, 9 October 2024 diff hist +109 Pat Hayes update current status as Senior Research Scientist Emeritus
- 07:4307:43, 9 October 2024 diff hist 0 Pat Hayes PhD in 1973, not 1975.
- 07:4207:42, 9 October 2024 diff hist −196 Pat Hayes →Education: corrected dates and reference to PhD
8 October 2024
- 15:0115:01, 8 October 2024 diff hist +16 m Set (mathematics) No edit summary
29 August 2024
- 07:3807:38, 29 August 2024 diff hist +10 History of artificial intelligence →Government funding increases: FGCS initially chose Prolog, but shifted later to concurrent logic programming.
23 May 2024
- 09:2509:25, 23 May 2024 diff hist +343 Talk:Definition →Definitions as logic programs: Reply Tag: Reply
22 May 2024
- 15:0815:08, 22 May 2024 diff hist +836 Talk:Definition →Definitions as logic programs: Reply Tag: Reply
- 12:4112:41, 22 May 2024 diff hist +1,471 Talk:Definition →Definitions as logic programs: Reply Tag: Reply
21 May 2024
- 08:3908:39, 21 May 2024 diff hist +344 Talk:Definition →Definitions as logic programs: new section Tag: New topic
- 06:4406:44, 21 May 2024 diff hist +3,553 Definition The notion of logic programs viewed as definitions in mentioned 13 times in the logic programming article. Tags: Undo Reverted
27 April 2024
- 21:4621:46, 27 April 2024 diff hist −3 Prolog Undid revision 1221085808 by JustasidequestNPC (talk) Tag: Undo
15 April 2024
- 08:1908:19, 15 April 2024 diff hist −242 Prolog Undid revision 1218966923 by 76.39.100.49 (talk) Tag: Undo
7 April 2024
- 11:0811:08, 7 April 2024 diff hist −53 Artificial intelligence "The central scientific goal of AI is to understand the principles that make intelligent behavior possible in natural or artificial systems."
- 10:5910:59, 7 April 2024 diff hist +647 Talk:Artificial intelligence →First paragraph: Reply Tag: Reply
2 April 2024
- 18:0518:05, 2 April 2024 diff hist +3 m Talk:Unification (computer science) →For Mr Jochen Burghardt & Mathnerd314159 ako Karen Oliver
- 10:3110:31, 2 April 2024 diff hist +1,479 Talk:Unification (computer science) →For Mr Jochen Burghardt & Mathnerd314159 ako Karen Oliver: The survey by Kevin Knight.
27 March 2024
- 19:1719:17, 27 March 2024 diff hist +206 Controlled natural language →Languages: Logical English
- 15:0515:05, 27 March 2024 diff hist +617 Talk:Artificial intelligence →First paragraph: Reply Tag: Reply
26 March 2024
- 22:3722:37, 26 March 2024 diff hist +4,465 User:Robert Kowalski/sandbox AI Logic section current
- 18:1418:14, 26 March 2024 diff hist +889 Artificial intelligence →Logic: Correct "proof path" to "proof tree". Correct misleading statement about inefficiency of logical reasoning. Plus other more minor corrections.
- 09:3309:33, 26 March 2024 diff hist −123 Fifth Generation Computer Systems Undid revision 1215464198 by 41.57.95.113 (talk not relevant) Tag: Undo
21 March 2024
- 11:1711:17, 21 March 2024 diff hist +35 Recursive definition →See also: Recursion (computer science) current
17 March 2024
- 09:4809:48, 17 March 2024 diff hist +503 Prolog →Interfaces to other languages: Janus
15 March 2024
- 16:2516:25, 15 March 2024 diff hist −186 User:Robert Kowalski/sandbox No edit summary
- 16:2416:24, 15 March 2024 diff hist +186 Python (programming language) →Uses: SWI-Prolog Python interface
- 16:2016:20, 15 March 2024 diff hist +188 User:Robert Kowalski/sandbox SWI-Prolog Python interface
13 March 2024
- 16:0916:09, 13 March 2024 diff hist +14 Database →See also: Datalog
- 12:1612:16, 13 March 2024 diff hist −34 User:Robert Kowalski →To do current
- 12:1512:15, 13 March 2024 diff hist +73 User:Robert Kowalski →Recent Edits: Recursion in Logic Programming
- 12:1212:12, 13 March 2024 diff hist −26 Recursion (computer science) →Recursion in Logic Programming
- 12:0312:03, 13 March 2024 diff hist +2,461 Recursion (computer science) Recursion in Logic Programming
12 March 2024
- 15:5615:56, 12 March 2024 diff hist +7 User:Robert Kowalski/sandbox No edit summary
- 15:4315:43, 12 March 2024 diff hist +2,794 User:Robert Kowalski/sandbox Recursion in Logic Programming
- 12:5112:51, 12 March 2024 diff hist −60 User:Robert Kowalski →To do: done Tag: Manual revert
11 March 2024
- 10:5610:56, 11 March 2024 diff hist +969 Talk:Prolog →Designers of Prolog: new section Tag: New topic
- 10:5510:55, 11 March 2024 diff hist −21 Prolog Designers of Prolog
