Login / Signup
The Logic of Tensed Statements in English - An Application of Logic Programming.
Peter Øhrstrøm
Niels Aalborg
Published in:
SLP (1986)
Keyphrases
</>
logic programming
propositional variables
logic programs
natural language
classical logic
nonmonotonic reasoning
deductive databases
knowledge representation
logic programming language
answer set programming
programming language
knowledge base
computational logic
knowledge representation language
reasoning tasks
default logic
stable models
constraint logic programming
answer sets
linear logic
inductive logic programming
knowledge representation and reasoning
pseudo boolean constraints
classical first order logic
defeasible argumentation
reasoning about actions
truth values
autoepistemic logic
nonmonotonic logics
probabilistic reasoning
cooperative multi agent