Abstract:Logics provide a formal basis for the study and development of applications and systems in Artificial Intelligence. In the last decades there has been a rapidly increasing number of logical formalisms capable of dealing with a variety of reasoning tasks that require an explicit representation of quantitative or qualitative weights associated with classical or modal logical formulas (in a form or another).The semantics of the weights refer to a large variety of intended meanings: belief degrees, preference degrees, truth degrees, trust degrees, etc. Examples of such weighted formalisms include probabilistic or possibilistic uncertainty logics, preference logics, fuzzy description logics, different forms of weighted or fuzzy logic programs under various semantics, weighted argumentation systems, logics handling inconsistency with weights, logics for graded BDI agents, logics of trust and reputation, logics for handling graded emotions, etc. The underlying logics range from fully compositional systems, like systems of many-valued or fuzzy logic, to non-compositional ones like modal-like epistemic logics for reasoning about uncertainty, as probabilistic or possibilistic logics, or even some combination of them. This IJCAI 2015 workshop, WL4AI-2015, is the third workshop with this name. The first edition was successfully held in 2012 in collocation with ECAI-2012, in Montpellier (France), and the second was held in 2013 in collocation with IJCAI-2013, in Beijing (China). As in the preceding workshop editions, the aim has been to bring together researchers to discuss about the different motivations for the use of weighted logics in AI, the different types of calculi that …

18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)

Proceedings of CICLOPS-WLPE 2010

Proceedings 36th International Conference on Logic Programming (Technical Communications)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Programme Committee Chairs

Proceedings 38th International Conference on Logic Programming

Working Papers of the IJCAI 2015 Workshop on Weighted Logics for Artificial Intelligence

Introduction to the 35th International Conference on Logic Programming Special Issue

Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

AppLP: A Dialogue on Applications of Logic Programming

Proceedings Seventh International Workshop on Classical Logic and Computation

Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)

Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)

Logic Programming as a Service

Pre-proceedings of the DECLARE 2019 Conference

Proceedings First International Workshop on Linearity