Logic and AI, special session to honor Victor Marek's 65th birthday

[Miroslaw Truszczynski]

Please, distribute this announcement.

Thanks.

Mirek

=================================================

                       Last Call For Participation

        Special Session on Logic and Artificial Intelligence
               in honor of Victor Marek's 65th birthday

This session is held on Jan 3 and Jan 4, 2008, ias part of the Tenth
International Symposium on Artificial Intelligence and Mathematics,
ISAIM 2008 (http://isaim2008.unl.edu). <http://isaim2008.unl.edu/>

Organizers: Michael Kaminski
<http://www.cs.technion.ac.il/people/kaminski>(Technion) and Miroslaw
Truszczynski <http://www.cs.uky.edu/%7Emirek> (University of Kentucky)

Speakers:

   - Howard Blair <http://www.cis.syr.edu/%7Eblair/> (Syracuse
   University)
   * Hybrid Programs: Symmetrically Combining Natively Discrete and
   Continuous Truth-values *

   - Alex Bochman<http://www.hit.ac.il/departments/computers/staff/Bochman/index.htm>(Holon
Academic Institute of Technology)
   * Default Logic Generalized and Simplified *

   - Thomas Eiter <http://www.kr.tuwien.ac.at/staff/eiter/> (Technische
   Universität Wien)
   * Exploiting Conjunctive Queries in Description Logic Programs *

   - Mel Fitting <http://comet.lehman.cuny.edu/fitting/> (City University
   of New York)
   * Explicit Logics of Knowledge and Conservativity *

   - Michael Gelfond <http://www.cs.ttu.edu/%7Emgelfond/> (Texas Tech
   University)
   * Integrating Answer Programming and Constraint Logic Programming *

   - Michael Kaminski <http://www.cs.technion.ac.il/people/kaminski>(Technion)
   * A Non-Preferential Semantics of Non-Monotonic Modal Logic *

   - Johann Makowsky <http://www.cs.technion.ac.il/%7Ejanos/> (Technion)
   * From Hilbert's Program to a Logic Toolbox *

   - Ilkka Niemela <http://www.tcs.hut.fi/%7Eini/> (Helsinki University
   of Technology)
   * Stable Models and Difference Logic *

   - Jeff Remmel <http://math.ucsd.edu/%7Eremmel/> (University of
   California at San Diego)
   * A Mathematician Looks at Answer Set Programming *

   - John Schlipf <http://www.ececs.uc.edu/%7Eschlipf/> (University of
   Cincinnati) and Marc Denecker
<http://www.cs.kuleuven.ac.be/%7Emarcd/>(Katholieke Universiteit
Leuven)
   * Complexity of First Order ID-Logic *

   - Marian Srebrny <http://www.ipipan.waw.pl/%7Emarians/> (Polish
   Academy of Sciences)
   * SAT as a programming environment for linear algebra and cryptography
   *

   - Miroslaw Truszczynski <http://www.cs.uky.edu/%7Emirek> (University
   of Kentucky)
   * Hyperequivalence of programs and operators*

Please, refer to http://isaim2008.unl.edu for details.
<http://isaim2008.unl.edu/>
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20071220/adf290cb/attachment.html>