• Publications
  • Influence
A logic-based calculus of events
TLDR
We outline an approach for reasoning about events and time within a logic programming framework. Expand
  • 1,244
  • 101
  • PDF
The Semantics of Predicate Logic as a Programming Language
TLDR
The operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated. Expand
  • 1,631
  • 73
  • PDF
An Abstract, Argumentation-Theoretic Approach to Default Reasoning
TLDR
Abstract We present an abstract framework for default reasoning, which includes Theorist, default logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain instances of circumscription as special cases. Expand
  • 687
  • 64
  • PDF
Logic for problem solving
TLDR
This book investigates the application of logic to problem-solving and computer programming. Expand
  • 1,623
  • 52
  • PDF
Predicate Logic as Programming Language
TLDR
A stroller having side frame sections which are adapted to fold longitudinally and also laterally toward and away from one another, with a flexible seat and flexible seat back extending therebetween, and with preferably transparent side panels extending vertically from the seat back to the side sections of the frame, to retain a child between the side panels both in a downwardly retracted generally horizontal position of the seatback and in upper variously inclined positions thereof. Expand
  • 822
  • 43
Abduction Compared with Negation by Failure
TLDR
Horn clause logic programming can be extended to include abduction with integrity constraints. Expand
  • 404
  • 39
  • PDF
The role of abduction in logic programming
TLDR
This paper is a survey and critical overview of recent work on the extension of Logic Programming to perform Abductive Reasoning (Abductive Logic Programming). Expand
  • 430
  • 30
The Iff Proof Procedure for Abductive Logic Programming
TLDR
We present a proof procedure which combines reasoning with defined predicates together with reasoning with undefined, abducible, predicates. Expand
  • 236
  • 29
Algorithm = logic + control
TLDR
The notion that computation = controlled deduction was first proposed by Hayes [19] and more recently by Bibel [2] and Vaughn-Pratt [31]. Expand
  • 612
  • 23
  • PDF
The British Nationality Act as a logic program
TLDR
The formalization of legislation and the development of computer systems to assist with legal problem solving provide a rich domain for developing and testing artificial-intelligence technology. Expand
  • 507
  • 22
  • PDF
...
1
2
3
4
5
...