Search the dblp DataBase
Robert A. Kowalski :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Robert A. Kowalski , Fariba Sadri , Paul Soper Integrity Checking in Deductive Databases. [Citation Graph (20, 6)][DBLP ] VLDB, 1987, pp:61-69 [Conf ] 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 ] 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 ] Robert A. Kowalski Logic for Data Description. [Citation Graph (10, 0)][DBLP ] Logic and Data Bases, 1977, pp:77-103 [Conf ] Robert A. Kowalski , Fariba Sadri Logic Programs with Exceptions. [Citation Graph (7, 0)][DBLP ] ICLP, 1990, pp:598-613 [Conf ] Robert A. Kowalski Predicate Logic as Programming Language. [Citation Graph (7, 0)][DBLP ] IFIP Congress, 1974, pp:569-574 [Conf ] Robert A. Kowalski Algorithm = Logic + Control. [Citation Graph (7, 0)][DBLP ] Commun. ACM, 1979, v:22, n:7, pp:424-436 [Journal ] 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 ] 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 ] Kave Eshghi , Robert A. Kowalski Abduction Compared with Negation by Failure. [Citation Graph (4, 0)][DBLP ] ICLP, 1989, pp:234-254 [Conf ] Robert A. Kowalski Logic as a Database Language. [Citation Graph (3, 0)][DBLP ] BNCOD, 1984, pp:103-132 [Conf ] 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 ] Robert A. Kowalski Logic Programming. [Citation Graph (2, 0)][DBLP ] IFIP Congress, 1983, pp:133-145 [Conf ] Robert A. Kowalski , Fariba Sadri The Situation Calculus and Event Calculus Compared. [Citation Graph (1, 0)][DBLP ] SLP, 1994, pp:539-553 [Conf ] 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 ] Robert A. Kowalski The limitation of logic. [Citation Graph (0, 0)][DBLP ] ACM Conference on Computer Science, 1986, pp:7-13 [Conf ] 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 ] Robert A. Kowalski Logical Foundations for Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] GULP-PRODE, 1995, pp:39-40 [Conf ] Robert A. Kowalski Directions for Logic Programming. [Citation Graph (0, 0)][DBLP ] Computational Logic: Logic Programming and Beyond, 2002, pp:26-32 [Conf ] 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 ] Robert A. Kowalski The Logical Way to Be Artificially Intelligent. [Citation Graph (0, 0)][DBLP ] CLIMA VI, 2005, pp:1-22 [Conf ] 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 ] 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 ] Robert A. Kowalski Logic as a Computer Language for Children. [Citation Graph (0, 0)][DBLP ] ECAI, 1982, pp:2-10 [Conf ] 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 ] Robert A. Kowalski Reconciling Logic and Objects. [Citation Graph (0, 0)][DBLP ] ENC, 2005, pp:- [Conf ] Robert A. Kowalski Panel: A Springboard for Information Processing in the 21st Century. [Citation Graph (0, 0)][DBLP ] FGCS, 1992, pp:219- [Conf ] Robert A. Kowalski Logic for Knowledge Representation. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1984, pp:1-12 [Conf ] Robert A. Kowalski The Treatment of Negation in Logic Programs for Representing Legislation. [Citation Graph (0, 0)][DBLP ] ICAIL, 1989, pp:11-15 [Conf ] Robert A. Kowalski Is Logic Really Dead or Only Just Sleeping? [Citation Graph (0, 0)][DBLP ] ICLP, 2001, pp:2-3 [Conf ] Robert A. Kowalski Legislation as Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:910- [Conf ] Fariba Sadri , Robert A. Kowalski Variants of the Event Calculus. [Citation Graph (0, 0)][DBLP ] ICLP, 1995, pp:67-81 [Conf ] 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 ] 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 ] Robert A. Kowalski Logic Programing in Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] IJCAI, 1991, pp:596-604 [Conf ] 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 ] Robert A. Kowalski , Marek J. Sergot Computer Representation of the Law. [Citation Graph (0, 0)][DBLP ] IJCAI, 1985, pp:1269-1270 [Conf ] Robert A. Kowalski Logic Programming with Integrity Constraints. [Citation Graph (0, 0)][DBLP ] JELIA, 1996, pp:301-302 [Conf ] 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 ] 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 ] 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 ] Francesca Toni , Robert A. Kowalski An Argumentation-Theoretic Approach to Logic Program Transformation. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1995, pp:61-75 [Conf ] 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 ] Robert A. Kowalski Theory and Practice in Logic Programming. [Citation Graph (0, 0)][DBLP ] Logic Programming Summer School, 1992, pp:1-2 [Conf ] Robert A. Kowalski Legislation as Logic Programs. [Citation Graph (0, 0)][DBLP ] Logic Programming Summer School, 1992, pp:203-230 [Conf ] 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 ] Robert A. Kowalski Directions for Logic Programming. [Citation Graph (0, 0)][DBLP ] SLP, 1985, pp:2-7 [Conf ] Robert A. Kowalski Directions for Logic Programming. [Citation Graph (0, 0)][DBLP ] Wissensbasierte Systeme, 1987, pp:128-146 [Conf ] 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 ] Gerhard Wetzel , Robert A. Kowalski , Francesca Toni A Theorem-Proving approach to CLP. [Citation Graph (0, 0)][DBLP ] WLP, 1995, pp:63-72 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] An Agent Language with Destructive Assignment and Model-Theoretic Semantics. [Citation Graph (, )][DBLP ] Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.460secs