Embedding causal team languages into predicate logic.
Fausto BarberoPietro GallianiPublished in: Ann. Pure Appl. Log. (2022)
Keyphrases
- predicate logic
- highly expressive
- knowledge representation and reasoning
- formal logic
- computational linguistics
- semantic net
- team members
- predicate calculus
- artificial intelligence
- semantic network
- temporal logic
- bayesian networks
- high level
- databases
- lower level
- causal models
- reasoning systems
- heuristic search
- knowledge discovery
- domain knowledge
- logical formulas
- fluent calculus
- order sorted