First Texas Action Group Meeting - TAG03

---

The first TAG meeting was held on August 21 and 22, 2003 in Las Cruces, NM. It is hosted by the Knowledge Representation, Logic, and Advanced Programming Laborartory of the Computer Science Department, New Mexico State University. The intention is to provide a forum for TAG's members to meet, exchange their ideas, and set up collaborations. More than 30 members of TAG from 7 universities  made it to the meeting and more than 20 very interesting talks were presented. It is hope that the meeting will become a regular meeting.

---

Participants
 

Michael Gelfond (Texas Tech) Marcello Balduccini (Texas Tech) Veena Mellarkod (Texas Tech) Gregory Gelfond (Texas Tech) Loveleen Kovelkar (Texas Tech) Ricardo Morales (Texas Tech) Sandeep Chintabatina (Texas Tech) Vamsi Krishna (Texas Tech) Monica Noguiera (Texas Tech)

Chitta Baral (ASU) Le Chi Tuan (ASU) Xin Zhang (ASU) Gupta Gopal  (UT Dallas) Yoohyung Lee (UT Austin) Wanwan Ren (UT Austin) Enrique Corona (Uni De La Americana, Mexico) Mauricio Osorio(Uni De La Americana, Mexico)

Enrico Pontelli (NMSU) Tran Cao Son (NMSU) Inna Pivkina (NMSU) Karen Villaverde (NMSU) Desh Ranjan (NMSU) Jing He (NMSU) Emad Saad (NMSU) Islam Elkabani (NMSU) Roger Hartley (NMSU)

Omar Nabil El Khatib (NMSU) Hung Viet Le (NMSU) Tu Phan (NMSU) Chongbing Liu (NMSU) Yu Pan (NMSU) Co Thai Ngo (NMSU) Phuc Huu Nguyen (NMSU) Vladik Kreinovich (UT El Paso) Roberto Torres (UT El Paso)

---

Research Problem/Paper Presentations

• Marcello Balduccini. CR-Prolog: Logic Programming with Consistency-Restoring Rules
  
• Sandeep Chintabatina. Modeling Hybrid Systems
• Michael Gelfond. Probability in Logic Programming


• Gupta Gopal: Towards the "Java" of Logic Programming
  Abstract: When Prolog was first designed it was dubbed the "Fortran" of logic programming because of the rigid computation rule that was adopted. Since then a number of advances have been made to eliminate this rigidity. These include tabled logic programming, constraint logic programming, the Andorra principle, etc. In this talk I will present my vision of logic programming utopia, describe the barriers that lie in our way, and how they can be surmounted  
• Vladik Kreinovich: Probabilities, Intervals, What Next? Algorithmic Problems Related to Uncertainty in Data Processing
• Joohyung Lee. Loop Formulas for Disjunctive Logic Programs
  
• Veena Mellarkod. Aset-Prolog: A-Prolog with Sets and Aggregates
  
• Ricardo Morales. On Conformant Planning in A-Prolog
  
• Mauricio Osorio and Fernando Sacarias. New Properties on the Update Operators
  
• Mauricio Osorio and Enrique Corona. A-POL, a Partial Order Programming extension for Answer Set Programming
  
• Yu Pan: FLOG: a Domain Specific Language for Phylogenetic Inference
  
• Inna Pivkina: Revision Programming with Preferences
  
• Wanwan Ren. Irrelevant Actions and Fluents  in Plan Generation
  
• Le Chi Tuan: Planning with Sensing Actions using 0-Approximation
  
• Tu Phan: Multi-Valued Fluents with Sensing Actions
  
• Karen Villaverde: A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms
  

---

Research Group Presentations

• Chitta Baral: The Knowledge Representation Group at ASU
• Michael Gelfond: Research at the Knowledge Representation Laboratory at TTU
• Vladik Kreinovich: Overview of the TRACS research
• Mauricio Osorio: Univerita De La American Answer Sets Group
• Enrico Pontelli: The Knowledge Representation, Logic, and Advanced Programming Laboratory at NMSU

---