@article{Schwill2002, author = {Schwill, Andreas}, title = {Modelle in der Fachsprache der Informatik}, isbn = {3-88579-351-2}, year = {2002}, language = {de} } @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{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{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{LinkeAngerKonczak2002, author = {Linke, Thomas and Anger, Christian and Konczak, Kathrin}, title = {More on nomore}, isbn = {3-540-44190-5}, year = {2002}, language = {en} } @article{LinkeAngerKonczak2002, author = {Linke, Thomas and Anger, Christian and Konczak, Kathrin}, title = {More on nomore}, 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{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{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} } @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{BesnardMercerSchaub2002, author = {Besnard, Philippe and Mercer, Robert E. and Schaub, Torsten H.}, title = {Optimality Theory via Default Logic}, 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{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{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} }