allconferencecfpalerts
   

Event       Publishers
  • Home
  • Login
  • Categories
  • Archive
  • Post Cfp
  • Academic Resources
  • Contact Us

 

Tenth Latin American Workshop on Logic/Languages Algorithms and New Methods of Reasoning 2016

google+
Views: 758                 

When :  2016-08-15

Where :  Puebla,Mexico

Submission Deadline :  2016-04-29

Categories :   Computer Science & Information Technology ,  Information Technology Management      

Tenth Latin American Workshop on Logic/Languages Algorithms and New Methods of Reasoning 2016 (LANMR 2016) 

Aug 15, 2016

Puebla,Mexico

Call For Papers

LANMR 2016 is the tenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. The objective of the LANMR Workshop is to bring together researchers from academia and industry worldwide to present recent research results on theory and applications on Logic, Languages, Algorithms and Reasoning Methods. Researchers, engineers and experts are invited to submit high quality papers to share and to discuss their latest research results. 

LANMR 2016 will provide a forum where participants could exchange their ideas and experiences through high quality peer reviewed papers. The Workshop features a one-day program of invited talks by recognized scientists, as well as oral presentations of technical papers. 

This year the LANMR workshop is organized by Benemerita Universidad Autónoma de Puebla and Universidad Autónoma del Estado de México. LANMR 2016 will be followed by WoLLIC (http://www.wollic.cs.buap.mx/cfp.html) 

LANMR will be held the 15th august, 2016 at BUAP, Puebla, Puebla. The proceedings of LANMR 2016 will be published in CEUR Workshop Proceedings (CEUR WS.org). 

Accepted theoretical computer science papers which fulfill the requirements of Electronic Notes in Theoretical Computer Science (http://www.journals.elsevier.com/electronic-notes-in-theoretical-computer-science) will be published in the special issue, or in a book published by Fomento Editorial BUAP. 

Topics


    1. Logic programming and non-monotonic reasoning 
    2. Algorithms applied to logic 
    3. Answer Set Programming 
    4. Knowledge representation 
    5. Belief representation 
    6. Paraconsistent logics 
    7. Deduction techniques 
    8. Automated reasoning 
    9. Non-classical logics 
    10. Reasoning about situations and actions 
    11. Planning 
    12. AI-Artificial Intelligence 
    13. Agent and Intelligent Systems 
    14. Preferences 
    15. Default and abductive reasoning 
    16. Well-founded semantics 
    17. Cognitive agents 
    18. Novel applications in AI. 
    19. Natural Language Processing 
    20. Argumentation 

IMPORTANT DATES

  • Paper submission: April 29, 2016
  •                        
  • Notification of acceptance: May 31, 2016
  •            
  • Final manuscripts due: June 03, 2016
  •                       

    User Name : ranjith
    Posted on


    Related CFPs

    NCS 2026   18th International Conference on Network and Communications Security
    SPM 2026   13th International Conference on Signal, Image Processing and Multimedia (SPM 2026)
    NLPD 2026   7th International Conference on NLP & Big Data
    AdNLP 2026   7th International conference on Advanced Natural Language Processing

    All Rights Reserved @ Call for Papers - Conference & Journals