Assumption-Based Truth Maintenance in Precense of Temproal Assertions.

Maroua Bouzid François Charpillet Pierre Marquis Jean Paul Haton

Published in: ICTAI (1994)

Keyphrases

assumption based truth maintenance
truth maintenance systems
logic programming language
knowledge base
constraint propagation
artificial intelligence
bayesian networks
natural language
expert systems
fuzzy logic
programming language
knowledge acquisition