![]() |
||
When: Oct 28, 2024 - Oct 30, 2024 Submission Deadline: Jun 21, 2024 | ||
The 31st International Symposium on Temporal Representation and Reasoning, 28--30 October 2024, Montpellier, France • Website: https://www.lirmm.fr/time2024/ • Introduction • ======... | ||
TEMPORAL LOGIC TEMPORAL DATABASES TIME AND SPACE IN AI REPRESENTATION AND REASONING | ||
![]() |
||
When: Nov 27, 2024 - Nov 29, 2024 Submission Deadline: Jun 24, 2024 | ||
The 16th International Conference on Scalable Uncertainty Management (SUM 2024) • November 27-29, 2024, Palermo, Italy • Established in 2007, the SUM conferences aim to gather researchers... | ||
ARTIFICIAL INTELLIGENCE RISK ANALYSIS APPROXIMATE QUERY PROCESSING INDUCTIVE REASONING | ||
![]() K-CAP 2023 : 12th International Conference on Knowledge CapturePensacola, Florida, USA |
||
When: Dec 5, 2023 - Dec 7, 2023 Submission Deadline: Aug 27, 2023 | ||
Knowledge has played a fundamental role since the inception of artificial intelligence. While the forms in which algorithms have leveraged knowledge have evolved over time, the need for efficient rep... | ||
KNOWLEDGE REPRESENTATION LANGUAGE MODELS KNOWLEDGE CAPTURE REASONING | ||
![]() |
||
When: Nov 2, 2024 - Nov 8, 2024 Submission Deadline: May 1, 2024 | ||
... | ||
KNOWLEDGE REPRESENTATION ONTOLOGY FORMALISMS QUALITATIVE REASONING | ||
![]() |
||
When: Nov 23, 2024 - Nov 24, 2024 Submission Deadline: Jun 30, 2024 | ||
The 11th International Conference on Soft Computing & Machine Intelligence (ISCMI) will be held in Melbourne, Australia during November 23-24, 2024. The main objective of ISCMI 2024 is to present the... | ||
ARTIFICIAL INTELLIGENCE DATA MINING PROBABILISTIC REASONING INTELLIGENT CONTROL | ||
![]() |
||
When: Feb 5, 2024 - Feb 7, 2024 Submission Deadline: Dec 20, 2023 | ||
Call For Papers: • The Second International Knowledge Graph Reasoning Challenge (IKGRC 2024) • in conjunction with The 18th IEEE International Conference on Semantic • Computing (IC... | ||
KNOWLEDGE GRAPHS SEMANTIC WEB MULTIMODAL AI GENERATIVE AI | ||
![]() |
||
When: Dec 9, 2023 - Dec 9, 2023 Submission Deadline: Oct 30, 2023 | ||
== DEADLINE EXTENSION == • Machine learning has promoted the application of artificial intelligence (AI) techniques to a wide variety of social problems. Accordingly, being able to explain the ... | ||
KNOWLEDGE GRAPHS SEMANTIC WEB ONTOLOGY ARTIFICIAL INTELLIGENCE | ||
![]() |
||
When: May 18, 2024 - May 21, 2024 Submission Deadline: Aug 28, 2023 | ||
CALL FOR SPECIAL TRACK PROPOSALS • FLAIRS-37 • Miramar Beach, Florida, USA, May 18-21, 2024 • Venue: Hilton Sandestin Beach Golf Resort and Spa • Special tracks, held in paral... | ||
ARTIFICIAL INTELLIGENCE REASONING LEARNING COMPUTER SCIENCE | ||
![]() |
||
When: Nov 13, 2023 - Nov 15, 2023 Submission Deadline: Jul 1, 2023 | ||
Call for Papers • ======= 1. Journal Track ======= • IJCLR’s journal track, the Special Issue on Learning and Reasoning supported by the Machine Learning Journal (MLJ), has been accepti... | ||
MACHINE LEARNING LOGICAL REPRESENTATIONS COGNITIVE MODELS KNOWLEDGE EXTRACTION | ||
![]() |
||
When: Sep 30, 2023 - Oct 5, 2023 Submission Deadline: Jul 20, 2023 | ||
=============================================================================================================== • 2nd International Workshop on HYbrid Models for Coupling Deductive and Inductiv... | ||
ARTIFICIAL INTELLIGENCE HYBRID MODELS INDUCTIVE REASONING DEDUCTIVE REASONING | ||
![]() |
||
When: Jul 29, 2023 - Jul 29, 2023 Submission Deadline: May 26, 2023 | ||
Important Dates • Submission Deadline May 26, 2023 (AOE) • Author notification June 16, 2023 • Camera ready deadline July 3, 2023 • Submission server https://cmt3.research.mic... | ||
COMPUTER SCIENCE MACHINE LEARNING ARTIFICIAL INTELLIGENCE | ||
![]() |
||
When: Nov 16, 2023 - Nov 17, 2023 Submission Deadline: Sep 8, 2023 | ||
LANMR 2023 is the fifteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning organized by Universidad Nacional Autónoma de México through Fa... | ||
LOGIC AUTOMATED RESONING FORMAL METHODS | ||
![]() HAR 2023 : Human and Artificial Rationality ConferenceParis (France) |
||
When: Sep 19, 2023 - Sep 22, 2023 Submission Deadline: Jul 15, 2023 | ||
Dear Colleagues, • I am delighted to invite you to the 2nd international conference on Human and Artificial Rationality (HAR 2023), which will take place in Paris, France. • This year’s... | ||
PHILOSOPHY AND PSYCHOLOGY ARTIFICIAL REASONING HUMAN REASONING HUMAN-MACHINE INTERACTION | ||
![]() |
||
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 | ||
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.