Robert A. Kowalski
#115,154
Most Influential Person Now
Robert A. Kowalski's AcademicInfluence.com Rankings
Robert A. Kowalskicomputer-science Degrees
Computer Science
#4471
World Rank
#4715
Historical Rank
Programming
#57
World Rank
#60
Historical Rank
Database
#1685
World Rank
#1766
Historical Rank

Download Badge
Computer Science
Why Is Robert A. Kowalski Influential?
(Suggest an Edit or Addition)Robert A. Kowalski's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- The Semantics of Predicate Logic as a Programming Language (1976) (1692)
- Logic for problem solving (1982) (1682)
- A logic-based calculus of events (1989) (1297)
- Predicate Logic as Programming Language (1974) (869)
- An Abstract, Argumentation-Theoretic Approach to Default Reasoning (1997) (737)
- Algorithm = logic + control (1979) (660)
- The British Nationality Act as a logic program (1986) (583)
- The role of abduction in logic programming (1995) (438)
- Abduction Compared with Negation by Failure (1989) (417)
- Linear Resolution with Selection Function (1971) (402)
- A Proof Procedure Using Connection Graphs (1975) (289)
- Dialectic proof procedures for assumption-based, admissible argumentation (2006) (276)
- The Iff Proof Procedure for Abductive Logic Programming (1997) (241)
- Assumption-Based Argumentation (2009) (237)
- Database Updates in the Event Calculus (1992) (187)
- Integrity Checking in Deductive Databases (1987) (185)
- A Theorem-Proving Approach to Database Integrity (1988) (184)
- The early years of logic programming (1988) (174)
- From logic programming towards multi‐agent systems (1999) (151)
- An Assumption-Based Framework for Non-Monotonic Reasoning (1993) (150)
- Abstract argumentation (1996) (131)
- Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011) (119)
- Towards a Unified Agent Architecture that Combines Rationality with Reactivity (1996) (118)
- Logic and semantic networks (1979) (99)
- Problems and Promises of Computational Logic (1990) (98)
- Logic for Data Description (1977) (94)
- Using Meta-Logic to Reconcile Reactive with Rational Agents (1995) (91)
- Semantic Trees in Automatic Theorem-Proving (1983) (81)
- Variants of the Event Calculus (1995) (76)
- The relation between logic programming and logic specification (1984) (75)
- The Situation Calculus and Event Calculus Compared (1994) (69)
- Reconciling the Event Calculus With the Situation Calculus (1997) (64)
- Legislation as Logic Programs (1992) (51)
- The Use of Logical Models in Legal Problem Solving (1990) (50)
- Executing Suspended Logic Programs (1998) (49)
- A Metalogic Programming Approach to Multi-Agent Knowledge and Belief (1991) (46)
- A Formal Representation of the WHO and UNICEF Estimates of National Immunization Coverage: A Computational Logic Approach (2012) (44)
- Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes) (1988) (40)
- The treatment of negation in logic programs for representing legislation (1989) (39)
- Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents (2009) (39)
- Logic without model theory (1994) (36)
- Abductive logic programming agents with destructive databases (2011) (35)
- Logic as a Database Language (1984) (35)
- The Logical Way to Be Artificially Intelligent (2005) (35)
- Studies in the completeness and efficiency of theorem-proving by resolution (1970) (35)
- Logic programs with exceptions (1990) (34)
- Logic as a Computer Language for Children (1982) (34)
- From Logic Programming to Multi-agent systems (1998) (32)
- A Logic-Based Framework for Reactive Systems (2012) (25)
- The Case for Using Equality Axioms in Automatic Demonstration (1983) (25)
- Computer Representation of the Law (1985) (23)
- Formalisation of the British nationality act (1986) (22)
- Computational Logic: Logic Programming and Beyond (2002) (21)
- Reactive Computing as Model Generation (2015) (20)
- Software engineering and artificial intelligence in new generaton computing (1984) (20)
- Reduction of Abductive Logic Programs to Normal Logic Programs (1995) (20)
- Logic programming in artificial intelligence (1991) (19)
- Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies (1994) (19)
- CHICA, an abductive planning system based on Event Calculus (1994) (19)
- Directions for Logic Programming (1987) (17)
- An Agent Language with Destructive Assignment and Model-Theoretic Semantics (2010) (16)
- A Theorem-Proving approach to CLP (1995) (16)
- Towards a Declarative and Efficient Glass-Box CLP Language (1994) (16)
- What Makes a Good CLI (2017) (15)
- Programming in logic without logic programming (2016) (14)
- Proceedings of the 5th Conference on Automated Deduction (1980) (12)
- Abductive Logic Programming 1 (1993) (12)
- Logic Programming in the Fifth Generation (1984) (12)
- A logic-based approach to conflict resolution (2003) (12)
- Reasoning with conditionals in artificial intelligence (2010) (12)
- Temporal Database Technology for Air Traffic Flow Management (1994) (11)
- Teleo-Reactive Abductive Logic Programs (2012) (11)
- An Agent Architecture that Unifies Rationality with Reactivity (1998) (11)
- Synthesis of Proof Procedures for Default Reasoning (1996) (10)
- Logical English meets legal English for swaps and derivatives (2021) (10)
- Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages (2018) (10)
- WUENIC - A Case Study in Rule-Based Knowledge Representation and Reasoning (2011) (10)
- Software engineering and artificial intelligence in new generation computing (1984) (9)
- Towards a Logic-Based Unifying Framework for Computing (2013) (9)
- A Logical Characterization of a Reactive System Language (2014) (7)
- The limitation of logic (1986) (7)
- Obligation as Optimal Goal Satisfaction (2018) (7)
- Belief revision without constraints (1987) (7)
- Artificial Intelligence and Human Thinking (2011) (6)
- Logic Programing in Artificial Intelligence (1991) (6)
- An Agent Architecture That Combines Backward and Forward Reasoning (1998) (6)
- Logic Programming with Integrity Constraints (1996) (6)
- Artificial Intelligence and the Natural World (2006) (4)
- Is Logic Really Dead or Only Just Sleeping? (2001) (4)
- Computational Logic and Human Thinking: Truth (2011) (3)
- An Argumentation-Theoretic Approach to Logic Program Transformation (1995) (3)
- Logic for Knowledge Representation (1984) (3)
- 10 Andor Graphs , Theorem-proving Graphs and Bi-directional Search (2013) (3)
- Scheduling in a New Constraint Logic Programming Framework (1994) (3)
- Representing change in air traffic flow management using the event calculus (1990) (3)
- Logic Programming (1983) (2)
- Programming in the year 2010 (1990) (2)
- Reconciling Logic and Objects (2005) (2)
- Computer correction of distortion in ATS-SSCC photographs. (1969) (2)
- Logic Programming in the 1970s (2013) (2)
- PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract) (1996) (2)
- Integration of Logical English and s(CASP) (2022) (2)
- A Proposal for an Undergraduate Degree in the Uses of Logic (1989) (2)
- How to do it with LPS (Logic-Based Production System) (2017) (2)
- Central Government Pension Rules as a Logic Program (1989) (2)
- Logical English for Legal Applications (1)
- Logical Foundations for Multi-agent Systems (1995) (1)
- The Limitaions of Logic and Its Role in Artificial Intelligence (1989) (1)
- Artificial Intelli gence and the Natural Wor ld (2001) (1)
- Logic as the Fifth Generation computer language (1983) (1)
- From Mathematical Logic, to Natural Language, Artificial Intelligence, and Human Thinking (A short essay in honour of Andrzej Mostowski) (2008) (1)
- English as a logic programming language (1990) (1)
- 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) (1987) (1)
- The International Joint Conference on theory and practice of software development on TAPSOFT '87 (1987) (1)
- Theory and Practice in Logic Programming (1992) (1)
- LPS-A Logic-based Production System Framework (2009) (1)
- Migrating Large Amounts of Data by Using Streams (2017) (0)
- Subscription Information Order Information Back Issues Logic Journal of the Igpl (0)
- Computational Logic and Human Thinking: The syntax of logical form (2011) (0)
- Computational Logic and Human Thinking: Summary and plan of the book (2011) (0)
- Computational Logic and Human Thinking: The changing world (2011) (0)
- 10 Search Strategies for Theorem-Proving (2012) (0)
- Computational Logic and Human Thinking: Meta-logic (2011) (0)
- 2 A Logic-Based Calculus of Events l (1989) (0)
- Computational Logic and Human Thinking: The resolution rule (2011) (0)
- I 0 = (ffx 0 A; Y 0 Bg =: 0 G; ;) (1988) (0)
- Satisfiability for First-order Logic as a Non-Modal Deontic Logic (2017) (0)
- Do thoughts have a language of their own (2011) (0)
- Computational Logic as an Intelligent Agent's Language of Thought (2015) (0)
- The World stimulus-response associations Forward reasoning Artificial Intelligence and Human Thinking (2011) (0)
- Computational Logic and Human Thinking: Motivations matter (2011) (0)
- Computational Logic and Human Thinking: The Prisoner’s Dilemma (2011) (0)
- Towards a Logic-Based Framework for Computing (2013) (0)
- Computational Logic and Human Thinking: How to become a British Citizen (2011) (0)
- Computational Logic and Human Thinking: Search (2011) (0)
- Reactive Computing as Model Generation (2015) (0)
- Computational Logic and Human Thinking: Introduction (2011) (0)
- Computational Logic and Human Thinking: Abduction (2011) (0)
- Computational Logic and Human Thinking: The fox and the crow (2011) (0)
- Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (1987) (0)
- Obligation as Optimal Goal Satisfaction (2017) (0)
- This firsthand recollection of those early days of logic programming traces the shared influences and inspirations that connected Edinburgh, Scotland, and Marseilles, France. (1988) (0)
- What is Prolog ? Algorithm = Logic + Control (0)
- Programming Machine Ethics by Luís Moniz Pereira and Ari Saptawijaya (2017) (0)
- Logic as a computer language in education (1985) (0)
- II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development (1987) (0)
- Computational Logic and Human Thinking: The meaning of life (2011) (0)
- Making Our CLI More Accessible (2017) (0)
- Minimal models and negation (2011) (0)
- Determining roots of complex functions with computer graphics (1990) (0)
- The logic of abductive logic programming (2011) (0)
- The Connection Graph Proof Procedure as a Logical-Connectionist Model of the Mind (2011) (0)
- Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) (1987) (0)
- The psychology of logic (2011) (0)
- Writing a Database Administration Tool with Node.js (2017) (0)
- Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases (1997) (0)
- Computational Logic and Human Thinking: Negation as failure (2011) (0)
- Radial time functions and other solutions of the radial heat equation (1967) (0)
- Computational Logic and Human Thinking: Logic on the Underground (2011) (0)
- Computational Logic and Human Thinking: Maintenance goals as the driving force of life (2011) (0)
- Logic and Modules (2005) (0)
- Computational Logic and Human Thinking: References (2011) (0)
- WORKSHOP REPORT: Application of Logic Programming to Legal Reasoning (1995) (0)
- Logic and objects (2011) (0)
- The Scientific Contribution of Marek Sergot (2012) (0)
- ROB volume 29 issue 7 Cover and Back matter (2011) (0)
- 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 (1980) (0)
- Computational Logic and Human Thinking: Forward and backward reasoning (2011) (0)
- Computational Logic and Human Thinking: Computational Logic and the selection task (2011) (0)
This paper list is powered by the following services: