Filters








13,906 Hits in 2.7 sec

Preface for the special issue on Ontologies and Logic Programming for Query Answering

Odile Papini, Salem Benferhat
2018 Annals of Mathematics and Artificial Intelligence  
The aim of this workshop was to bridge knowledge representation and reasoning in artificial intelligence and web of knowledge communities in order to encourage the emergence of new solutions for reasoning  ...  This special issue collects fully revised and extended versions of contributions presented at the international workshop Ontologies and Logic Programming for Query Answering (ONTOLP 2015) affiliated with  ...  The aim of this workshop was to bridge knowledge representation and reasoning in artificial intelligence and web of knowledge communities in order to encourage the emergence of new solutions for reasoning  ... 
doi:10.1007/s10472-018-9580-3 fatcat:se44nmynsrgppe6m5qpbppj4by

Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds

Vaishak Belle
2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence  
We review the many guises for this union, while emphasizing the need for a formal language to represent a system's knowledge.  ...  To combine the strengths of these two camps, there has been exciting recent progress on unifying logic and probability.  ...  Joint Conference on Artificial Intelligence, 2017.  ... 
doi:10.24963/ijcai.2017/733 dblp:conf/ijcai/Belle17 fatcat:xrnwnlyhdzbkdhc23g76ysnaky

Linguistic Data Model for Natural Languages and Artificial Intelligence. Part 7. Internal logic 2 Oleg M. Polyakov

O. M. Polyakov
2022 Discourse  
The reasons for the stability of semantic interpretation when changing the state of relations are substantiated.Conclusion.  ...  Abandoning the traditional view of natural language logic means abandoning logical operations and inference.  ...  Внутренняя логика 2 Linguistic Data Model for Natural Languages and Artificial Intelligence. Part 7.  ... 
doi:10.32603/2412-8562-2022-8-2-98-112 fatcat:dycdee3gvraenjctflonlfez6a

Preface

J. -J. Ch. Meyer, R. J. Wieringa
1993 Annals of Mathematics and Artificial Intelligence  
Preface The present issue of the Annals of Mathematics and Artificial Intelligence is devoted to the First International Workshop on Deontic Logic in Computer Science (DEON'91 for short), which was held  ...  can be found in certain areas of computer science and artificial intelligence.  ... 
doi:10.1007/bf01531258 fatcat:ufoswkbw7bespb5xcnl6qvls3e

Preface

Manfred Jaeger, Lise Getoor, Kristian Kersting
2008 Annals of Mathematics and Artificial Intelligence  
A second line of research is represented by inductive logic programming, which for a long time had been concerned with learning purely logical models from logical or relational data, and over the past  ...  decade has increasingly turned towards probabilistic-logic models as well.  ...  Contributions for this issue of the Annals of Mathematics and Artificial Intelligence were solicited by an open call for papers, and by special invitations to participants of the 2007 Dagstuhl seminar  ... 
doi:10.1007/s10472-009-9131-z fatcat:qpgckbzb6fhvjllssxivlwlsvq

Preface

Silvio Ranise, Ullrich Hustadt
2009 Annals of Mathematics and Artificial Intelligence  
This special issue of Annals of Mathematics and Artificial Intelligence is devoted to first-order theorem proving.  ...  , but also in various other disciplines of Artificial Intelligence, including knowledge representation, model-based diagnosis, planning, symbolic computation, and verification.  ...  Acknowledgements In the review process for this special issue we have been ably assisted by the following expert reviewers: Wolfgang Ahrendt, Takahito  ... 
doi:10.1007/s10472-009-9149-2 fatcat:amorecrlxbhsfmgcaygccikaq4

Preface

Frank van Harmelen, Andreas Herzig, Pascal Hitzler, Guilin Qi
2010 Annals of Mathematics and Artificial Intelligence  
Acknowledgements We are grateful to the authors for their contributions to this special issue and referees for their time to enable a high quality peer review process.  ...  Through an open call, we attracted eleven good submissions, out of which we selected three papers for publiation in this special issue.  ...  logic extended with counting quantifiers.  ... 
doi:10.1007/s10472-010-9209-7 fatcat:o3kt45426bhe7nb4wozwwgnony

Preface

Michael Kaminski, Mirosław Truszczyński
2008 Annals of Mathematics and Artificial Intelligence  
We thank the authors for their contributions. We are also grateful to the reviewers for their dedicated and timely work. Eight of the papers have been presented at the symposium.  ...  It opens with the invited paper by Jeff Remmel summarizing Victor's influence on and contributions to the fields of nonmonotonic logic and answer set programming, followed by a short personal reminiscence  ...  He studied information systems, rough set theory, and especially nonmonotonic knowledge representation formalisms with applications in Artificial Intelligence and Logic Programming.  ... 
doi:10.1007/s10472-009-9106-0 fatcat:eaupzdsiubdbjp7yu2cvs4ou3a

Preface

Andrew S. Gordon, Rob Miller, Leora Morgenstern, György Turán
2020 Annals of Mathematics and Artificial Intelligence  
and reasoning with commonsense knowledge to the enterprise of creating artificially intelligent robots and agents.  ...  A few years after the 1956 Dartmouth Summer Workshop [1, 2] , which first established artificial intelligence as a field of research, John McCarthy [3] discussed the importance of explicitly representing  ...  Formal approaches to commonsense knowledge and reasoning, according to this view, will remain crucial to the endeavor to build artificial intelligences, perhaps as parts of neurosymbolic [18] systems  ... 
doi:10.1007/s10472-020-09711-5 fatcat:ftvcqoeq55ce7dl2y6ncltdd2q

Preface

2021 2021 International Conference on Artificial Intelligence and Computer Science Technology (ICAICST)  
PREFACE Artificial intelligence (AI) is a field of research and applications related to computer programming. It can do things that are close to human intelligence or even better.  ...  The goal of AI is to make machines have the ability to learn input and process it to become more intelligent and more useful for a particular case or in general.  ...  The value of consistency that connects modeling and implementation has a significant area in developing a new platform for machine learning to become an intelligent machine.  ... 
doi:10.1109/icaicst53116.2021.9497794 fatcat:m6xjmevbs5gljejcdjlfw7esbq

Preface

Manuela Bujorianu, Michael Fisher, Corina Pasareanu
2011 Annals of Mathematics and Artificial Intelligence  
Intelligence, Hybrid Systems, Control Engineering, etc., are vital to progress in the Aerospace area.  ...  Thus, the wide diversity of Aerospace systems provides a strong source of new problems for formal logical, mathematical, or AI techniques.  ... 
doi:10.1007/s10472-011-9273-7 fatcat:dso4mbinvvhftajkz2e7vssnmi

Preface

Charles Pecheur, Brian Williams
2006 Electronical Notes in Theoretical Computer Science  
These recent advances have lead to a growth of interest in the use of MC principles and tools in Artificial Intelligence (AI).  ...  Exploration of very large search spaces is at the heart of many disciplines of computer science and engineering, and formal verification and artificial intelligence in particular.  ...  '02 in Lyon (associated to ECAI) and MoChArt '03 in Acapulco (associated to IJCAI), both coupled to artificial intelligence conferences.  ... 
doi:10.1016/j.entcs.2005.07.022 fatcat:rjb3fyyfofgdtczj3lu6orvyeq

Preface

2020 2020 4th Conference on Swarm Intelligence and Evolutionary Computation (CSIEC)  
 Considering the increasingly broader and more profound impact of artificial intelligence in defining modern lives, this year's conference theme is 'AI-for-Good.'  ...  We strongly believe that such joint events will significantly foster more vital collaboration among the researchers in the two fields to explore the fertile ground where fuzzy logic/theory meets intelligent  ... 
doi:10.1109/csiec49655.2020.9237291 fatcat:ehqzhjy73rferlmh23wscizcny

Preface

2020 Procedia Computer Science  
The mission of BICA conference series has been always to address the most crucial and controversial topics in the science of Humanlike Artificial Intelligence, addressing the BICA Challenge: to create  ...  At the same time, many related topics addressed in papers of this volume are also of interest to the community: their consideration was necessary for making the progress along the main direction.  ...  identification of a type of electric energy consumers using artificial intelligence and machine learning models for Smart Grid Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 580  ... 
doi:10.1016/j.procs.2020.02.241 fatcat:3xwcrqc22jbplitpazsdvmarbm

Preface

2020 2020 8th Iranian Joint Congress on Fuzzy and intelligent Systems (CFIS)  
 Considering the increasingly broader and more profound impact of artificial intelligence in defining modern lives, this year's congress theme is 'AI-for-Good.'  ...  We strongly believe that such joint events will significantly foster more vital collaboration among the researchers in the two fields to explore the fertile ground where fuzzy logic/theory meets intelligent  ...  We are also profoundly grateful for the support of the Iranian Society of Fuzzy Systems, Intelligent Systems Scientific Society of Iran, International Fuzzy Systems Association, Institute of Electrical  ... 
doi:10.1109/cfis49607.2020.9238711 fatcat:gyzri3qiqjdupnfbqo2sz5tbeu
« Previous Showing results 1 — 15 out of 13,906 results