4978 search results - page 337 / 996 » Logical models of argument |
171
Voted
LATA
2010
Springer
16 years 4 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
177
Voted
CADE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
206
Voted
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
We extend the description logic ¢¤£¦¥¦§©¨ with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more ...
172
click to vote
SLIP
2000
ACM
15 years 11 months ago
2000
ACM
Based on Rent’s rule, a well-established empirical relationship, a rigorous derivation of the interconnect fan-out distribution for random logic networks is performed. Through c...
144
click to vote
IJCAI
1997
15 years 8 months ago
1997
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...