4978 search results - page 297 / 996 » Logical models of argument |
176
click to vote
RR
2009
Springer
16 years 19 days ago
2009
Springer
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
160
click to vote
IJCNN
2007
IEEE
16 years 12 days ago
2007
IEEE
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
148
click to vote
PRDC
2007
IEEE
16 years 11 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
175
click to vote
LICS
2006
IEEE
16 years 3 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
143
click to vote
PADS
2005
ACM
15 years 11 months ago
2005
ACM
— In this paper, a new event scheduling mechanism XEQ and a new rollback procedure rb-messages are proposed for use in optimistic logic simulation. We incorporate both of these t...