| 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) |
