Call for Papers

The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions:

• Full papers, possibly already submitted to other conferences or journals, and
• Short papers, which are particularly suitable to present work in progress, software prototypes, extended abstracts of doctoral theses, and general overviews of research projects.

Topics of Interest

Topics of interest include, but are not limited to:

• Abductive Logic Programming
• Analysis, transformation, validation, and verification of declarative programs
• Answer Set Programming
• Applications of Computational Logic and systems
• Approximate Reasoning
• Automated Theorem Proving
• Computational Logic and formal methods in Artificial Intelligence
• Computational logic for concurrency, coordination, mobility, and objects
• Data Mining and Data Integration
• Deductive Databases
• Extensions and integrations of declarative programming paradigms
• Inductive Logic Programming
• Knowledge representation and extraction
• Logic Programming, Constraint Programming, and other paradigms of declarative programming
• Logics for strategic reasoning
• Model Checking
• Model-Based Reasoning
• Multi-Agent systems
• Natural Language Processing
• Non-Monotonic Reasoning
• Pedagogy of Computational Logic
• Planning and scheduling
• Probabilistic Logic Programming
• Semantic Web
• Temporal logics
• Tools and environments for program development
• Treatment of uncertain and incomplete knowledge

Submission Details

Click here for submission details.