dblp.uni-trier.dewww.uni-trier.de

Robert A. Kowalski Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
69EERobert A. Kowalski, Fariba Sadri: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. RR 2009: 1-23
2006
68EEPhan Minh Dung, Robert A. Kowalski, Francesca Toni: Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell. 170(2): 114-159 (2006)
2005
67EERobert A. Kowalski: The Logical Way to Be Artificially Intelligent. CLIMA VI 2005: 1-22
66EERobert A. Kowalski: Reconciling Logic and Objects. ENC 2005
2002
65EERobert A. Kowalski: Directions for Logic Programming. Computational Logic: Logic Programming and Beyond 2002: 26-32
2001
64EERobert 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
60EEAndrei 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
57EERobert 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
31EERobert A. Kowalski: A Proposal for an Undergraduate Degree in the Uses of Logic. Artificial Intelligence in Higher Education 1989: 94-97
30EERobert 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
28EEK. 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
22EERobert 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
20EERobert 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
12EERobert 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
4EEMaarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742 (1976)
1975
3EERobert 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)