Robert A. Kowalski

	2012
74		Robert A. Kowalski, Fariba Sadri: Teleo-Reactive Abductive Logic Programs. Logic Programs, Norms and Action 2012: 12-32
73		Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen Muggleton, Giovanni Sartor: The Scientific Contribution of Marek Sergot. Logic Programs, Norms and Action 2012: 4-11
	2011
72		Robert A. Kowalski: Artificial Intelligence and Human Thinking. IJCAI 2011: 11-16
71		Robert A. Kowalski, Fariba Sadri: Abductive logic programming agents with destructive databases. Ann. Math. Artif. Intell. 62(1-2): 129-158 (2011)
	2010
70		Robert A. Kowalski, Fariba Sadri: An Agent Language with Destructive Assignment and Model-Theoretic Semantics. CLIMA 2010: 200-218
	2009
69		Robert A. Kowalski, Fariba Sadri: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. RR 2009: 1-23
	2006
68		Phan Minh Dung, Robert A. Kowalski, Francesca Toni: Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell. 170(2): 114-159 (2006)
	2005
67		Robert A. Kowalski: The Logical Way to Be Artificially Intelligent. CLIMA 2005: 1-22
66		Robert A. Kowalski: Reconciling Logic and Objects. ENC 2005
	2002
65		Robert A. Kowalski: Directions for Logic Programming. Computational Logic: Logic Programming and Beyond 2002: 26-32
	2001
64		Robert A. Kowalski: Is Logic Really Dead or Only Just Sleeping? ICLP 2001: 2-3
	1999
63		Robert A. Kowalski, Fariba Sadri: From Logic Programming Towards Multi-Agent Systems. Ann. Math. Artif. Intell. 25(3-4): 391-419 (1999)
	1998
62		Robert A. Kowalski, Francesca Toni, Gerhard Wetzel: Executing Suspended Logic Programs. Fundam. Inform. 34(3): 203-224 (1998)
	1997
61		Anthony J. Bonner, Burkhard Freitag, Laura Giordano, Robert A. Kowalski: Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. ILPS 1997: 415-416
60		Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni: An Abstract, Argumentation-Theoretic Approach to Default Reasoning. Artif. Intell. 93: 63-101 (1997)
59		Robert A. Kowalski, Fariba Sadri: Reconciling the Event Calculus With the Situation Calculus. J. Log. Program. 31(1-3): 39-58 (1997)
58		Tzee Ho Fung, Robert A. Kowalski: The Iff Proof Procedure for Abductive Logic Programming. J. Log. Program. 33(2): 151-165 (1997)
	1996
57		Robert A. Kowalski: Logic Programming with Integrity Constraints. JELIA 1996: 301-302
56		Gerhard Wetzel, Robert A. Kowalski, Francesca Toni: PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). JICSLP 1996: 535
55		Phan Minh Dung, Robert A. Kowalski, Francesca Toni: Synthesis of Proof Procedures for Default Reasoning. LOPSTR 1996: 313-324
54		Robert A. Kowalski, Fariba Sadri: Towards a Unified Agent Architecture that Combines Rationality with Reactivity. Logic in Databases 1996: 137-149
53		Robert A. Kowalski, Francesca Toni: Abstract Argumentation. Artif. Intell. Law 4(3-4): 275-296 (1996)
	1995
52		Robert A. Kowalski: Logical Foundations for Multi-agent Systems. GULP-PRODE 1995: 39-40
51		Francesca Toni, Robert A. Kowalski: Reduction of Abductive Logic Programs to Normal Logic Programs. ICLP 1995: 367-381
50		Fariba Sadri, Robert A. Kowalski: Variants of the Event Calculus. ICLP 1995: 67-81
49		Francesca Toni, Robert A. Kowalski: An Argumentation-Theoretic Approach to Logic Program Transformation. LOPSTR 1995: 61-75
48		Gerhard Wetzel, Robert A. Kowalski, Francesca Toni: A Theorem-Proving approach to CLP. WLP 1995: 63-72
47		Robert A. Kowalski: Workshop Report: Application of Logic Programming to Legal Reasoning. New Generation Comput. 13(3&4): 435-439 (1995)
	1994
46		Suryanarayana M. Sripada, B. L. Rosser, J. M. Bedford, Robert A. Kowalski: Temporal Database Technology for Air Traffic Flow Management. ADB 1994: 28-41
45		Robert A. Kowalski, Fariba Sadri: The Situation Calculus and Event Calculus Compared. SLP 1994: 539-553
44		Robert A. Kowalski, Francesca Toni, Gerhard Wetzel: Towards a Declarative and Efficient Glass-Box CLP Language. WLP 1994: 138-141
	1993
43		Andrei Bondarenko, Francesca Toni, Robert A. Kowalski: An Assumption-Based Framework for Non-Monotonic Reasoning. LPNMR 1993: 171-189
42		Ehud Y. Shapiro, David H. D. Warren, Kazuhiro Fuchi, Robert A. Kowalski, Koichi Furukawa, Kazunori Ueda, Kenneth M. Kahn, Takashi Chikayama, Evan Tick: The Fifth Generation Project: Personal Perspectives. Commun. ACM 36(3): 46-103 (1993)
41		Robert A. Kowalski: Editorial: An Undergraduate Degree in Practical Reasoning. J. Log. Comput. 3(3): 227-229 (1993)
	1992
40		Robert A. Kowalski: Panel: A Springboard for Information Processing in the 21st Century. FGCS 1992: 219
39		Robert A. Kowalski: Theory and Practice in Logic Programming. Logic Programming Summer School 1992: 1-2
38		Robert A. Kowalski: Legislation as Logic Programs. Logic Programming Summer School 1992: 203-230
37		Antonis C. Kakas, Robert A. Kowalski, Francesca Toni: Abductive Logic Programming. J. Log. Comput. 2(6): 719-770 (1992)
36		Robert A. Kowalski: Database Updates in the Event Calculus. J. Log. Program. 12(1&2): 121-146 (1992)
	1991
35		Robert A. Kowalski: Legislation as Logic Programs. ICLP 1991: 910
34		Robert A. Kowalski: Logic Programing in Artificial Intelligence. IJCAI 1991: 596-604
33		Robert A. Kowalski, Fariba Sadri: Logic Programs with Exceptions. New Generation Comput. 9(3/4): 387-400 (1991)
	1990
32		Robert A. Kowalski, Fariba Sadri: Logic Programs with Exceptions. ICLP 1990: 598-613
	1989
31		Robert A. Kowalski: A Proposal for an Undergraduate Degree in the Uses of Logic. Artificial Intelligence in Higher Education 1989: 94-97
30		Robert A. Kowalski: The Treatment of Negation in Logic Programs for Representing Legislation. ICAIL 1989: 11-15
29		Kave Eshghi, Robert A. Kowalski: Abduction Compared with Negation by Failure. ICLP 1989: 234-254
28		K. K. Bajaj, R. K. Dubash, Robert A. Kowalski: Central Government Pension Rules as a Logic Program. KBCS 1989: 19-28
	1988
27		Robert A. Kowalski, Douglas B. Lenat, Elliot Soloway, Michael Stonebraker, Adrian Walker: Knowledge Management - Panel Report. Expert Database Conf. 1988: 63-69
26		Fariba Sadri, Robert A. Kowalski: A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. 1988: 313-362
25		Robert A. Kowalski: The Early Years of Logic Programming. Commun. ACM 31(1): 38-43 (1988)
	1987
24		Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87) Springer 1987
23		Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) Springer 1987
22		Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69
21		Robert A. Kowalski: Directions for Logic Programming. Wissensbasierte Systeme 1987: 128-146
	1986
20		Robert A. Kowalski: The limitation of logic. ACM Conference on Computer Science 1986: 7-13
19		Marek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory: The British Nationality Act as a Logic Program. Commun. ACM 29(5): 370-386 (1986)
18		Robert A. Kowalski, Marek J. Sergot: A Logic-based Calculus of Events. New Generation Comput. 4(1): 67-95 (1986)
	1985
17		Robert A. Kowalski, Marek J. Sergot: A Logic-Based Calculus of Events. Foundations of Knowledge Base Management (Xania) 1985: 23-55
16		Robert A. Kowalski: The Limitaions of Logic and Its Role in Artificial Intelligence. Foundations of Knowledge Base Management (Xania) 1985: 477-493
15		Robert A. Kowalski, Marek J. Sergot: Computer Representation of the Law. IJCAI 1985: 1269-1270
14		Robert A. Kowalski: Directions for Logic Programming. SLP 1985: 2-7
	1984
13		Robert A. Kowalski: Logic as a Database Language. BNCOD 1984: 103-132
12		Robert A. Kowalski: Logic for Knowledge Representation. FSTTCS 1984: 1-12
	1983
11		Robert A. Kowalski: Logic Programming. IFIP Congress 1983: 133-145
10		Robert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar: Panel on the Fifth Generation Project. IJCAI 1983: 1192-1194
	1982
9		Robert A. Kowalski: Logic as a Computer Language for Children. ECAI 1982: 2-10
	1980
8		Wolfgang Bibel, Robert A. Kowalski: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings Springer 1980
	1979
7		Amaryllis Deliyanni, Robert A. Kowalski: Logic and Semantic Networks. Commun. ACM 22(3): 184-192 (1979)
6		Robert A. Kowalski: Algorithm = Logic + Control. Commun. ACM 22(7): 424-436 (1979)
	1977
5		Robert A. Kowalski: Logic for Data Description. Logic and Data Bases 1977: 77-103
	1976
4		Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742 (1976)
	1975
3		Robert A. Kowalski: A Proof Procedure Using Connection Graphs. J. ACM 22(4): 572-595 (1975)
	1974
2		Robert A. Kowalski: Predicate Logic as Programming Language. IFIP Congress 1974: 569-574
	1971
1		Robert A. Kowalski, Donald Kuehner: Linear Resolution with Selection Function. Artif. Intell. 2(3/4): 227-260 (1971)

Coauthor Index

1	K. K. Bajaj	[28]
2	Steve Barker	[73]
3	J. M. Bedford	[46]
4	Wolfgang Bibel	[8]
5	Andrei Bondarenko	[43] [60]
6	Anthony J. Bonner	[61]
7	Takashi Chikayama	[42]
8	H. T. Cory	[19]
9	Amaryllis Deliyanni	[7]
10	Robert B. K. Dewar	[10]
11	R. K. Dubash	[28]
12	Phan Minh Dung	[55] [60] [68]
13	Hartmut Ehrig	[23] [24]
14	Maarten H. van Emden	[4]
15	Kave Eshghi	[29]
16	Burkhard Freitag	[61]
17	Kazuhiro Fuchi	[42]
18	Tzee Ho Fung	[58]
19	Koichi Furukawa	[42]
20	Hervé Gallaire	[10]
21	Laura Giordano	[61]
22	Peter Hammond	[19]
23	Andrew J. I. Jones	[73]
24	Kenneth M. Kahn	[42]
25	Antonis C. Kakas	[37] [73]
26	F. Kriwaczek	[19]
27	Donald Kuehner	[1]
28	Douglas B. Lenat	[27]
29	Giorgio Levi	[23] [24]
30	Alessio Lomuscio	[73]
31	Rob Miller (Robert Simon Miller)	[73]
32	Ugo Montanari	[23] [24]
33	Stephen Muggleton	[73]
34	B. L. Rosser	[46]
35	Fariba Sadri	[19] [22] [26] [32] [33] [45] [50] [54] [59] [63] [69] [70] [71] [74]
36	Giovanni Sartor	[73]
37	Marek J. Sergot	[15] [17] [18] [19]
38	Ehud Y. Shapiro	[42]
39	Elliot Soloway	[27]
40	Paul Soper	[22]
41	Suryanarayana M. Sripada	[46]
42	Michael Stonebraker	[27]
43	Evan Tick	[42]
44	Francesca Toni	[37] [43] [44] [48] [49] [51] [53] [55] [56] [60] [62] [68]
45	Kazunori Ueda	[42]
46	Adrian Walker	[27]
47	David H. D. Warren	[42]
48	Gerhard Wetzel	[44] [48] [56] [62]
49	Toshio Yokoi	[10]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page