An overview of transaction logic

Strips: A new approach to the application of theorem proving to problem solving

1971 • 3,943 citations

The stable model semantics for logic programming

1988 • 3,564 citations

Principles of Artificial Intelligence

1982 • 3,384 citations

Some Philosophical Problems from the Standpoint of Artificial Intelligence

1981 • 3,219 citations

Towards a general theory of action and time

1984 • 2,602 citations

The well-founded semantics for general logic programs

1991 • 1,705 citations

A logic-based calculus of events

1986 • 1,701 citations

Logical foundations of object-oriented and frame-based languages

1995 • 1,489 citations

Foundations of Deductive Databases and Logic Programming

1988 • 994 citations

Principles of Artificial Intelligence

1981 • 931 citations

On the difference between updating a knowledge base and revising it

1992 • 876 citations

A temporal logic for reasoning about processes and plans

1982 • 753 citations

First-Order Dynamic Logic

1979 • 616 citations

On the Declarative Semantics of Deductive Databases and Logic Programs

1988 • 562 citations

A Temporal Logic for Reasoning about Processes and Plans*

1982 • 496 citations

Computable queries for relational data bases

1980 • 444 citations

A propositional modal logic of time intervals

1991 • 437 citations

Executing temporal logic programs

1985 • 400 citations

Unfounded sets and well-founded semantics for general logic programs

1988 • 396 citations

A logical language for data and knowledge bases

1989 • 352 citations

On the semantics of updates in databases

1983 • 344 citations

Updating Logical Databases

1990 • 323 citations

Procedural knowledge

1986 • 308 citations

Paraconsistent logic programming

1989 • 302 citations

Language in Action - Categories, Lambdas and Dynamic Logic

1991 • 257 citations

Reasoning about Digital Circuits

1983 • 233 citations

N-Prolog: An extension of Prolog with hypothetical implications. I.

1984 • 174 citations

Action logic and pure induction

1991 • 167 citations

A logic for reasoning with inconsistency

1992 • 164 citations

Database updates in the event calculus

1992 • 144 citations

Process logic: Expressiveness, decidability, completeness

1982 • 139 citations

Transaction logic programming

1993 • 132 citations

Exploiting constraints in design synthesis

1987 • 128 citations

Procedural and declarative database update languages

1988 • 109 citations

A Logic-based Language for Database Updates

1988 • 86 citations

RI: a logic for reasoning with inconsistency

2003 • 84 citations

Glue-Nail

1991 • 81 citations

A Propositional Model Logic of Time Intervals

1986 • 80 citations

The Concurrency Control Problem for Database Systems

1981 • 77 citations

Intensional updates: abduction via deduction

1990 • 76 citations

Updates and Counterfactuals.

1991 • 74 citations

Permissions and obligations

1983 • 70 citations

Database updates in logic programming

1988 • 68 citations

Hypothetical datalog: complexity and expressibility

1990 • 55 citations

A procedural logic

1985 • 46 citations

A model-based approach to updating databases with incomplete information

1988 • 40 citations

New data models and languages---the challenge

1992 • 34 citations

Formalizing Database Evolution in the Situation Calculus.

1992 • 33 citations

A logic-programming/object-oriented cocktail

1986 • 28 citations

Database Programming in Transaction Logic

1994 • 25 citations

A logic for hypothetical reasoning

1988 • 24 citations

Declarative specification and evaluation of database updates

1991 • 23 citations

Hypothetical datalog negation and linear recursion

1989 • 16 citations

Updates and subjunctive queries

1994 • 16 citations

Reasoning About Indefinite Actions.

1992 • 14 citations

Hypothetical reasoning in deductive databases

1992 • 9 citations

Glue-Nail

1991 • 8 citations