Project: Computationally-intensive methods for the robust analysis of non-standard data (CRoNoS - IC1408)
Funding: COST
Status: Active
Date: 2015-05-01 to 2019-04-30
Contribution:
description:
Networking
WG: Many-Valued Logics
Project: Reasoning with graded properties, RGP, GA18-00113S
Funding: Czech Science Foundation
Status: Active
Date: 2018-01-01 to 2020-12-31
Contribution: 230916
description:
Graded properties are ubiquitous in human discourse and reasoning. They are characterized by the fact that they may apply with different intensity to different objects. Typical examples are vague properties (e.g. “tall” or “rich”), that is, those that do not establish a clear distinction between objects that satisfy them and those that do not, and hence have blurry boundaries and borderline cases, and generate sorites paradoxes. But also many properties with well-defined boundaries can be seen as graded (e.g. “acute angle” or “guilty”). Seen as a science of correct reasoning, Logic should, in particular, explain the notion of consequence in scenarios involving graded properties. We aim at developing a logical framework for reasoning with graded properties that, by employing formal tools from mathematical fuzzy logic, goes beyond the simple classical bivalent analysis. In particular, we plan a new analysis of sorites paradoxes, a study of relations to other graded theories in linguistics, and an account of counterfactual and defeasible reasoning with graded notions.
Section B: Joint Publications
WG: Computational and Methodological Statistics
The failure of the profile likelihood method for a large class of semi-parametric models
Author: Eric Beutner; Laurent Bordes; Laurent Doyen
year: 2017
Reference information: Bernoulli 23, 3650-3684.
Type: Journal
Document (link to the URL):
Identifiability issues of age–period and age–period–cohort models of the Lee–Carter type
Author: Eric Beutner; Simon Reese, Jean-Pierre Urbain
year: 2017
Reference information: Insurance: Mathematics and Economics, 75, 117-125
Type: Journal
Document (link to the URL):
Controlling the rate of GWAS false discoveries
Author: D. Brzyski, C. B. Peterson, P. Sobczyk, E J. Candes, M. Bogdan, C. Sabatti
Reference information: Fuzzy Sets and Systems, In press.
Type: Journal
Document (link to the URL): http://library.utia.cas.cz/separaty/2018/MTR/noguera-0486421.pdf
Neighborhood semantics for modal many-valued logics
Author: Petr Cintula, Carles Noguera
year: 2018
Reference information: Fuzzy Sets and Systems, In press.
Type: Journal
Document (link to the URL): http://hdl.handle.net/11104/0276553
A Logical Framework for Graded Predicates
Author: Petr Cintula, Carles Noguera, Nicholas J.J. Smith
year: 2018
Reference information: In A. Baltag, J. Seligman, T. Yamada, editors: Rationality, and Interaction - 6th International Workshop, LORI 2017, volume 10455 of Lecture Notes in Computer Science, pp. 3-16, Springer
Type: Conference-Workshop proceedings
Document (link to the URL): http://hdl.handle.net/11104/0274074
Is multiset consequence trivial?
Author: Petr Cintula, Francesco Paoli
year: 2018
Reference information: Synthese, In press.
Type: Journal
Document (link to the URL): http://hdl.handle.net/11104/0265069
On modal extensions of Product fuzzy logic
Author: Amanda Vidal, Francesc Esteva, Lluis Godo
year: 2017
Reference information: Journal of Logic and Computation, 27(1): 299-336
Type: Journal
Document (link to the URL): https://academic.oup.com/logcom/article-abstract/27/1/299/2917822
On strong standard completeness in some MTL-Delta expansions
Document (link to the URL): https://link.springer.com/chapter/10.1007%2F978-3-319-66827-7_47
Petr Hájek, Obituary
Author: Zuzana Haniková, Lluis Godo
year: 2017
Reference information: Fuzzy Sets and Systems 327: 1-4
Type: Journal
Document (link to the URL): https://www.sciencedirect.com/science/article/pii/S0165011417302452
Generalised states: a multi-sorted algebraic approach to probability
Author: Tomás Kroupa, Vincenzo Marra
year: 2017
Reference information: Soft Comput. 21(1): 57-67
Type: Journal
Document (link to the URL): https://link.springer.com/article/10.1007%2Fs00500-016-2343-3
MV-algebras, infinite dimensional polyhedra, and natural dualities
Author: Leonardo Manuel Cabrer, Luca Spada
year: 2017
Reference information: Archive for Mathematical Logic 56(1-2): 21-42
Type: Journal
Document (link to the URL): https://link.springer.com/article/10.1007%2Fs00153-016-0512-9
Section C: Organised Events
WG: Computational and Methodological Statistics
10th International Conference of the ERCIM WG on Computational and Methodological Statistics (CMStatistics 2017)
Topic: Computational Statistics
Type: Conference
Date: 2017-12-16 to 2017-12-18
Place: Senate House and Beirkbeck, University of London, UK
Lecturer: Arnaud Doucet, University of Oxford, United Kingdom.
Dimitris Politis, University of California, San Diego, USA.
Stephen Pollock, University of Leicester, United Kingdom.
Coverage: The CMStatistics2017 took place jointly with the CFE2017. There were over 1700 participants.
11th International Conference on Computational and Financial Econometrics (CFE 2017)
Topic: computational econometrics
Type: Conference
Date: 2017-12-16 to 2017-12-18
Place: Senate House and Beirkbeck, University of London, UK
Lecturer: Mark W Watson, Princeton University, United States.
Ron Smith, Birkbeck University of London, United Kingdom.
Stephen Pollock, University of Leicester, United Kingdom.
Coverage: The CFE2017 took place jointly with the CMStatistics2017. There were over 1700 participants.
WG: Dependable Software-Intensive Embedded Systems
Euromicro SEAA/DSD
Topic: Advanced SW Applications, Digital Systems Design
Type: Conference
Date: 2017-08-30 to 2017-09-01
Place: Vienna
Lecturer: Paris Avgeriou, Daniel Schall, Erik Jan Marinissen, Ahmed Hemani
Coverage: 250 HW, SW and Systems specialists from industry and academia
Safecomp 2017
Topic: Safety, reliability and security of safety-related computer systems
Type: Conference
Date: 2017-09-13 to 2017-09-15
Place: Trento
Lecturer: Marcel Verhoef, John McDermid, Radu Grosu
Coverage: industry and academia
ERCIM/EWICS/ARTEMIS DECSoS Workshop
Topic: Dependable Embedded CPS and SoS
Type: Workshop
Date: 2017-09-12 to 2017-09-12
Place: Trento
Lecturer: 13 presentations
Coverage: industry and academia
WG: Security and Trust Management
13th International Workshop on Security and Trust Management
Topic: Security and Trust Management
Type: Workshop
Date: 2017-09-14 to 2017-09-15
Place: Oslo, Norway
Lecturer: 1 keynote + 16 accepted papers
Coverage:
BEST PhD Thesis Award 2017
Topic: PhD Thesis Award
Type: Other
Date: 0000-00-00 to 0000-00-00
Place:
Lecturer: David Nunez (awardee)
Coverage:
WG: Image and Video Understanding
International Workshop on Computational Intelligence for Multimedia Understanding (IWCIM 2017) - Satellite workshop to EUSIPCO 2017
Topic: Image and Video Understanding - Special track on “Signal Processing for Surveillance and Security Applications"
Type: Workshop
Date: 2017-09-02 to 2017-09-02
Place: Kos Island, Greece
Lecturer: Researchers had the opportunity to attend the invited talk delivered by Prof. Alptekin Temizel (METU) on “First Person Activity Recognition with Multimodal Features”. Prof. Temizel presented the state-of-the-art on the subject followed by a discussion on a comparative performance assessment of several features for first person activity recognition.
Coverage: Group of experts in Image and Video understanding (mainly belonging to the working group)
WG: Many-Valued Logics
ManyVal 2017
Topic: Reasoning under uncertainty and inconsistency
Type: Workshop
Date: 2017-11-15 to 2017-11-17
Place: Toulouse, France
Lecturer: - Leila Amgoud (CNRS, IRIT Toulouse)
- Lluis Godo (IIIA-CSIC Barcelona, Spain)
-Tomas Kroupa (Czech Academy of Sciences, Prague, Czech Rep)
- Steven Schockaert (University of Cardiff, UK)
Coverage: ManyVal is a series of international workshops on the logical and algebraic aspects of many-valued reasoning.
The aim of the workshops is to gather both established and young researchers sharing an interest for this topic.
Accordingly, each edition has a sharp focus. The attendance is limited in order to facilitate close and informal interaction. If possible there are no parallel sessions.
ManyVal'17 focused on Many-valued logic and reasoning
under uncertainty and inconsistency:
- many-valuedness in argumentation
- many-valued logic programming
- logics of possibility and probability
- logics of similarity
- many-valued modal logics
- paraconsistent logics
- states and games on many-valued algebras
- foundations of many-valued logics
Section D: Mobility
Section E: Visibility
WG: Computational and Methodological Statistics
WG Web Site: http://www.cmstatistics.org/
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Dependable Software-Intensive Embedded Systems
WG Web Site: WEB-INF\web.xml
Articles in ERCIM News
Issue: ERCIM News 109
Page: 18-45
Title: Special Theme Autonomous Vehicles
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Security and Trust Management
WG Web Site: WEB-INF\web.xml
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Formal Methods for Industrial Critical Systems
WG Web Site: http://fmics.inria.fr
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Image and Video Understanding
WG Web Site: http://wiki.ercim.eu/wg/MUSCLE/index.php/Main_Page
Articles in ERCIM News
Issue: 108
Page: 6
Title: International Workshop on Computational Intelligence for Mul
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Many-Valued Logics
WG Web Site: http://wiki.ercim.eu/wg/ManyVal
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Open Data
WG Web Site: https://wiki.ercim.eu/wg/OpenData/index.php/Main_Page
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
WG: Blockchain Technology
WG Web Site: https://wiki.ercim.eu/wg/BlockchainTechnology/index.php/Main_Page
Articles in ERCIM News
n/a
Brochures and other PR material with distribution information
n/a
Demonstrations
n/a
Section F: Cooperation with Commercial Companies and Public Services
WG: Computational and Methodological Statistics
n/a
WG: Dependable Software-Intensive Embedded Systems
n/a
WG: Security and Trust Management
n/a
WG: Formal Methods for Industrial Critical Systems