![]() |
||
When: Jan 15, 2023 - Jan 17, 2023 Submission Deadline: Sep 8, 2022 | ||
VMCAI 2023 Call for Papers • VMCAI 2023 is the 24th International Conference on Verification, Model Checking, and Abstract Interpretation. The conference will be held during January 15-17, 2023... | ||
VERIFICATION ABSTRACT INTERPRETATION AUTOMATED REASONING MODEL CHECKING | ||
![]() CCIA 2022 : 24th International Conference of the Catalan Association for Artificial IntelligenceSitges, Barcelona, Spain |
||
When: Oct 19, 2022 - Oct 21, 2022 Submission Deadline: May 30, 2022 | ||
=================================================================================================== • CCIA 2022 - 24th International Conference of the Catalan Association for Artificial Intelli... | ||
ARTIFICIAL INTELLIGENCE MACHINE LEARNING KNOWLEDGE REPRESENTATION REASONING | ||
![]() |
||
When: Nov 7, 2022 - Nov 9, 2022 Submission Deadline: Jun 26, 2022 | ||
****** TIME 2022 ****** • 29th International Symposium on Temporal Representation and Reasoning • 07-09 November 2022 - Online • https://time2022.time-symposium.org • *** Scop... | ||
FORMAL METHODS LOGIC DATABASE ARTIFICIAL INTELLIGENCE | ||
![]() KGC-IK 2022 : First Workshop on Imperfect Knowledge GraphsNew York (virtual) |
||
When: May 3, 2022 - May 3, 2022 Submission Deadline: Jun 26, 2022 | ||
The KGC Imperfect-Knowledge (KGC-IK) online workshop will address reasoning with imperfect knowledge and is co-located with this year’s Knowledge Graph Conference (KGC-2022). It will take place on ... | ||
KNOWLEDGE GRAPHS PLAUSIBLE REASONING ARGUMENTATION CAUSAL GRAPHS | ||
![]() |
||
When: Sep 12, 2022 - Sep 12, 2022 Submission Deadline: Jun 12, 2022 | ||
Analogical proportions, i.e., statements of the form "A is to B as C is to D", are the basis of analogical inference and they are closely related to case-based reasoning and transfer learning. &bull... | ||
ANALOGIES REASONING ARTIFICIAL INTELLIGENCE COMPUTER SCIENCE | ||
![]() |
||
When: Sep 5, 2022 - Sep 5, 2022 Submission Deadline: Jun 30, 2022 | ||
In the last decades, deductive reasoning has been widely used in several fields such as planning, scheduling problems, robotics controls applications, and many others thanks to its ability in develop... | ||
LOGIC PROGRAMMING DEDUCTIVE REASONING INDUCTIVE REASONING MACHINE LEARNING | ||
![]() |
||
When: Aug 11, 2022 - Aug 12, 2022 Submission Deadline: Apr 26, 2022 | ||
8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING • Co-located with FLoC/IJCAR 2022, August 11-12, 2022, Haifa, Isreal • General Information • The Eighth Workshop on Practica... | ||
ARTIFICIAL INTELLIGENCE FORMAL METHODS LOGIC MACHINE LEARNING | ||
![]() STRL 2022 : 1st International Workshop on Spatio-Temporal Reasoning and Learningco-located with IJCAI-ECAI 2022 |
||
When: Jul 23, 2022 - Jul 25, 2022 Submission Deadline: May 20, 2022 | ||
The First International Workshop on Spatio-Temporal Reasoning and Learning (STRL), collocated with IJCAI-ECAI 2022 (https://ijcai-22.org/) • Website: https://strl2022.github.io/ • Introdu... | ||
ARTIFICIAL INTELLIGENCE MACHINE LEARNING LOGIC DATA SCIENCE | ||
![]() |
||
When: Sep 26, 2022 - Sep 28, 2022 Submission Deadline: Jun 2, 2022 | ||
Preliminary call for papers • RuleML+RR 2022 • 26th-28th September in Berlin, Germany • https://2022.declarativeai.net/events/ruleml-rr/ruleml-rr-cfp • (part of DeclarativeAI ... | ||
LONG PAPERS SHORT PAPERS INDUSTRY PAPERS DEMO PAPERS | ||
![]() |
||
When: Sep 5, 2022 - Sep 8, 2022 Submission Deadline: Apr 30, 2022 | ||
[Apologies in case of multiple posting] • Call for Papers • --------------------------------------------------------------------------------------------- • 16th International Confer... | ||
LOGIC PROGRAMMING NON-MONOTONIC REASONING KNOWLEDGE REPRESENTATION | ||
![]() RT-UNILOG 2022 : Reasoning in TextOrthodoX Academy of Crete, Kolimvari |
||
When: Apr 6, 2022 - Apr 11, 2022 Submission Deadline: Jan 21, 2022 | ||
In order to correctly assess a reasoning expressed in natural language, it is important to grasp and reconstruct its logical structure. The first step is to identify the elements of a particular reas... | ||
PHILOSOPHY LOGIC REASONING ARGUMENTS | ||
![]() |
||
When: Jun 16, 2022 - Jun 17, 2022 Submission Deadline: Apr 1, 2022 | ||
LANMR 2022 is the fourteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. The aim of LANMR is to bring together researchers interested in... | ||
LOGIC AUTOMATED REASONING COMPUTER SCIENCE | ||
![]() |
||
When: Nov 06, 2021 - Nov 12, 2021 Submission Deadline: Mar 31, 2021 | ||
Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a decl... | ||
KNOWLEDGE REPRESENTATION ONTOLOGY QUALITATIVE REASONING CYBER SECURITY | ||
![]() |
||
Submission Deadline: Feb 28, 2021 | ||
This special issue focuses on emerging techniques and trendy applications of AI for CKRR in fields such as natural language processing, computer vision, bioinformatics, and more. Mostly, we expect to ... | ||
KNOWLEDGE GRAPH NATURAL LANGUAGE PROCESSING | ||
![]() |
||
When: Sep 21, 2021 - Sep 24, 2021 Submission Deadline: May 05, 2021 | ||
Reasoning under uncertainty is pervasive in all areas of Artificial Intelligence. The ECSQARU Conferences are, every two years, a major forum for advances in the theory a... | ||
UNCERTAIN INFERENCE BAYESIAN NETWORKS PROBABILITY | ||
![]() RACES 2020 : Reasoning about ACtions and Events over StreamsRhodes, Greece |
||
When: Sep 12, 2020 - Sep 14, 2020 Submission Deadline: Jun 22, 2020 | ||
The workshop aims to bring together researchers working in a variety of areas, such as knowledge representation, machine learning, database systems, complexity theory, distributed systems and business... | ||
ARTIFICIAL INTELLIGENCE DATA STREAM MODELS | ||
![]() AAAI 2021 : Thirty-Fifth AAAI Conference on Artificial IntelligenceVancouver, British Columbia, Canada |
||
When: Feb 02, 2021 - Feb 09, 2021 Submission Deadline: Jun 22, 2020 | ||
The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21) will be held February 2-9, 2021 at the Vancouver Convention Centre, Vancouver, Canada. The general chair will be Qiang Yang (Hong ... | ||
ARTIFICIAL INTELLIGENCE MACHINE LEARNING KNOWLEDGE REPRESENTATION REASONING | ||
![]() |
||
When: Jul 17, 2020 - Jul 17, 2020 Submission Deadline: May 25, 2020 | ||
The goals of this workshop are to: provide a forum for identifying important contributions and opportunities for research on case-based reasoning promote the systematic study of how t... | ||
MACHINE LEARNING DATA MINING CLUSTERING | ||
![]() TIME 2020 : 27th International Symposium on Temporal Representation and ReasoningBozen - Bolzano, Italy |
||
When: Sep 23, 2020 - Sep 25, 2020 Submission Deadline: Apr 26, 2020 | ||
The 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, will be held at the Free University of Bozen-Bolzano in September 2020. It will be part of the ... | ||
COMPUTER SCIENCE TEMPORAL REASONING TEMPORAL DATABASES | ||
![]() |
||
When: Sep 27, 2020 - Sep 30, 2020 Submission Deadline: Apr 24, 2020 | ||
Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a... | ||
MULTI-AGENT SYSTEMS LOGIC AND REASONING HUMAN-AGENT INTERACTION ARTIFICIAL INTELLIGENCE | ||
![]() |
||
When: Sep 12, 2020 - Sep 14, 2020 Submission Deadline: Jun 19, 2020 | ||
Welcome to NMR 2020, the 18th edition of the International Workshop on Non-Monotonic Reasoning, which will take place in Rhodes, Greece. The NMR Workshops NMR is the premier forum for... | ||
NON-MONOTONIC REASONING KR&R ARTIFICIAL INTELLIGENCE | ||
![]() UNIF 2020 : 34th International Workshop on UnificationParis, France |
||
When: Jun 29, 2020 - Jun 29, 2020 Submission Deadline: Apr 20, 2020 | ||
The 34th International Workshop on Unification is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, ... | ||
AUTOMATED REASONING LOGIC UNIFICATION CONSTRAINT SOLVING | ||
![]() DPSW 2020 : Declarative Problem Solving WorkshopSantiago de Compostela Spain |
||
When: Jun 09, 2019 - Jun 09, 2019 Submission Deadline: Mar 20, 2019 | ||
DPSW 2020 is the first edition of the Declarative Problem Solving Workshop, inside ECAI 2020 to be held on June 9, 2020 at Santiago de Compostela, Spain. Declarative Problem Solving consists... | ||
PROBLEM SOLVING KNOWLEDGE REPRESENTATION AUTOMATED REASONING CONSTRAINT SATISFACTION | ||
![]() |
||
When: May 22, 2020 - May 27, 2020 Submission Deadline: Feb 15, 2020 | ||
The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the... | ||
ARTIFICIAL INTELLIGENCE LOGIC PROGRAMMING COMPUTATIONAL COMPLEXITY SYSTEMS ENGINEERING | ||
|
||
When: Jun 29, 2020 - Jul 01, 2020 Submission Deadline: Mar 13, 2020 | ||
The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-kno... | ||
NEURAL NETWORK MACHINE LEARNING ALGORITHMIC DECISION-MAKING | ||
![]() |
||
When: Mar 23, 2020 - Mar 27, 2020 Submission Deadline: Nov 11, 2019 | ||
The 16th Workshop on Context Modeling and Activity Recognition (CoMoRea) is a follow-up to a successful series of workshops on Context Modeling and Reasoning and the ACOMORE Symposium. It is collocate... | ||
CONTEXT MODELING ACTIVITY RECOGNITION REASONING IOT | ||
![]() CReW 2019 : Causal Reasoning Workshop 2019Xalapa, Mexico |
||
When: Oct 28, 2019 - Oct 28, 2019 Submission Deadline: Sep 15, 2019 | ||
The formal study of causality started about 300 hundred years ago with the works of the great philosophers David Hume and Immanuel Kant. Hume approached causality from an empirical perspective: the kn... | ||
COMPUTING MATHEMATICS STATISTICS | ||
![]() |
||
When: Nov 19, 2019 - Nov 22, 2019 Submission Deadline: Aug 30, 2019 | ||
AI^3 2019: 3rd Workshop on Advances In Argumentation In Artificial Intelligence • ---------------------------------------------------------------- • co-located with 18th International Conf... | ||
ARGUMENTATION KNOWLEDGE REASONING ARTIFICIAL INTELLIGENCE | ||
Find and Compare Upcoming Reasoning Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.