A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming.

Yuanlin Zhang Jianlan Wang Fox Bolduc William G. Murray Wendy Staffen

Published in: AAAI (2019)

Keyphrases

logic programming
logic programs
deductive databases
answer set programming
knowledge representation
answer sets
nonmonotonic reasoning
programming language

science education
knowledge base
constraint logic programming
knowledge representation and reasoning
logic programming language
inductive logic programming
default logic
classical logic

computational logic
reasoning about actions
classical first order logic
probabilistic reasoning
fixpoint
database
knowledge representation language
disjunctive logic programming

expert systems
autoepistemic logic
multi agent systems
high level
normal logic programs
declarative semantics
artificial intelligence
machine learning