38 search results - page 8 / 8 » Reducing signed propositional formulas |
177
Voted
AAAI
2010
15 years 7 months ago
2010
Belief revision performs belief change on an agent's beliefs when new evidence (either of the form of a propositional formula or of the form of a total pre-order on a set of ...
193
Voted
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
191
Voted
CASC
2006
Springer
15 years 10 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...