User contributions for Robert Kowalski
A user with 564 edits. Account created on 13 December 2006.
23 May 2024
- 09:2509:25, 23 May 2024 diff hist +343 Talk:Definition →Definitions as logic programs: Reply current 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 current
- 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
- 08:5708:57, 11 March 2024 diff hist +31 Prolog Automated theorem proving
7 March 2024
- 13:4413:44, 7 March 2024 diff hist +285 Talk:Datalog →Free software vs open source: Reply Tag: Reply
- 12:3412:34, 7 March 2024 diff hist +265 User talk:Liz →Draft:List of Datalog engines: I have restored the deleted material in the main article.
- 12:2712:27, 7 March 2024 diff hist +18,356 Datalog →Datalog engines: Restored list of Datalog Engines deleted on 2 March 2023.
6 March 2024
- 12:3112:31, 6 March 2024 diff hist +1,207 Talk:Recursion (computer science) →This article presents a narrow view of recursion in computer science: new section Tag: New topic
28 February 2024
- 17:2117:21, 28 February 2024 diff hist +263 Talk:Barbara Minto →Merge proposal: Reply Tag: Reply
27 February 2024
- 16:2316:23, 27 February 2024 diff hist +321 Python (programming language) →Uses: ProbLog
26 February 2024
- 13:0113:01, 26 February 2024 diff hist +60 User:Robert Kowalski →To do Tag: Reverted
- 12:5112:51, 26 February 2024 diff hist +552 User talk:Liz →Draft:List of Datalog engines: new section Tag: New topic
- 12:3312:33, 26 February 2024 diff hist +76 User:Robert Kowalski →Recent Edits: Function (computer programming)
24 February 2024
- 10:0510:05, 24 February 2024 diff hist +1,787 Talk:Prolog →What makes Prolog special?: The close relationship to natural language
23 February 2024
22 February 2024
- 21:0921:09, 22 February 2024 diff hist +1,718 User talk:ButterBookie/sandbox →Logic and English: Reply Tag: Reply
- 18:0918:09, 22 February 2024 diff hist +497 User talk:ButterBookie/sandbox →Logic and English: No need to refer to semantics in the introduction.
21 February 2024
- 09:3509:35, 21 February 2024 diff hist +1,298 User talk:ButterBookie/sandbox →Logic and English: new section Tag: New topic
- 08:1908:19, 21 February 2024 diff hist −25 Function (computer programming) A function, subprogram, procedure, method, routine or subroutine is a callable unit
20 February 2024
- 18:5418:54, 20 February 2024 diff hist +12 Function (computer programming) →See also: Look up subroutine or function in Wiktionary,
- 18:5218:52, 20 February 2024 diff hist +24 Function (computer programming) →See also: Logic Programming
- 13:0613:06, 20 February 2024 diff hist −5 m Function (computer programming) →Prolog