JICSLP ;92 - Program for Workshop #1 
Author Message
 JICSLP ;92 - Program for Workshop #1

                            PROGRAM

             Workshop on Structural Complexity and
        Recursion-theoretic Methods in Logic Programming

                            at the

 Joint International Conference and Symposium on Logic Programming

                  Friday, November 13, 1992
              Ramada Renaissance Tech World Hotel
                        Washington, D.C.

8:00 - 8:25   A Survey of complexity and Undecidability Results
              in Logic Programming
                     John S. Schlipf

8:25 - 8:50   Aggregation, Computability, and Complete Query Languages
                     Inderpal Singh Mumick
                     Oded Shmueli

8:00 - 9:15   Complexity of Computing with Extended Propositional
              Logic Programs
                     Miroslaw Truszczynski
                     V. Wiktor Marek
                     Arcot Rajasekar

9:15 - 9:40   Abstract Properties and Computational Complexity of
              Semantics for Disjunctive Logic Programs
                     Jurgen Dix
                     Martin Mueller

9:40 - 10:00  BREAK

10:00 - 10:25 On the Structural Simplicity of Machines and Languages
                     Yael Moscowitz
                     Ehud Shapiro

10:25 - 10:50 Complexity Results for Logic-Based {*filter*}
                     Thomas Eiter
                     Georg Gottlob

10:50 - 11:15 A Topological Characterizatio of the Stable and
              Minimal Model Classes of Propositional Logic Programs
                     Audrey Ferry

11:15 - 11:30 BREAK            

11:30 - 11:55 Rule Systems and Well-Orderings
                     V. Wiktor Marek
                     Anil Nerode
                     Jeffrey  C. Remmel

11:55 - 12:20 On Computability by Logic Programs
                     Andrei Voronkov

12:20 - 12:45 Halting Problem of One Binary Horn Clause is Undecidable
                     Philippe Devienne
                     Patrick Lebegue
                     Jean-Christophe Routier        

12:45 - 14:00 Lunch, discussion and rump session
_____________________________________



Tue, 11 Apr 1995 22:12:52 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Programme for the Workshop on Deductive Databases at JICSLP'92

2. Programme for the Workshop on Deductive Databases at JICSLP'92

3. Deadline Extension for Workshop on Deductive Databases at JICSLP'92

4. 2nd CFP: Workshop on Proofs and Types at JICSLP'92

5. Second CFP: Workshop on Deductive Databases at JICSLP'92 Second Call for Participation

6. CFP: Workshop on Proofs and Types at JICSLP'92

7. JICSLP '92 - Workshop Call for Papers

8. ECOOP'92: Workshop Program

9. ECOOP'92: Workshop Program

10. ECOOP'92: Workshop Program

11. Looking for a Roommate at JICSLP'92

12. FGCS'92 Workshop on Parallel Programming and Architecture

 

 
Powered by phpBB® Forum Software