2006 | ||
---|---|---|
68 | EE | 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 | EE | Robert A. Kowalski: The Logical Way to Be Artificially Intelligent. CLIMA VI 2005: 1-22 |
66 | EE | Robert A. Kowalski: Reconciling Logic and Objects. ENC 2005 |
2002 | ||
65 | EE | Robert A. Kowalski: Directions for Logic Programming. Computational Logic: Logic Programming and Beyond 2002: 26-32 |
2001 | ||
64 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |