ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

IJLP 2010 - International Journal of Logic and Computation

Date2010-10-01

Deadline2010-09-30

VenueKuala Lump, Malaysia Malaysia

KeywordsLogic and Computation

Websitehttp://www.cscjournals.org/csc/home.php

Topics/Call fo Papers

CALL FOR PAPER
Journal: International Journal of Logic and Computation (IJLP)
Volume: 1 Issue: 1
ISSN: 2180-1290
URL: http://www.cscjournals.org/csc/description.php?JCo...

Important Dates
Paper Submission: September 30 2010
Author Notification: November 01, 2010
Issue Publication: November / December 2010

About IJLP
The International Journal of Logic and Computation aims to promote the growth of logic and computing research from the perspectives of logic, mathematics and computer science, but emphasizes semantics of programs, in contrast with the traditional treatment of formal languages as sets of strings. IJLP promote this new field with its comprehensive selection of technical scientific papers and regular contributions such as letters, reviews and discussions for logical systems using classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, logical issues in logic programming, knowledge-based systems and automated reasoning programing; logical programming issues in knowledge representation, non-monotonic reasoning, logics and semantics of programming and applications of logic in hardware and VLSI.

To build its International reputation, we are disseminating the publication information through Google Books, Google Scholar, Directory of Open Access Journals (DOAJ), Open J Gate, ScientificCommons, Docstoc and many more. Our International Editors are working on establishing ISI listing and a good impact factor for IJLP.

IJLP List of Topics
The realm of International Journal of Logic and Computation (IJLP) extends, but not limited, to the following:

Categorical Logic
Challenges in Natural Language and Reasoning
Classical and Non-Classical Logic
Computer Logical Reasoning
Constructive Logic
Knowledge-Based Systems and Automated Reasoning Pr
Logic Representation Techniques
Logical Issues in Logic Programming
Logical Programming Issues in Knowledge Representa
Logics and Semantics of Programming
Modal Logic
Natural Language
Non-Monotonic Reasoning
Programming Expressiveness
Programming Reasoning Test Collection
Reasoning Systems
Semantic Representation in Logic Programming
State-Based Semantics
Type Theory

Last modified: 2010-09-18 16:51:57