Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning.
Ana Fernández VilasJosé Juan Pazos-AriasRebeca P. Díaz RedondoPublished in: FTRTFT (2002)
Keyphrases
- real time
- modal logic
- automated reasoning
- proof theory
- proof theoretic
- finite state machines
- deductive reasoning
- truth values
- computational properties
- logical framework
- order of magnitude reasoning
- logic programming
- low cost
- intuitionistic logic
- reasoning tasks
- reasoning engine
- human reasoning
- knowledge representation formalisms
- temporal logic
- knowledge representation
- logical inference
- qualitative reasoning
- timed automata
- defeasible logic
- knowledge representation and reasoning
- probabilistic logic
- real time systems
- linear time temporal logic
- control system
- petri net
- commonsense reasoning
- predicate logic
- reasoning systems
- model checking
- reasoning process
- multi valued
- default reasoning