34th Italian Conference on Computational Logic

19-21 June 2019, Trieste, Italy

Canal Grande

 

The Italian Conference on Computational Logic (CILC) is the annual conference organized by the Group of researchers and Users of Logic Programming (GULP). Its 34th edition will be held in Trieste (Italy) from 19 June to 21 June 2019. Since its first edition, which was held in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and of applications in neighboring areas such as artificial intelligence and deductive databases.

The conference features 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 for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects.

The topics of interest include, but are not limited to:

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