IJLP 2010 - International Journal of Logic and Computation

Website http://www.cscjournals.org/csc/home.php | Edit Freely

Category Logic and Computation

Deadline: September 30, 2010 | Date: October 01, 2010

Venue/Country: Kuala Lumpur, Malaysia

Updated: 2010-09-18 16:51:57 (GMT+9)

Call For Papers - CFP

Journal: International Journal of Logic and Computation (IJLP)

Volume: 1 Issue: 1

ISSN: 2180-1290

URL: http://www.cscjournals.org/csc/description.php?JCode=IJLP

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