The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert A. Kowalski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Maarten H. van Emden, Robert A. Kowalski
    The Semantics of Predicate Logic as a Programming Language. [Citation Graph (74, 0)][DBLP]
    J. ACM, 1976, v:23, n:4, pp:733-742 [Journal]
  2. Robert A. Kowalski, Fariba Sadri, Paul Soper
    Integrity Checking in Deductive Databases. [Citation Graph (20, 6)][DBLP]
    VLDB, 1987, pp:61-69 [Conf]
  3. Robert A. Kowalski
    A Proof Procedure Using Connection Graphs. [Citation Graph (11, 0)][DBLP]
    J. ACM, 1975, v:22, n:4, pp:572-595 [Journal]
  4. Robert A. Kowalski, Marek J. Sergot
    A Logic-based Calculus of Events. [Citation Graph (11, 0)][DBLP]
    New Generation Comput., 1986, v:4, n:1, pp:67-95 [Journal]
  5. Robert A. Kowalski
    Logic for Data Description. [Citation Graph (10, 0)][DBLP]
    Logic and Data Bases, 1977, pp:77-103 [Conf]
  6. Robert A. Kowalski, Fariba Sadri
    Logic Programs with Exceptions. [Citation Graph (7, 0)][DBLP]
    ICLP, 1990, pp:598-613 [Conf]
  7. Robert A. Kowalski
    Predicate Logic as Programming Language. [Citation Graph (7, 0)][DBLP]
    IFIP Congress, 1974, pp:569-574 [Conf]
  8. Robert A. Kowalski
    Algorithm = Logic + Control. [Citation Graph (7, 0)][DBLP]
    Commun. ACM, 1979, v:22, n:7, pp:424-436 [Journal]
  9. Amaryllis Deliyanni, Robert A. Kowalski
    Logic and Semantic Networks. [Citation Graph (6, 0)][DBLP]
    Commun. ACM, 1979, v:22, n:3, pp:184-192 [Journal]
  10. Robert A. Kowalski
    Database Updates in the Event Calculus. [Citation Graph (6, 0)][DBLP]
    J. Log. Program., 1992, v:12, n:1&2, pp:121-146 [Journal]
  11. Kave Eshghi, Robert A. Kowalski
    Abduction Compared with Negation by Failure. [Citation Graph (4, 0)][DBLP]
    ICLP, 1989, pp:234-254 [Conf]
  12. Robert A. Kowalski
    Logic as a Database Language. [Citation Graph (3, 0)][DBLP]
    BNCOD, 1984, pp:103-132 [Conf]
  13. Robert A. Kowalski, Donald Kuehner
    Linear Resolution with Selection Function. [Citation Graph (3, 0)][DBLP]
    Artif. Intell., 1971, v:2, n:3/4, pp:227-260 [Journal]
  14. Robert A. Kowalski
    Logic Programming. [Citation Graph (2, 0)][DBLP]
    IFIP Congress, 1983, pp:133-145 [Conf]
  15. Robert A. Kowalski, Fariba Sadri
    The Situation Calculus and Event Calculus Compared. [Citation Graph (1, 0)][DBLP]
    SLP, 1994, pp:539-553 [Conf]
  16. Marek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory
    The British Nationality Act as a Logic Program. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1986, v:29, n:5, pp:370-386 [Journal]
  17. Robert A. Kowalski
    The limitation of logic. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:7-13 [Conf]
  18. Suryanarayana M. Sripada, B. L. Rosser, J. M. Bedford, Robert A. Kowalski
    Temporal Database Technology for Air Traffic Flow Management. [Citation Graph (0, 0)][DBLP]
    ADB, 1994, pp:28-41 [Conf]
  19. Robert A. Kowalski
    Logical Foundations for Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:39-40 [Conf]
  20. Robert A. Kowalski
    Directions for Logic Programming. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:26-32 [Conf]
  21. Robert A. Kowalski
    A Proposal for an Undergraduate Degree in the Uses of Logic. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence in Higher Education, 1989, pp:94-97 [Conf]
  22. Robert A. Kowalski
    The Logical Way to Be Artificially Intelligent. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:1-22 [Conf]
  23. Robert A. Kowalski
    The Limitaions of Logic and Its Role in Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    Foundations of Knowledge Base Management (Xania), 1985, pp:477-493 [Conf]
  24. Robert A. Kowalski, Marek J. Sergot
    A Logic-Based Calculus of Events. [Citation Graph (0, 0)][DBLP]
    Foundations of Knowledge Base Management (Xania), 1985, pp:23-55 [Conf]
  25. Robert A. Kowalski
    Logic as a Computer Language for Children. [Citation Graph (0, 0)][DBLP]
    ECAI, 1982, pp:2-10 [Conf]
  26. Robert A. Kowalski, Douglas B. Lenat, Elliot Soloway, Michael Stonebraker, Adrian Walker
    Knowledge Management - Panel Report. [Citation Graph (0, 0)][DBLP]
    Expert Database Conf., 1988, pp:63-69 [Conf]
  27. Robert A. Kowalski
    Reconciling Logic and Objects. [Citation Graph (0, 0)][DBLP]
    ENC, 2005, pp:- [Conf]
  28. Robert A. Kowalski
    Panel: A Springboard for Information Processing in the 21st Century. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:219- [Conf]
  29. Robert A. Kowalski
    Logic for Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1984, pp:1-12 [Conf]
  30. Robert A. Kowalski
    The Treatment of Negation in Logic Programs for Representing Legislation. [Citation Graph (0, 0)][DBLP]
    ICAIL, 1989, pp:11-15 [Conf]
  31. Robert A. Kowalski
    Is Logic Really Dead or Only Just Sleeping? [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:2-3 [Conf]
  32. Robert A. Kowalski
    Legislation as Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:910- [Conf]
  33. Fariba Sadri, Robert A. Kowalski
    Variants of the Event Calculus. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:67-81 [Conf]
  34. Francesca Toni, Robert A. Kowalski
    Reduction of Abductive Logic Programs to Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:367-381 [Conf]
  35. Gerhard Wetzel, Robert A. Kowalski, Francesca Toni
    PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:535- [Conf]
  36. Robert A. Kowalski
    Logic Programing in Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:596-604 [Conf]
  37. Robert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar
    Panel on the Fifth Generation Project. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:1192-1194 [Conf]
  38. Robert A. Kowalski, Marek J. Sergot
    Computer Representation of the Law. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1269-1270 [Conf]
  39. Robert A. Kowalski
    Logic Programming with Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:301-302 [Conf]
  40. K. K. Bajaj, R. K. Dubash, Robert A. Kowalski
    Central Government Pension Rules as a Logic Program. [Citation Graph (0, 0)][DBLP]
    KBCS, 1989, pp:19-28 [Conf]
  41. Robert A. Kowalski, Fariba Sadri
    Towards a Unified Agent Architecture that Combines Rationality with Reactivity. [Citation Graph (0, 0)][DBLP]
    Logic in Databases, 1996, pp:137-149 [Conf]
  42. Phan Minh Dung, Robert A. Kowalski, Francesca Toni
    Synthesis of Proof Procedures for Default Reasoning. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:313-324 [Conf]
  43. Francesca Toni, Robert A. Kowalski
    An Argumentation-Theoretic Approach to Logic Program Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1995, pp:61-75 [Conf]
  44. Andrei Bondarenko, Francesca Toni, Robert A. Kowalski
    An Assumption-Based Framework for Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1993, pp:171-189 [Conf]
  45. Robert A. Kowalski
    Theory and Practice in Logic Programming. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:1-2 [Conf]
  46. Robert A. Kowalski
    Legislation as Logic Programs. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:203-230 [Conf]
  47. Anthony J. Bonner, Burkhard Freitag, Laura Giordano, Robert A. Kowalski
    Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:415-416 [Conf]
  48. Robert A. Kowalski
    Directions for Logic Programming. [Citation Graph (0, 0)][DBLP]
    SLP, 1985, pp:2-7 [Conf]
  49. Robert A. Kowalski
    Directions for Logic Programming. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1987, pp:128-146 [Conf]
  50. Robert A. Kowalski, Francesca Toni, Gerhard Wetzel
    Towards a Declarative and Efficient Glass-Box CLP Language. [Citation Graph (0, 0)][DBLP]
    WLP, 1994, pp:138-141 [Conf]
  51. Gerhard Wetzel, Robert A. Kowalski, Francesca Toni
    A Theorem-Proving approach to CLP. [Citation Graph (0, 0)][DBLP]
    WLP, 1995, pp:63-72 [Conf]
  52. Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni
    An Abstract, Argumentation-Theoretic Approach to Default Reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1997, v:93, n:, pp:63-101 [Journal]
  53. Phan Minh Dung, Robert A. Kowalski, Francesca Toni
    Dialectic proof procedures for assumption-based, admissible argumentation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2006, v:170, n:2, pp:114-159 [Journal]
  54. Robert A. Kowalski, Francesca Toni
    Abstract Argumentation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Law, 1996, v:4, n:3-4, pp:275-296 [Journal]
  55. Robert A. Kowalski, Fariba Sadri
    From Logic Programming Towards Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:391-419 [Journal]
  56. Robert A. Kowalski
    The Early Years of Logic Programming. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1988, v:31, n:1, pp:38-43 [Journal]
  57. 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. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1993, v:36, n:3, pp:46-103 [Journal]
  58. Robert A. Kowalski, Francesca Toni, Gerhard Wetzel
    Executing Suspended Logic Programs. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1998, v:34, n:3, pp:203-224 [Journal]
  59. Tzee Ho Fung, Robert A. Kowalski
    The Iff Proof Procedure for Abductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:33, n:2, pp:151-165 [Journal]
  60. Robert A. Kowalski, Fariba Sadri
    Reconciling the Event Calculus With the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:31, n:1-3, pp:39-58 [Journal]
  61. Antonis C. Kakas, Robert A. Kowalski, Francesca Toni
    Abductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:6, pp:719-770 [Journal]
  62. Robert A. Kowalski
    Editorial: An Undergraduate Degree in Practical Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:3, pp:227-229 [Journal]
  63. Robert A. Kowalski
    Workshop Report: Application of Logic Programming to Legal Reasoning. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1995, v:13, n:3&4, pp:435-439 [Journal]
  64. Robert A. Kowalski, Fariba Sadri
    Logic Programs with Exceptions. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1991, v:9, n:3/4, pp:387-400 [Journal]

  65. An Agent Language with Destructive Assignment and Model-Theoretic Semantics. [Citation Graph (, )][DBLP]


  66. Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. [Citation Graph (, )][DBLP]


Search in 2.119secs, Finished in 2.121secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002