Logic Programming in Space-Time: The Case of Situatedness in LPaaS.
Roberta CalegariGiovanni CiattoStefano MarianiEnrico DentiAndrea OmiciniPublished in: WOA (2018)
Keyphrases
- logic programming
- space time
- logic programs
- spatio temporal
- video sequences
- knowledge representation
- logic programming language
- deductive databases
- answer set programming
- programming language
- computational logic
- inductive logic programming
- nonmonotonic reasoning
- knowledge base
- answer sets
- default logic
- stable models
- knowledge representation and reasoning
- scan statistic
- reasoning about actions
- expert systems
- linear logic
- semantics of logic programs
- defeasible argumentation
- data structure
- three dimensional