 |
||
| 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: 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 | ||
 |
||
| 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: 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 | ||
 |
||
| 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 | ||
 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 | ||
 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 | ||
AAAI 2020 : The Thirty-Fourth AAAI Conference on Artificial Intelligence Conference Series : National Conference on Artificial IntelligenceHilton New York Midtown, New York, USA |
||
| When: Feb 7, 2020 - Feb 12, 2020 Submission Deadline: Sep 5, 2019 | ||
| The purpose of the AAAI conference series is to promote research in artificial intelligence (AI) and foster scientific exchange between researchers, practitioners, scientists, students, and engineers ... | ||
| ARTIFICIAL INTELLIGENCE MACHINE LEARNING KNOWLEDGE REPRESENTATION REASONING | ||
 |
||
| When: Mar 30, 2020 - Apr 3, 2020 Submission Deadline: Sep 15, 2019 | ||
| ############################################################### • The 35th ACM SIGAPP Symposium On Applied Computing • Brno, Czech Republic • March 30-April 3, 2020 • Track on ... | ||
| KNOWLEDGE REPRESENTATION ARTIFICIAL INTELLIGENCE LOGIC | ||
RW 2019 : Reasoning Web Summer SchoolBolzano, Italy |
||
| When: Sep 20, 2019 - Sep 24, 2019 Submission Deadline: Aug 20, 2019 | ||
| THE 15th INTERNATIONAL REASONING WEB SUMMER SCHOOL - RW 2019 • on “Explainable Artificial Intelligence" • Bolzano, Italy, 20 - 24 Sep 2019 • https://rulemlrr19.inf.unibz.it/rw2019 ... | ||
 |
||
| When: Sep 17, 2019 - Sep 19, 2019 Submission Deadline: Jul 5, 2019 | ||
| The 5th Global Conference on Artificial Intelligence (GCAI 2019) will be held in Bolzano, 17-19 September 2019. The core objective of GCAI 2019 is to bring together the two main souls of AI, namely sy... | ||
| ARTIFICIAL INTELLIGENCE SYMBOLIC REASONING MACHINE LEARNING | ||
|
|
||
| When: Sep 18, 2019 - Sep 20, 2019 Submission Deadline: May 13, 2019 | ||
| The biennial ECSQARU conferences constitute a major forum for advances • in the theory and practice of reasoning under uncertainty, • with a focus on bringing symbolic and quantitative asp... | ||
| MARKOV PROCESSES PROBABILISTIC MODELS UNCERTAINTY ARGUMENTATION | ||
|
|
||
| When: Sep 16, 2019 - Sep 19, 2019 Submission Deadline: May 31, 2019 | ||
| ... | ||
| COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE SEMANTIC WEB RULES | ||
 |
||
| When: Sep 9, 2019 - Sep 13, 2019 Submission Deadline: Jun 3, 2019 | ||
| ... | ||
| THEORY PROGRAMMING LANGUAGES COGNITIVE SYSTEMS REASONING | ||
 |
||
| When: Sep 8, 2019 - Sep 12, 2019 Submission Deadline: Apr 12, 2019 | ||
| The ICCBR 2019 Organizers, Advisory Committee, and Program Committee invite submissions of original theoretical research, applied research and deployed application papers on all aspects of Case-Based ... | ||
| CASE-BASED REASONING EXPLAINABLE AI CBR SYSTEMS EXPERIENCE MANAGEMENT | ||
 |
||
| When: Sep 9, 2019 - Sep 13, 2019 Submission Deadline: Jun 24, 2019 | ||
| ... | ||
| (CONSTRAINT) LOGIC PROGRAMMING NON-MONOTONIC REASONING APPLICATIONS OF CLP | ||
Find and Compare Upcoming Reasoning Events in September. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
