A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Preface for the special issue on Ontologies and Logic Programming for Query Answering
2018
Annals of Mathematics and Artificial Intelligence
Preserved Fulltext
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
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2022
Discourse
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
1993
Annals of Mathematics and Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
Annals of Mathematics and Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2009
Annals of Mathematics and Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2010
Annals of Mathematics and Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2008
Annals of Mathematics and Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2020
Annals of Mathematics and Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2011
Annals of Mathematics and Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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