@article{PearceSarsakovSchaubetal.2002, author = {Pearce, David and Sarsakov, Vladimir and Schaub, Torsten H. and Tompits, Hans and Woltran, Stefan}, title = {A polynomial translation of logic programs with nested expressions into disjunctive logic programs}, isbn = {3-540-43930-7}, year = {2002}, language = {en} } @article{BesnardSchaubTompitsetal.2002, author = {Besnard, Philippe and Schaub, Torsten H. and Tompits, Hans and Woltran, Stefan}, title = {Paraconsistent reasoning via quantified boolean formulas}, isbn = {3-540-44190-5}, year = {2002}, language = {en} } @article{PearceSarsakovSchaubetal.2002, author = {Pearce, David and Sarsakov, Vladimir and Schaub, Torsten H. and Tompits, Hans and Woltran, Stefan}, title = {A polynomial translation of logic programs with nested expressions into disjunctive logic programs : preliminary report}, year = {2002}, language = {en} } @article{AngerKonczakLinke2002, author = {Anger, Christian and Konczak, Kathrin and Linke, Thomas}, title = {NoMoRe: A system for non-monotonic reasoning with logic programs under answer set semantics}, isbn = {3-540-42254-4}, year = {2002}, language = {en} } @article{DelgrandeSchaubTompitsetal.2002, author = {Delgrande, James Patrick and Schaub, Torsten H. and Tompits, Hans and Wang, Kewen}, title = {Towards a classification of preference handling approaches in nonmonotonic reasoning}, isbn = {1-577-35166-5}, year = {2002}, language = {en} } @article{BesnardMercerSchaub2002, author = {Besnard, Philippe and Mercer, Robert E. and Schaub, Torsten H.}, title = {Optimality Theory via Default Logic}, year = {2002}, language = {en} } @article{DelgrandeSchaub2002, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {Reasoning credulously and skeptically within a single extension}, year = {2002}, language = {en} } @article{DelgrandeHunterSchaub2002, author = {Delgrande, James Patrick and Hunter, Anthony and Schaub, Torsten H.}, title = {COBA: a consistency-based belief revision system}, isbn = {3-540-44190-5}, year = {2002}, language = {en} } @article{SchaubWang2002, author = {Schaub, Torsten H. and Wang, T.}, title = {Preferred well-founded semantics for logic programming by alternating fixpoints : preliminary report}, year = {2002}, language = {en} } @article{LinkeAngerKonczak2002, author = {Linke, Thomas and Anger, Christian and Konczak, Kathrin}, title = {More on nomore}, isbn = {3-540-44190-5}, year = {2002}, language = {en} } @article{AngerKonczakLinke2002, author = {Anger, Christian and Konczak, Kathrin and Linke, Thomas}, title = {NoMoRe: Non-monotonic reasoning with logic programs}, isbn = {3-540-44190-5}, year = {2002}, language = {en} } @article{Schwill2002, author = {Schwill, Andreas}, title = {Modelle in der Fachsprache der Informatik}, isbn = {3-88579-351-2}, year = {2002}, language = {de} } @article{LinkeAngerKonczak2002, author = {Linke, Thomas and Anger, Christian and Konczak, Kathrin}, title = {More on nomore}, year = {2002}, language = {en} } @article{BesnardFanselowSchaub2002, author = {Besnard, Philippe and Fanselow, Gisbert and Schaub, Torsten H.}, title = {Optimality theory as a family of cumulative logics}, year = {2002}, language = {en} } @article{CiaccioEhlertSchnor2002, author = {Ciaccio, Giuseppe and Ehlert, Marco and Schnor, Bettina}, title = {Exploiting gigabit ethernet capacity for cluster applications}, isbn = {0-7695-1591-6}, year = {2002}, abstract = {In this paper we report about the recently completed porting of GAMMA to the Netgear GA621 Gigabit Ethernet adapter, and provide a comparison among GAMMA, MPI/GAMMA, TCP/IP, and MPICH/TCP, based on the Netgear GA621 and the older Netgear GA620 network adapters and using different device drivers, in a Gigabit Ethernet cluster of PCs running Linux 2.4. GAMMA (the Genoa Active Message MAchine) is a lightweight messaging system based on an Active Message-like paradigm, originally designed for efficient exploitation of Fast Ethernet interconnects. The comparison includes simple latency/hspace{0pt}bandwidth evaluation of the messaging systems on both adapters, as well as performance comparisons based on the NAS NPB and an end-user fluid dynamics application called Modular Ocean Model (MOM). The analysis of results provides useful hints concerning the efficient use of Gigabit Ethernet with clusters of PCs. In particular, it emerges that GAMMA on the GA621 adapter, with a combination of low end-to-end latency (8.5 \$mu\$s) and high throughput (118.4 MByte/s), provides a performing, cost-effective alternative to proprietary high-speed networks, e.g.~Myrinet, for a wide range of cluster computing applications.}, language = {en} }